Add gated bit reversal module
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 24 Feb 2020 20:15:30 +0000 (15:15 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 24 Feb 2020 20:15:30 +0000 (15:15 -0500)
commit0ba6847dca94f901aeae5e334490fc24ab77a2fd
tree42c73cc6d0def986709967243d5c766c922fd033
parentb44df89c6c9179991d8e07ccbae73fb74a551b3c
Add gated bit reversal module
src/ieee754/part_shift/bitrev.py [new file with mode: 0644]
src/ieee754/part_shift/formal/proof_shift_scalar.py
src/ieee754/part_shift/part_shift_scalar.py