switch to exact version of cython
[ieee754fpu.git] / src / ieee754 / part_shift / formal /
2022-05-11 Jacob Lifshayfix some borked imports
2020-02-26 Michael NolanRename bitrev signal to shift_right (more descriptive)
2020-02-26 Michael NolanShift left now working
2020-02-26 Michael NolanAdd bit reversal to part_shift_dynamic
2020-02-26 Michael NolanAdd partitioned right shift to part_shift_scalar
2020-02-24 Michael NolanAdd gated bit reversal module
2020-02-17 Michael Nolanpart_shift_scalar now has maked shift amounts working
2020-02-17 Michael NolanFix proof crashing instead of giving a vcd
2020-02-17 Michael NolanIn progress
2020-02-15 Luke Kenneth Casso... scalar partitioned shift moved, change module import...
2020-02-14 Michael Nolanre-add masking of the shift amount based on partition...
2020-02-12 Michael NolanExpand proof_shift_dynamic to 32 bits
2020-02-12 Michael NolanRename part_shift_scalar/ to part_shift