projects / nmutil.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add WIP formal proof
2022-08-18 Jacob Lifshayadd WIP formal proof
 commit | commitdiff | tree
2022-08-18 Jacob Lifshaymodify PLRU to allow access to internals by formal...
commit | commitdiff | tree
2022-08-16 Jacob Lifshayadd support for plain_data __repr__ with fields that...
commit | commitdiff | tree
2022-08-16 Jacob Lifshayadd fields and replace functions, like dataclasses...
commit | commitdiff | tree
2022-08-12 Jacob Lifshayconvert rest of dataclass uses to plain_data
 commit | commitdiff | tree
2022-08-12 Jacob Lifshayfix prefix_sum.py after 63ffb1aa and d7288021
 commit | commitdiff | tree
2022-08-12 Jacob Lifshayfinish implementing @plain_data()
 commit | commitdiff | tree
2022-08-11 Jacob Lifshaystart adding @plain_data() decorator
 commit | commitdiff | tree
2022-08-05 Jacob Lifshayadd partial_prefix_sum_ops
 commit | commitdiff | tree
2022-08-05 Jacob Lifshayadd tree_reduction and pop_count based off of dead...
commit | commitdiff | tree
2022-08-05 Jacob Lifshayadd Queue formal proof
 commit | commitdiff | tree
2022-08-05 Jacob Lifshayfix bad escape sequences from forgetting to make the...
commit | commitdiff | tree
2022-08-04 Jacob Lifshayremove unneeded imports
 commit | commitdiff | tree
2022-08-04 Jacob Lifshayadd byte_reverse formal proof
 commit | commitdiff | tree
2022-08-04 Jacob Lifshayadd important note to byte_reverse's docs
 commit | commitdiff | tree
2022-08-04 Jacob Lifshaywrite output directory for formal test failures
 commit | commitdiff | tree
2022-08-04 Jacob Lifshayadd BetterMultiPriorityPicker and formal proof
 commit | commitdiff | tree
2022-08-04 Jacob Lifshaysplit out sim_util.write_il from sim_util.do_sim
 commit | commitdiff | tree
2022-08-04 Jacob Lifshayadd formal proof for MultiPriorityPicker
 commit | commitdiff | tree
2022-08-03 Jacob Lifshayadd comment on redundancy in PriorityPicker's arguments
 commit | commitdiff | tree
2022-08-03 Jacob Lifshayformal test for PriorityPicker passes
 commit | commitdiff | tree
2022-07-04 Jacob Lifshayadd sync domain if it isn't already there, making it...
commit | commitdiff | tree
2022-06-28 Jacob Lifshayadd smtbmc_opts argument to assertFormal to allow passing...
commit | commitdiff | tree
2022-06-24 Jacob Lifshayswitch smtlib2 logic to ALL to support floats
 commit | commitdiff | tree
2022-05-12 Jacob Lifshaypin some dependency versions
 commit | commitdiff | tree
2022-05-10 Jacob Lifshayrename proof_clz.py -> test_clz.py so it's run by pytest
 commit | commitdiff | tree
2022-05-10 Jacob Lifshayfix .gitlab-ci.yml
 commit | commitdiff | tree
2022-05-05 Jacob Lifshayrewrite test_clz.py to actually test both CLZ and clz.
 commit | commitdiff | tree
2022-05-05 Jacob Lifshayadd clz function
 commit | commitdiff | tree
2022-05-05 Jacob Lifshayfix RippleMSB
 commit | commitdiff | tree
2022-04-22 Jacob LifshayRevert "add reduce_only option to prefix_sum_ops"
 commit | commitdiff | tree
2022-04-22 Jacob Lifshayadd reduce_only option to prefix_sum_ops
 commit | commitdiff | tree
2022-04-22 Jacob Lifshayautoformat code
 commit | commitdiff | tree
2022-04-09 Jacob Lifshayadd prefix sum render tests
 commit | commitdiff | tree
2022-04-09 Jacob Lifshayadd prefix_sum and initial tests
 commit | commitdiff | tree
2022-04-08 Jacob Lifshayadd SPDX-License-Identifier comments rather than using...
commit | commitdiff | tree
2022-04-08 Jacob Lifshayformat code
 commit | commitdiff | tree
2022-04-08 Jacob Lifshayformat and move comment block into fake docstring
 commit | commitdiff | tree
