2020-03-21 | Luke Kenneth Casso... | set bigendian=1 in formal proofs of decoder (TODO:... | blob | commitdiff | raw |
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 |