projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a080b31) | patch
Split-out the gate generator from the proof
authorCesar Strauss <cestrauss@gmail.com>
Fri, 8 Jan 2021 21:17:02 +0000 (18:17 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Fri, 8 Jan 2021 21:17:02 +0000 (18:17 -0300)
commitf8200af1c0b7b31a5b7562f04e3d6a042bcd54f1
tree51a1972cae80e58ac955d3180e7ad1f17b40039btree
parenta080b31887c93fedc6e4879e620e320b81e3c46dcommit | diff
Split-out the gate generator from the proof

This reduces repetition among partition proofs.
src/ieee754/part/formal/proof_partition.py diff | blob | history