projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5095e3) | patch
WIP: rlwinm/rlwnm/rlwimi-type proofs
authorSamuel A. Falvo II <kc5tja@arrl.net>
Thu, 30 Jul 2020 23:18:49 +0000 (16:18 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Thu, 30 Jul 2020 23:20:01 +0000 (16:20 -0700)
commit0c721b4a8af4d144e6ddcaae833c194540c30950
tree0fe9d6aa79786e5ad8517d629e2c5b4d8188233ctree
parente5095e31e406901dbcc77bd8cab0af68a733f7ebcommit | diff
WIP: rlwinm/rlwnm/rlwimi-type proofs

Been trying to wittle away at this for several days now, without luck.
What am I missing?!
src/soc/fu/shift_rot/formal/proof_main_stage.py diff | blob | history