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