projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85a3980) | patch
MUL pipeline formal proofs complete, I *think*.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Sat, 29 Aug 2020 19:41:30 +0000 (12:41 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Sat, 29 Aug 2020 19:41:55 +0000 (12:41 -0700)
commit9d552c1142df7521ef9fd8ea8a6e4070adf640fa
treec92528abfc50d0045c9f1ce451aeb10dab539b62tree
parent85a39807f93ccaf03f387f27384d1cda34c80131commit | diff
MUL pipeline formal proofs complete, I *think*.
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history