projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor part_shift_dynamic.py
[ieee754fpu.git] / src / ieee754 / part_shift / formal /
2020-02-12 Michael NolanExpand proof_shift_dynamic to 32 bits tree | commitdiff
2020-02-12 Michael NolanRename part_shift_scalar/ to part_shift tree | commitdiff