part_shift_scalar now has maked shift amounts working
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 17 Feb 2020 16:32:01 +0000 (11:32 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 17 Feb 2020 16:32:01 +0000 (11:32 -0500)
commit1d46a6a382946e2b96d32e55c6c81cc26c2af6a8
treee36bdee256d234cb845949d96ef15fea29d6dc9b
parenteaa16ff671a2a4ea884adab62ae1cce86a232872
part_shift_scalar now has maked shift amounts working
src/ieee754/part_shift/formal/proof_shift_scalar.py
src/ieee754/part_shift/part_shift_scalar.py