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