projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48da47c) | patch
use Record Assert and also check muxid
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 10:49:52 +0000 (11:49 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 10:49:52 +0000 (11:49 +0100)
commitb9bf80737f94469f387ae3df24e223f505c9c2bc
tree87ee3b7a2b25183985a27f326c66f13641f49906tree
parent48da47c4c2b330409e485ee756f222cdc1839211commit | diff
use Record Assert and also check muxid
see https://bugs.libre-soc.org/show_bug.cgi?id=429#c3
src/soc/fu/alu/formal/proof_main_stage.py diff | blob | history