re-add masking of the shift amount based on partition length
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 14 Feb 2020 19:29:25 +0000 (14:29 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 14 Feb 2020 20:36:55 +0000 (15:36 -0500)
commit0bd85195d5bfa5cb966de49c3d9382cb2dfc777c
tree4a53616dd27166dae20bb6d8ad657aefcce6da30
parentce72f2efc759040be80f23a75c140e64e36ac749
re-add masking of the shift amount based on partition length
src/ieee754/part_shift/formal/proof_shift_dynamic.py
src/ieee754/part_shift/part_shift_dynamic.py