projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3deda1) | patch
WIP: OP_MUL proofs started.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 19 Aug 2020 04:12:19 +0000 (21:12 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 19 Aug 2020 04:12:19 +0000 (21:12 -0700)
commit88179c44424c0d062740fe99b0d020227199dfa3
tree4a2fd923f0a3c4409244ac85546062bc06afd52ftree
parentd3deda12916c450f05f7d03610f0ef79c9cbdafbcommit | diff
WIP: OP_MUL proofs started.

I am out of my league.  Cannot figure out how to make proof pass.
Committing latest incarnation of proof code.
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history