projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ba6847) | patch
Add partitioned right shift to part_shift_scalar
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 26 Feb 2020 14:08:00 +0000 (09:08 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 26 Feb 2020 14:08:00 +0000 (09:08 -0500)
commit03a266bdb9d4bd0ec012ad7e4fd44eef29acf3af
treedbf366a5e2e095eb2891cc8ef3f92242155c6bc0tree
parent0ba6847dca94f901aeae5e334490fc24ab77a2fdcommit | diff
Add partitioned right shift to part_shift_scalar
src/ieee754/part_shift/formal/proof_shift_scalar.py diff | blob | history
src/ieee754/part_shift/part_shift_scalar.py diff | blob | history