projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4055c98) | patch
WIP!! Make MUL pipeline proof run again.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Mon, 10 Aug 2020 21:17:08 +0000 (14:17 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Mon, 10 Aug 2020 21:17:08 +0000 (14:17 -0700)
commita1e4a0914899ef730726c682334e4aeaf7b804b6
tree4e1f4182c680a5bded3c6af7fa142952eefcf83ftree
parent4055c982e6e1bb3fc702be3f69cbbd63dd6cd901commit | diff
WIP!!  Make MUL pipeline proof run again.

Removed existing set of tests, as they didn't seem to be relevant
(appeared to be copy-and-paste template code).  Next steps is to go
through main_stage.py and implement corresponding proofs.
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history