projects
/
nmutil.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add note that migration to new PLRU should be blocked on #913
2022-08-26
Jacob Lifshay
add note that migration to new PLRU should be blocked...
commit
|
commitdiff
|
tree
2022-08-19
Jacob Lifshay
add fixed PLRU
commit
|
commitdiff
|
tree
2022-08-19
Jacob Lifshay
copy plru.py -> plru2.py and add deprecation messages
commit
|
commitdiff
|
tree
2022-08-19
Jacob Lifshay
rename p_lru.txt to plru.txt so it shows up right next...
commit
|
commitdiff
|
tree
2022-08-19
Jacob Lifshay
autoformat all code
commit
|
commitdiff
|
tree
2022-08-19
Jacob Lifshay
format code with autopep8
commit
|
commitdiff
|
tree
2022-08-18
Jacob Lifshay
add WIP formal proof
commit
|
commitdiff
|
tree
2022-08-18
Jacob Lifshay
modify PLRU to allow access to internals by formal...
commit
|
commitdiff
|
tree
2022-08-16
Jacob Lifshay
add support for plain_data __repr__ with fields that...
commit
|
commitdiff
|
tree
2022-08-16
Jacob Lifshay
add fields and replace functions, like dataclasses...
commit
|
commitdiff
|
tree
2022-08-12
Jacob Lifshay
convert rest of dataclass uses to plain_data
commit
|
commitdiff
|
tree
2022-08-12
Jacob Lifshay
fix prefix_sum.py after 63ffb1aa and d7288021
commit
|
commitdiff
|
tree
2022-08-12
Jacob Lifshay
finish implementing @plain_data()
commit
|
commitdiff
|
tree
2022-08-11
Jacob Lifshay
start adding @plain_data() decorator
commit
|
commitdiff
|
tree
2022-08-05
Jacob Lifshay
add partial_prefix_sum_ops
commit
|
commitdiff
|
tree
2022-08-05
Jacob Lifshay
add tree_reduction and pop_count based off of dead...
commit
|
commitdiff
|
tree
2022-08-05
Jacob Lifshay
add Queue formal proof
commit
|
commitdiff
|
tree
2022-08-05
Jacob Lifshay
fix bad escape sequences from forgetting to make the...
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
remove unneeded imports
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
add byte_reverse formal proof
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
add important note to byte_reverse's docs
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
write output directory for formal test failures
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
add BetterMultiPriorityPicker and formal proof
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
split out sim_util.write_il from sim_util.do_sim
commit
|
commitdiff
|
tree
2022-08-04
Jacob Lifshay
add formal proof for MultiPriorityPicker
commit
|
commitdiff
|
tree
2022-08-03
Jacob Lifshay
add comment on redundancy in PriorityPicker's arguments
commit
|
commitdiff
|
tree
2022-08-03
Jacob Lifshay
formal test for PriorityPicker passes
commit
|
commitdiff
|
tree
2022-07-04
Jacob Lifshay
add sync domain if it isn't already there, making it...
commit
|
commitdiff
|
tree
2022-06-28
Jacob Lifshay
add smtbmc_opts argument to assertFormal to allow passing...
commit
|
commitdiff
|
tree
2022-06-24
Jacob Lifshay
switch smtlib2 logic to ALL to support floats
commit
|
commitdiff
|
tree
2022-05-12
Jacob Lifshay
pin some dependency versions
commit
|
commitdiff
|
tree
2022-05-10
Jacob Lifshay
rename proof_clz.py -> test_clz.py so it's run by pytest
commit
|
commitdiff
|
tree
2022-05-10
Jacob Lifshay
fix .gitlab-ci.yml
commit
|
commitdiff
|
tree
2022-05-05
Jacob Lifshay
rewrite test_clz.py to actually test both CLZ and clz.
commit
|
commitdiff
|
tree
2022-05-05
Jacob Lifshay
add clz function
commit
|
commitdiff
|
tree
2022-05-05
Jacob Lifshay
fix RippleMSB
commit
|
commitdiff
|
tree
2022-04-22
Jacob Lifshay
Revert "add reduce_only option to prefix_sum_ops"
commit
|
commitdiff
|
tree
2022-04-22
Jacob Lifshay
add reduce_only option to prefix_sum_ops
commit
|
commitdiff
|
tree
2022-04-22
Jacob Lifshay
autoformat code
commit
|
commitdiff
|
tree
2022-04-09
Jacob Lifshay
add prefix sum render tests
commit
|
commitdiff
|
tree
2022-04-09
Jacob Lifshay
add prefix_sum and initial tests
commit
|
commitdiff
|
tree
2022-04-08
Jacob Lifshay
add SPDX-License-Identifier comments rather than using...
commit
|
commitdiff
|
tree
2022-04-08
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2022-04-08
Jacob Lifshay
format and move comment block into fake docstring
commit
|
commitdiff
|
tree
2022-04-04
Jacob Lifshay
move clmul files into nmigen-gf.git
commit
|
commitdiff
|
tree
2022-03-27
Jacob Lifshay
fix accidentally wrong copyright year
commit
|
commitdiff
|
tree
2022-03-27
Jacob Lifshay
add CLMulAdd and tests
commit
|
commitdiff
|
tree
2022-03-01
Jacob Lifshay
add il generation by default
commit
|
commitdiff
|
tree
2022-01-06
Jacob Lifshay
remove unused import
commit
|
commitdiff
|
tree
2021-12-23
Jacob Lifshay
redo grev
commit
|
commitdiff
|
tree
2021-12-23
Jacob Lifshay
remove redundant comments/docs
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
add additional command in comment
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
rewrite TreeBitwiseLut to actually use a tree rather...
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
move writing rtlil into do_sim
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
add copyright notices
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
remove unnecessary <no space here> messages
commit
|
commitdiff
|
tree
2021-12-22
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
clean up rest of grev.py docs
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
clarify docs
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
clarify docstring
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
add grev test and formal proof
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
clean up grev
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
move do_sim and hash_256 to separate module
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
add docs
commit
|
commitdiff
|
tree
2021-12-17
Jacob Lifshay
simplify lut.py
commit
|
commitdiff
|
tree
2021-12-10
Jacob Lifshay
add initial grev implementation
commit
|
commitdiff
|
tree
2021-12-10
Jacob Lifshay
remove unused import
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
add nmigen/_toolchain/__init__ as toolchain.py to avoid...
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
remove redundant overrides of stuff that's aready in...
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
add missing import Statement for assertRepr
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
change FHDLTestCase to use get_test_path
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
switch test_lut to use FHDLTestCase
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-11-17
Jacob Lifshay
add Array-based version of BitwiseLut, renaming old...
commit
|
commitdiff
|
tree
2021-11-17
Jacob Lifshay
add formal tests for BitwiseLut
commit
|
commitdiff
|
tree
2021-11-17
Jacob Lifshay
add BitwiseLut and tests
commit
|
commitdiff
|
tree
2021-10-09
Jacob Lifshay
add deduped
commit
|
commitdiff
|
tree
2021-10-08
Jacob Lifshay
move type info into doc strings, since lkcl complains...
commit
|
commitdiff
|
tree
2021-10-01
Jacob Lifshay
add get_test_path function from simd_signal's util.py
commit
|
commitdiff
|
tree
2020-10-07
Jacob Lifshay
add overflow detection to DIVS
commit
|
commitdiff
|
tree
2020-10-07
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2020-04-17
Jacob Lifshay
add flatten function
commit
|
commitdiff
|
tree
2020-04-03
Jacob Lifshay
add build caching using ccache
commit
|
commitdiff
|
tree
2020-04-03
Jacob Lifshay
tests pass
commit
|
commitdiff
|
tree
2020-04-01
Jacob Lifshay
move clone paths to inside current directory
commit
|
commitdiff
|
tree
2020-04-01
Jacob Lifshay
add test case for https://github.com/nmigen/nmigen...
commit
|
commitdiff
|
tree
2020-04-01
Jacob Lifshay
switch nmigen upstream and add --depth 1
commit
|
commitdiff
|
tree
2020-04-01
Jacob Lifshay
reformat apt-get command
commit
|
commitdiff
|
tree
2020-03-26
Jacob Lifshay
add .gitlab-ci.yml
commit
|
commitdiff
|
tree