projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 860c06d) | patch
Work only with nibbles on the ascending cascade
authorCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 21:38:51 +0000 (18:38 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 21:38:51 +0000 (18:38 -0300)
commit16d4cdd1f0e4057bc60fa70197a95f1dc3d0a418
tree0f55bd453aa3f72842746c7b88c80f40423b5e98tree
parent860c06d27b806ee6ca83c732a9b61358224ab90ecommit | diff
Work only with nibbles on the ascending cascade
src/ieee754/part/formal/proof_partition.py diff | blob | history