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 |