git.libre-soc.org Git - ieee754fpu.git/history - src/ieee754/part_shift/formal/proof_shift

2022-05-11	Jacob Lifshay	fix some borked imports	blob \| commitdiff \| raw
2020-02-26	Michael Nolan	Rename bitrev signal to shift_right (more descriptive)	blob \| commitdiff \| raw \| diff to current
2020-02-26	Michael Nolan	Add partitioned right shift to part_shift_scalar	blob \| commitdiff \| raw \| diff to current
2020-02-24	Michael Nolan	Add gated bit reversal module	blob \| commitdiff \| raw \| diff to current
2020-02-17	Michael Nolan	part_shift_scalar now has maked shift amounts working	blob \| commitdiff \| raw \| diff to current
2020-02-17	Michael Nolan	Fix proof crashing instead of giving a vcd	blob \| commitdiff \| raw \| diff to current
2020-02-17	Michael Nolan	In progress	blob \| commitdiff \| raw \| diff to current
2020-02-15	Luke Kenneth Casso...	scalar partitioned shift moved, change module import...	blob \| commitdiff \| raw \| diff to current
2020-02-12	Michael Nolan	Rename part_shift_scalar/ to part_shift	blob \| commitdiff \| raw \| diff to current