projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4904de) | patch
Rename part_shift_scalar/ to part_shift
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 12 Feb 2020 16:43:56 +0000 (11:43 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 12 Feb 2020 16:43:56 +0000 (11:43 -0500)
commit96b2f62147a32de33d5ac3a834ca57198f259765
tree119935ad76e2d5d1b075396dd1fd681974a008a6tree
parentd4904def3c67d3b54b56ed4054cceb84ca484054commit | diff
Rename part_shift_scalar/ to part_shift
12 files changed:
src/ieee754/part_shift/formal/.gitignore [new file with mode: 0644] blob
src/ieee754/part_shift/formal/proof_shift_dynamic.py [new file with mode: 0644] blob
src/ieee754/part_shift/formal/proof_shift_scalar.py [new file with mode: 0644] blob
src/ieee754/part_shift/part_shift_dynamic.py [new file with mode: 0644] blob
src/ieee754/part_shift/part_shift_scalar.py [new file with mode: 0644] blob
src/ieee754/part_shift/test/test_shift_dynamic.py [new file with mode: 0644] blob
src/ieee754/part_shift_scalar/formal/.gitignore [deleted file] blob | history
src/ieee754/part_shift_scalar/formal/proof_shift_dynamic.py [deleted file] blob | history
src/ieee754/part_shift_scalar/formal/proof_shift_scalar.py [deleted file] blob | history
src/ieee754/part_shift_scalar/part_shift_dynamic.py [deleted file] blob | history
src/ieee754/part_shift_scalar/part_shift_scalar.py [deleted file] blob | history
src/ieee754/part_shift_scalar/test/test_shift_dynamic.py [deleted file] blob | history