projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0a0e31) | patch
use ctx.op compare (and muxid) in shiftrot proof
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 28 Jul 2020 23:14:33 +0000 (00:14 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 28 Jul 2020 23:14:33 +0000 (00:14 +0100)
commit92d39595d144700306ce7ac5a37260cc918c93fc
tree88c5818a8462bfd3756ac20c749fed9900e3bf4dtree
parentc0a0e31c16d20a3e8455469c0cb3065820884436commit | diff
use ctx.op compare (and muxid) in shiftrot proof
also use correct input record type and spec
src/soc/fu/shift_rot/formal/proof_main_stage.py diff | blob | history