2020-03-11 | Michael Nolan | Add assertions that instruction fields are correct | blob | commitdiff | raw |
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 |