projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a60d2a) | patch
bit of a reorg of mul proof, tracking down missing
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Aug 2020 06:24:58 +0000 (07:24 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Aug 2020 06:24:58 +0000 (07:24 +0100)
commit2e117c06cb6b147e59e80fcba6d060695c62766e
tree7f9d3a63d897629422c36feded85ba6630ccafa4tree
parent2a60d2a7fc58c2ed98c1b732bb03e99c7f49513ccommit | diff
bit of a reorg of mul proof, tracking down missing
Assume op.is_32bit == 0 for OP_MUL_H32
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history