projects / nmutil.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add byte_reverse formal proof
[nmutil.git] / src /
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
2021-12-02 Jacob Lifshaychange FHDLTestCase to use get_test_path tree | commitdiff
2021-12-02 Jacob Lifshayswitch test_lut to use FHDLTestCase tree | commitdiff
2021-12-02 Jacob Lifshayformat code tree | commitdiff
2021-12-01 Luke Kenneth Casso... note about not setting the muxid in ReservationStations2 tree | commitdiff
2021-11-28 Luke Kenneth Casso... update SRLatch API to include q_int tree | commitdiff
2021-11-17 Jacob Lifshayadd Array-based version of BitwiseLut, renaming old... tree | commitdiff
2021-11-17 Jacob Lifshayadd formal tests for BitwiseLut tree | commitdiff
2021-11-17 Jacob Lifshayadd BitwiseLut and tests tree | commitdiff
2021-11-08 Luke Kenneth Casso... return latchregister results so that it can be further... tree | commitdiff
2021-11-07 Luke Kenneth Casso... allow name of ALU to be set in ReservationStations2 tree | commitdiff
2021-11-07 Luke Kenneth Casso... reduce number of wait states in ReservationStations2... tree | commitdiff
2021-11-07 Luke Kenneth Casso... fixed bug in MultiCompUnit, can return to combinatorial... tree | commitdiff
2021-11-04 Luke Kenneth Casso... bugfix new ReservationStations2 tree | commitdiff
2021-11-04 Luke Kenneth Casso... update ReservationStations2 to be a FSM. not a very... tree | commitdiff
2021-11-03 Luke Kenneth Casso... add start of new ReservationStations2 class tree | commitdiff
2021-11-03 Luke Kenneth Casso... add some debug output to Visitor2 (commented out) tree | commitdiff
2021-11-03 Luke Kenneth Casso... add name prefix to PrevControl and NextControl tree | commitdiff
2021-11-01 Luke Kenneth Casso... ReservationStations - or more to the point the CombMuxI... tree | commitdiff
2021-11-01 Luke Kenneth Casso... move call to self.process onto i_data in multipipe... tree | commitdiff
2021-11-01 Luke Kenneth Casso... redo ReservationStations setup of pseudoalus tree | commitdiff
2021-11-01 Luke Kenneth Casso... add ALUProxy to ReservationStations class tree | commitdiff
2021-11-01 Luke Kenneth Casso... whitspace tree | commitdiff
2021-11-01 Luke Kenneth Casso... whitespace tree | commitdiff
2021-10-09 Jacob Lifshayadd deduped tree | commitdiff
2021-10-08 Jacob Lifshaymove type info into doc strings, since lkcl complains... tree | commitdiff
2021-10-01 Jacob Lifshayadd get_test_path function from simd_signal's util.py tree | commitdiff
2021-09-30 Luke Kenneth Casso... varname error (extz_data not exts_data) tree | commitdiff
2021-09-29 Luke Kenneth Casso... morph exts/extz and add new "ext" function which takes... tree | commitdiff
next