2020-03-21 | Luke Kenneth Casso... | set bigendian=1 in formal proofs of decoder (TODO:... | tree | commitdiff |
2020-03-20 | Michael Nolan | Fix proof_decoder2 | tree | commitdiff |
2020-03-18 | Michael Nolan | Add proof that all other opcodes decode to INVALID | tree | commitdiff |
2020-03-18 | Michael Nolan | Add more to decoder proof | tree | commitdiff |
2020-03-18 | Michael Nolan | Begin adding proof for decoder stage 1 | tree | commitdiff |
2020-03-11 | Michael Nolan | Add assertions that instruction fields are correct | tree | commitdiff |
2020-03-11 | Michael Nolan | Add test for remaining bits | tree | commitdiff |
2020-03-11 | Michael Nolan | Add tests for DecodeOut and DecodeRC | tree | commitdiff |
2020-03-10 | Michael Nolan | Add cases for DecodeB and DecodeC | tree | commitdiff |
2020-03-10 | Michael Nolan | Refactor DecodeA test | tree | commitdiff |
2020-03-10 | Michael Nolan | Add proof for power_decoder2.DecodeA | tree | commitdiff |
2020-03-09 | Michael Nolan | Begin adding proof for decoder2 | tree | commitdiff |