nmutil.git
2022-11-16 Jacob Lifshayspeed up ==, hash, <, >, <=, and >= for plain_data master
2022-10-13 Jacob Lifshaychange plain_data to ignore more base classes, so it...
2022-10-13 Jacob Lifshayfix broken .pyi
2022-09-27 Jacob Lifshayadd plain_data.pyi to help type deduction for @plain_da...
2022-08-26 Jacob Lifshayadd note that migration to new PLRU should be blocked...
2022-08-19 Jacob Lifshayadd fixed PLRU
2022-08-19 Jacob Lifshaycopy plru.py -> plru2.py and add deprecation messages
2022-08-19 Jacob Lifshayrename p_lru.txt to plru.txt so it shows up right next...
2022-08-19 Jacob Lifshayautoformat all code
2022-08-19 Jacob Lifshayformat code with autopep8
2022-08-18 Luke Kenneth Casso... i really hate f"....". replace with just bin(v) and...
2022-08-18 Luke Kenneth Casso... moved pop_count to its own separate module so that...
2022-08-18 Luke Kenneth Casso... whitespace in docstrings
2022-08-18 Jacob Lifshayadd WIP formal proof
2022-08-18 Jacob Lifshaymodify PLRU to allow access to internals by formal...
2022-08-16 Jacob Lifshayadd support for plain_data __repr__ with fields that...
2022-08-16 Jacob Lifshayadd fields and replace functions, like dataclasses...
2022-08-12 Jacob Lifshayconvert rest of dataclass uses to plain_data
2022-08-12 Jacob Lifshayfix prefix_sum.py after 63ffb1aa and d7288021
2022-08-12 Jacob Lifshayfinish implementing @plain_data()
2022-08-11 Jacob Lifshaystart adding @plain_data() decorator
2022-08-06 Luke Kenneth Casso... remove all asserts restricting types.
2022-08-05 Luke Kenneth Casso... remove dataclass and use of types
2022-08-05 Jacob Lifshayadd partial_prefix_sum_ops
2022-08-05 Jacob Lifshayadd tree_reduction and pop_count based off of dead...
2022-08-05 Jacob Lifshayadd Queue formal proof
2022-08-05 Jacob Lifshayfix bad escape sequences from forgetting to make the...
2022-08-04 Jacob Lifshayremove unneeded imports
2022-08-04 Jacob Lifshayadd byte_reverse formal proof
2022-08-04 Jacob Lifshayadd important note to byte_reverse's docs
2022-08-04 Jacob Lifshaywrite output directory for formal test failures
2022-08-04 Jacob Lifshayadd BetterMultiPriorityPicker and formal proof
2022-08-04 Jacob Lifshaysplit out sim_util.write_il from sim_util.do_sim
2022-08-04 Jacob Lifshayadd formal proof for MultiPriorityPicker
2022-08-03 Jacob Lifshayadd comment on redundancy in PriorityPicker's arguments
2022-08-03 Jacob Lifshayformal test for PriorityPicker passes
2022-07-04 Jacob Lifshayadd sync domain if it isn't already there, making it...
2022-06-28 Jacob Lifshayadd smtbmc_opts argument to assertFormal to allow passi...
2022-06-24 Jacob Lifshayswitch smtlib2 logic to ALL to support floats
2022-05-12 Jacob Lifshaypin some dependency versions
2022-05-11 Luke Kenneth Casso... stop possibility of infinite recursion in stages which
2022-05-10 Jacob Lifshayrename proof_clz.py -> test_clz.py so it's run by pytest
2022-05-10 Jacob Lifshayfix .gitlab-ci.yml
2022-05-05 Jacob Lifshayrewrite test_clz.py to actually test both CLZ and clz.
2022-05-05 Jacob Lifshayadd clz function
2022-05-05 Jacob Lifshayfix RippleMSB
2022-04-22 Jacob LifshayRevert "add reduce_only option to prefix_sum_ops"
2022-04-22 Jacob Lifshayadd reduce_only option to prefix_sum_ops
2022-04-22 Jacob Lifshayautoformat code
2022-04-09 Luke Kenneth Casso... whitespace cleanup:
2022-04-09 Jacob Lifshayadd prefix sum render tests
2022-04-09 Jacob Lifshayadd prefix_sum and initial tests
2022-04-08 Jacob Lifshayadd SPDX-License-Identifier comments rather than using...
2022-04-08 Jacob Lifshayformat code
2022-04-08 Jacob Lifshayformat and move comment block into fake docstring
2022-04-05 Luke Kenneth Casso... add default argument fn=None to treereduce (identity...
2022-04-05 Luke Kenneth Casso... create Ripple module, now joined by RippleMSB
2022-04-04 Jacob Lifshaymove clmul files into nmigen-gf.git
2022-03-27 Jacob Lifshayfix accidentally wrong copyright year
2022-03-27 Jacob Lifshayadd CLMulAdd and tests
2022-03-01 Jacob Lifshayadd il generation by default
2022-02-15 Andrey MiroshnikovFixed input shift reg signal name
2022-02-13 Luke Kenneth Casso... add lut2 ilang output to lut.py to help testing
2022-01-31 Luke Kenneth Casso... store latch next in temporary
2022-01-06 Jacob Lifshayremove unused import
2022-01-05 Luke Kenneth Casso... PLRU interface signals (acc_i and acc_en) were reversed
2022-01-05 Luke Kenneth Casso... use bit_length rather than log2_int function in mask.py
2021-12-23 Jacob Lifshayredo grev
2021-12-23 Jacob Lifshayremove redundant comments/docs
2021-12-22 Jacob Lifshayadd additional command in comment
2021-12-22 Jacob Lifshayrewrite TreeBitwiseLut to actually use a tree rather...
2021-12-22 Jacob Lifshaymove writing rtlil into do_sim
2021-12-22 Jacob Lifshayadd copyright notices
2021-12-22 Jacob Lifshayremove unnecessary <no space here> messages
2021-12-22 Jacob Lifshayformat code
2021-12-17 Luke Kenneth Casso... input is a keyword in python
2021-12-17 Luke Kenneth Casso... input is a keyword in python
2021-12-17 Luke Kenneth Casso... cleanup chunk_size and list of steps in GRev
2021-12-17 Luke Kenneth Casso... add NLnet Grant References
2021-12-17 Luke Kenneth Casso... * moved the grev formal correctness assertions into...
2021-12-17 Luke Kenneth Casso... more code-comments on BitwiseLut
2021-12-17 Luke Kenneth Casso... rewrite GRev. put in code-comments and some more TODOs
2021-12-17 Jacob Lifshayclean up rest of grev.py docs
2021-12-17 Jacob Lifshayclarify docs
2021-12-17 Jacob Lifshayclarify docstring
2021-12-17 Jacob Lifshayadd grev test and formal proof
2021-12-17 Jacob Lifshayclean up grev
2021-12-17 Jacob Lifshaymove do_sim and hash_256 to separate module
2021-12-17 Jacob Lifshayadd docs
2021-12-17 Jacob Lifshaysimplify lut.py
2021-12-12 Luke Kenneth Casso... whoops just step through i not list
2021-12-12 Luke Kenneth Casso... remove the pre-added array, remove the sub-function...
2021-12-11 Luke Kenneth Casso... more comments
2021-12-11 Luke Kenneth Casso... some more hints/comments
2021-12-11 Luke Kenneth Casso... add some comments (locations for comments to be added)
2021-12-10 Jacob Lifshayadd initial grev implementation
2021-12-10 Jacob Lifshayremove unused import
2021-12-08 Luke Kenneth Casso... fix to nmutil workaround for detecting new Simulator API
2021-12-06 Luke Kenneth Casso... add a PLRUs module which selects between multiple PLRUs
2021-12-02 Jacob Lifshayadd nmigen/_toolchain/__init__ as toolchain.py to avoid...
next