projects / nmutil.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
nmutil.git
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-06 Luke Kenneth... remove all asserts restricting types. commit | commitdiff | tree
2022-08-05 Luke Kenneth... remove dataclass and use of types 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 passi... 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-11 Luke Kenneth... stop possibility of infinite recursion in stages which 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 Luke Kenneth... whitespace cleanup: 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-05 Luke Kenneth... add default argument fn=None to treereduce (identity... commit | commitdiff | tree
2022-04-05 Luke Kenneth... create Ripple module, now joined by RippleMSB 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-02-15 Andrey MiroshnikovFixed input shift reg signal name commit | commitdiff | tree
2022-02-13 Luke Kenneth... add lut2 ilang output to lut.py to help testing commit | commitdiff | tree
2022-01-31 Luke Kenneth... store latch next in temporary commit | commitdiff | tree
2022-01-06 Jacob Lifshayremove unused import commit | commitdiff | tree
2022-01-05 Luke Kenneth... PLRU interface signals (acc_i and acc_en) were reversed commit | commitdiff | tree
2022-01-05 Luke Kenneth... use bit_length rather than log2_int function in mask.py 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 Luke Kenneth... input is a keyword in python commit | commitdiff | tree
2021-12-17 Luke Kenneth... input is a keyword in python commit | commitdiff | tree
2021-12-17 Luke Kenneth... cleanup chunk_size and list of steps in GRev commit | commitdiff | tree
2021-12-17 Luke Kenneth... add NLnet Grant References commit | commitdiff | tree
2021-12-17 Luke Kenneth... * moved the grev formal correctness assertions into... commit | commitdiff | tree
2021-12-17 Luke Kenneth... more code-comments on BitwiseLut commit | commitdiff | tree
2021-12-17 Luke Kenneth... rewrite GRev. put in code-comments and some more TODOs 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-12 Luke Kenneth... whoops just step through i not list commit | commitdiff | tree
2021-12-12 Luke Kenneth... remove the pre-added array, remove the sub-function... commit | commitdiff | tree
2021-12-11 Luke Kenneth... more comments commit | commitdiff | tree
2021-12-11 Luke Kenneth... some more hints/comments commit | commitdiff | tree
2021-12-11 Luke Kenneth... add some comments (locations for comments to be added) 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-08 Luke Kenneth... fix to nmutil workaround for detecting new Simulator API commit | commitdiff | tree
2021-12-06 Luke Kenneth... add a PLRUs module which selects between multiple PLRUs 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-12-01 Luke Kenneth... note about not setting the muxid in ReservationStations2 commit | commitdiff | tree
2021-11-28 Luke Kenneth... update SRLatch API to include q_int 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-11-08 Luke Kenneth... return latchregister results so that it can be further... commit | commitdiff | tree
2021-11-07 Luke Kenneth... allow name of ALU to be set in ReservationStations2 commit | commitdiff | tree
2021-11-07 Luke Kenneth... reduce number of wait states in ReservationStations2... commit | commitdiff | tree
next