projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74cd43b) | patch
fix trap proof, and trap main_stage, and pseudocode for rfid
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 27 Jul 2020 11:44:44 +0000 (12:44 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 27 Jul 2020 11:44:44 +0000 (12:44 +0100)
commit944dc6b7129d06a936643863bfb572a5ba70b19f
tree6f99be2c626ccf77e2dffc514446cf767f8c3f9ftree
parent74cd43be57b89cce8a6d76c4648fe3d9576eb5f5commit | diff
fix trap proof, and trap main_stage, and pseudocode for rfid
all a bit of a mess, really :)
libreriscv diff | blob | history
src/soc/fu/trap/formal/proof_main_stage.py diff | blob | history
src/soc/fu/trap/main_stage.py diff | blob | history