projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f49f807) | patch
cleaner way to test link register ok
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 May 2020 18:52:55 +0000 (19:52 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 May 2020 18:52:55 +0000 (19:52 +0100)
commitbe2a8cb07f1719ef3c3b6df5cfc15f54479257b0
treeeca5899e3e738196e58a1ada406e8f67bc972029tree
parentf49f807739108847de125f715c5ad8013720d29ecommit | diff
cleaner way to test link register ok
src/soc/fu/branch/formal/proof_main_stage.py diff | blob | history