projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c977c14) | patch
Reduce BMC depth on proof_main_stage.py
authorMichael Nolan <mtnolan2640@gmail.com>
Sun, 10 May 2020 16:26:27 +0000 (12:26 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Sun, 10 May 2020 16:26:27 +0000 (12:26 -0400)
commitd8567960f133b3da7a4264706398ef9e9da6b813
treebfcaf203136979bc8d51ad65a14c2013596e0c92tree
parentc977c14b7ddbc1762bf1ba064b7f4d29cc4dd7aecommit | diff
Reduce BMC depth on proof_main_stage.py
src/soc/alu/formal/proof_main_stage.py diff | blob | history