Rename bitrev signal to shift_right (more descriptive)
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 26 Feb 2020 16:46:23 +0000 (11:46 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 26 Feb 2020 16:46:23 +0000 (11:46 -0500)
commit1754d05f279091f4fe05d66c08a748f744b2f755
tree6c4399d848be20e3311a5613f2703834cde5bb94
parent3ea67c8e6ed027264e2061b5f65ce134a8efeea7
Rename bitrev signal to shift_right (more descriptive)
src/ieee754/part_shift/formal/proof_shift_dynamic.py
src/ieee754/part_shift/formal/proof_shift_scalar.py
src/ieee754/part_shift/part_shift_dynamic.py
src/ieee754/part_shift/part_shift_scalar.py