projects
/
nmutil.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add formal proof for MultiPriorityPicker
[nmutil.git]
/
src
/
2022-08-04
Jacob Lifshay
add formal proof for MultiPriorityPicker
tree
|
commitdiff
2022-08-03
Jacob Lifshay
add comment on redundancy in PriorityPicker's arguments
tree
|
commitdiff
2022-08-03
Jacob Lifshay
formal test for PriorityPicker passes
tree
|
commitdiff
2022-07-04
Jacob Lifshay
add sync domain if it isn't already there, making it...
tree
|
commitdiff
2022-06-28
Jacob Lifshay
add smtbmc_opts argument to assertFormal to allow passi...
tree
|
commitdiff
2022-06-24
Jacob Lifshay
switch 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 Lifshay
rename proof_clz.py -> test_clz.py so it's run by pytest
tree
|
commitdiff
2022-05-05
Jacob Lifshay
rewrite test_clz.py to actually test both CLZ and clz.
tree
|
commitdiff
2022-05-05
Jacob Lifshay
add clz function
tree
|
commitdiff
2022-05-05
Jacob Lifshay
fix RippleMSB
tree
|
commitdiff
2022-04-22
Jacob Lifshay
Revert "add reduce_only option to prefix_sum_ops"
tree
|
commitdiff
2022-04-22
Jacob Lifshay
add reduce_only option to prefix_sum_ops
tree
|
commitdiff
2022-04-22
Jacob Lifshay
autoformat code
tree
|
commitdiff
2022-04-09
Luke Kenneth Casso...
whitespace cleanup:
tree
|
commitdiff
2022-04-09
Jacob Lifshay
add prefix sum render tests
tree
|
commitdiff
2022-04-09
Jacob Lifshay
add prefix_sum and initial tests
tree
|
commitdiff
2022-04-08
Jacob Lifshay
add SPDX-License-Identifier comments rather than using...
tree
|
commitdiff
2022-04-08
Jacob Lifshay
format code
tree
|
commitdiff
2022-04-08
Jacob Lifshay
format 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 Lifshay
move clmul files into nmigen-gf.git
tree
|
commitdiff
2022-03-27
Jacob Lifshay
fix accidentally wrong copyright year
tree
|
commitdiff
2022-03-27
Jacob Lifshay
add CLMulAdd and tests
tree
|
commitdiff
2022-03-01
Jacob Lifshay
add il generation by default
tree
|
commitdiff
2022-02-15
Andrey Miroshnikov
Fixed 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 Lifshay
remove 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 Lifshay
redo grev
tree
|
commitdiff
2021-12-23
Jacob Lifshay
remove redundant comments/docs
tree
|
commitdiff
2021-12-22
Jacob Lifshay
add additional command in comment
tree
|
commitdiff
2021-12-22
Jacob Lifshay
rewrite TreeBitwiseLut to actually use a tree rather...
tree
|
commitdiff
2021-12-22
Jacob Lifshay
move writing rtlil into do_sim
tree
|
commitdiff
2021-12-22
Jacob Lifshay
add copyright notices
tree
|
commitdiff
2021-12-22
Jacob Lifshay
remove unnecessary <no space here> messages
tree
|
commitdiff
2021-12-22
Jacob Lifshay
format 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 Lifshay
clean up rest of grev.py docs
tree
|
commitdiff
2021-12-17
Jacob Lifshay
clarify docs
tree
|
commitdiff
2021-12-17
Jacob Lifshay
clarify docstring
tree
|
commitdiff
2021-12-17
Jacob Lifshay
add grev test and formal proof
tree
|
commitdiff
2021-12-17
Jacob Lifshay
clean up grev
tree
|
commitdiff
2021-12-17
Jacob Lifshay
move do_sim and hash_256 to separate module
tree
|
commitdiff
2021-12-17
Jacob Lifshay
add docs
tree
|
commitdiff
2021-12-17
Jacob Lifshay
simplify 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 Lifshay
add initial grev implementation
tree
|
commitdiff
2021-12-10
Jacob Lifshay
remove 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 Lifshay
add nmigen/_toolchain/__init__ as toolchain.py to avoid...
tree
|
commitdiff
2021-12-02
Jacob Lifshay
remove redundant overrides of stuff that's aready in...
tree
|
commitdiff
2021-12-02
Jacob Lifshay
add missing import Statement for assertRepr
tree
|
commitdiff
2021-12-02
Jacob Lifshay
change FHDLTestCase to use get_test_path
tree
|
commitdiff
2021-12-02
Jacob Lifshay
switch test_lut to use FHDLTestCase
tree
|
commitdiff
2021-12-02
Jacob Lifshay
format 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 Lifshay
add Array-based version of BitwiseLut, renaming old...
tree
|
commitdiff
2021-11-17
Jacob Lifshay
add formal tests for BitwiseLut
tree
|
commitdiff
2021-11-17
Jacob Lifshay
add 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 Lifshay
add deduped
tree
|
commitdiff
2021-10-08
Jacob Lifshay
move type info into doc strings, since lkcl complains...
tree
|
commitdiff
2021-10-01
Jacob Lifshay
add 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
2021-08-24
Luke Kenneth Casso...
likewise replace data_o with o_data and data_i with...
tree
|
commitdiff
2021-08-24
Luke Kenneth Casso...
big rename, global/search/replace of ready_o with o_rea...
tree
|
commitdiff
2021-08-24
Luke Kenneth Casso...
rename run_test to run_tst so nosetests3 skips it
tree
|
commitdiff
2021-02-21
Cesar Strauss
Allow groups to start closed
tree
|
commitdiff
2021-02-21
Luke Kenneth Casso...
extra comments in byte_reverse function
tree
|
commitdiff
next