Begin adding partitioned scalar shifter
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 10 Feb 2020 19:40:00 +0000 (14:40 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 11 Feb 2020 18:15:53 +0000 (13:15 -0500)
commite5d2d8b2c796e11579c6b58e5c45d9062e50249b
tree0907fb00114a3eab2f44e8ba845318acae1c158f
parent18ab7b40bba5992ace634de8eeab86330f945002
Begin adding partitioned scalar shifter
src/ieee754/part_shift_scalar/formal/.gitignore [new file with mode: 0644]
src/ieee754/part_shift_scalar/formal/proof_shift_scalar.py [new file with mode: 0644]
src/ieee754/part_shift_scalar/part_shift_scalar.py [new file with mode: 0644]