projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1f8daa) | patch
expand out for-loop setting up input record subset
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 1 Aug 2020 09:49:08 +0000 (10:49 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 1 Aug 2020 09:49:08 +0000 (10:49 +0100)
commit77e41a06502264d4c7e8642090c3df0b5edc3747
tree4385df28cb21fe2917f9b2eeaaea5ca04f98c27ftree
parenta1f8daaf0e4e2fcea1edf8b9037a2082cc1a59a2commit | diff
expand out for-loop setting up input record subset
this to help in formal proof shiftrot analysis
src/soc/fu/shift_rot/formal/proof_main_stage.py diff | blob | history