projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab7b4cd) | patch
Expand proof_shift_dynamic to 32 bits
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 12 Feb 2020 19:08:13 +0000 (14:08 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 12 Feb 2020 19:08:13 +0000 (14:08 -0500)
commita0b3b8c8a2afe978b033455d676a5b31c8d7e19e
tree8079544e03a94959baaa10dc64d848e7a41ee2b9tree
parentab7b4cd371a788f6c96795f8de9e08fa8c7c2d0ecommit | diff
Expand proof_shift_dynamic to 32 bits
src/ieee754/part_shift/formal/proof_shift_dynamic.py diff | blob | history