2020-05-27 | Luke Kenneth Casso... | test Data.ok for cr output and full cr output | tree | commitdiff |
2020-05-27 | Luke Kenneth Casso... | assign and test on Data, TODO add Data.ok checking... | tree | commitdiff |
2020-05-24 | Luke Kenneth Casso... | convert CR pipeline to Data.ok | tree | commitdiff |
2020-05-23 | Michael Nolan | Modify proof of isel to use full CR register | tree | commitdiff |
2020-05-23 | Luke Kenneth Casso... | add CR_ISEL formal proof to CR pipeline | tree | commitdiff |
2020-05-22 | Michael Nolan | Complete CR proof | tree | commitdiff |
2020-05-21 | Michael Nolan | Partial attempt at proving the new cr unit. | tree | commitdiff |
2020-05-20 | Michael Nolan | Add proof for OP_MCRF | tree | commitdiff |
2020-05-20 | Michael Nolan | Add proof for OP_MFCR | tree | commitdiff |
2020-05-20 | Luke Kenneth Casso... | add link to bugreport in CR pipe formal test | tree | commitdiff |
2020-05-20 | Michael Nolan | Add proof for OP_CROP | tree | commitdiff |
2020-05-20 | Michael Nolan | Begin adding CR proof | tree | commitdiff |