2022-04-04 Jacob Lifshaymove clmul files into nmigen-gf.git
 commit | commitdiff | tree
2022-03-27 Jacob Lifshayfix accidentally wrong copyright year
 commit | commitdiff | tree
2022-03-27 Jacob Lifshayadd CLMulAdd and tests
 commit | commitdiff | tree
2022-03-01 Jacob Lifshayadd il generation by default
 commit | commitdiff | tree
2022-01-06 Jacob Lifshayremove unused import
 commit | commitdiff | tree
2021-12-23 Jacob Lifshayredo grev
 commit | commitdiff | tree
2021-12-23 Jacob Lifshayremove redundant comments/docs
 commit | commitdiff | tree
2021-12-22 Jacob Lifshayadd additional command in comment
 commit | commitdiff | tree
2021-12-22 Jacob Lifshayrewrite TreeBitwiseLut to actually use a tree rather...
commit | commitdiff | tree
2021-12-22 Jacob Lifshaymove writing rtlil into do_sim
 commit | commitdiff | tree
2021-12-22 Jacob Lifshayadd copyright notices
 commit | commitdiff | tree
2021-12-22 Jacob Lifshayremove unnecessary <no space here> messages
 commit | commitdiff | tree
2021-12-22 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayclean up rest of grev.py docs
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayclarify docs
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayclarify docstring
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayadd grev test and formal proof
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayclean up grev
 commit | commitdiff | tree
2021-12-17 Jacob Lifshaymove do_sim and hash_256 to separate module
 commit | commitdiff | tree
2021-12-17 Jacob Lifshayadd docs
 commit | commitdiff | tree
2021-12-17 Jacob Lifshaysimplify lut.py
 commit | commitdiff | tree
2021-12-10 Jacob Lifshayadd initial grev implementation
 commit | commitdiff | tree
2021-12-10 Jacob Lifshayremove unused import
 commit | commitdiff | tree
2021-12-02 Jacob Lifshayadd nmigen/_toolchain/__init__ as toolchain.py to avoid...
commit | commitdiff | tree
2021-12-02 Jacob Lifshayremove redundant overrides of stuff that's aready in...
commit | commitdiff | tree
2021-12-02 Jacob Lifshayadd missing import Statement for assertRepr
 commit | commitdiff | tree
2021-12-02 Jacob Lifshaychange FHDLTestCase to use get_test_path
 commit | commitdiff | tree
2021-12-02 Jacob Lifshayswitch test_lut to use FHDLTestCase
 commit | commitdiff | tree
2021-12-02 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-11-17 Jacob Lifshayadd Array-based version of BitwiseLut, renaming old...
commit | commitdiff | tree
2021-11-17 Jacob Lifshayadd formal tests for BitwiseLut
 commit | commitdiff | tree
2021-11-17 Jacob Lifshayadd BitwiseLut and tests
 commit | commitdiff | tree
2021-10-09 Jacob Lifshayadd deduped
 commit | commitdiff | tree
2021-10-08 Jacob Lifshaymove type info into doc strings, since lkcl complains...
commit | commitdiff | tree
2021-10-01 Jacob Lifshayadd get_test_path function from simd_signal's util.py
 commit | commitdiff | tree
2020-10-07 Jacob Lifshayadd overflow detection to DIVS
 commit | commitdiff | tree
2020-10-07 Jacob Lifshayformat code
 commit | commitdiff | tree
2020-04-17 Jacob Lifshayadd flatten function
 commit | commitdiff | tree
2020-04-03 Jacob Lifshayadd build caching using ccache
 commit | commitdiff | tree
2020-04-03 Jacob Lifshaytests pass
 commit | commitdiff | tree
2020-04-01 Jacob Lifshaymove clone paths to inside current directory
 commit | commitdiff | tree
2020-04-01 Jacob Lifshayadd test case for https://github.com/nmigen/nmigen...
commit | commitdiff | tree
2020-04-01 Jacob Lifshayswitch nmigen upstream and add --depth 1
 commit | commitdiff | tree
2020-04-01 Jacob Lifshayreformat apt-get command
 commit | commitdiff | tree
2020-03-26 Jacob Lifshayadd .gitlab-ci.yml
 commit | commitdiff | tree