git.libre-soc.org Git - soc.git/history - src/soc/decoder/formal/proof

2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	blob \| commitdiff \| raw
2020-07-08	Jacob Lifshay	Merge branch 'master' of ssh://git.libre-riscv.org...	blob \| commitdiff \| raw \| diff to current
2020-07-04	Luke Kenneth Casso...	whitespace	blob \| commitdiff \| raw \| diff to current
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-03-30	Michael Nolan	Fix tests broken by df295b5	blob \| commitdiff \| raw \| diff to current
2020-03-29	Michael Nolan	Update proof_decoder2 to handle signed immediates	blob \| commitdiff \| raw \| diff to current
2020-03-21	Luke Kenneth Casso...	set bigendian=1 in formal proofs of decoder (TODO:...	blob \| commitdiff \| raw \| diff to current
2020-03-20	Michael Nolan	Fix proof_decoder2	blob \| commitdiff \| raw \| diff to current
2020-03-11	Michael Nolan	Add assertions that instruction fields are correct	blob \| commitdiff \| raw \| diff to current
2020-03-11	Michael Nolan	Add test for remaining bits	blob \| commitdiff \| raw \| diff to current
2020-03-11	Michael Nolan	Add tests for DecodeOut and DecodeRC	blob \| commitdiff \| raw \| diff to current
2020-03-10	Michael Nolan	Add cases for DecodeB and DecodeC	blob \| commitdiff \| raw \| diff to current
2020-03-10	Michael Nolan	Refactor DecodeA test	blob \| commitdiff \| raw \| diff to current
2020-03-10	Michael Nolan	Add proof for power_decoder2.DecodeA	blob \| commitdiff \| raw \| diff to current
2020-03-09	Michael Nolan	Begin adding proof for decoder2	blob \| commitdiff \| raw \| diff to current