projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ead389c) | patch
no need to check individual port members, just check the Record (dut.i.ctx.op)
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 10:18:27 +0000 (11:18 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 10:18:27 +0000 (11:18 +0100)
commit48da47c4c2b330409e485ee756f222cdc1839211
treee033036f2759551e8ca7b880f8bab075e5335aeatree
parentead389c3edc78ec2af354a3f713788ac8c0ce6a2commit | diff
no need to check individual port members, just check the Record (dut.i.ctx.op)
src/soc/fu/spr/formal/proof_main_stage.py diff | blob | history