2020-05-22 | Michael Nolan | Complete CR proof | blob | commitdiff | raw |
2020-05-21 | Michael Nolan | Partial attempt at proving the new cr unit. | blob | commitdiff | raw | diff to current |
2020-05-20 | Michael Nolan | Add proof for OP_MCRF | blob | commitdiff | raw | diff to current |
2020-05-20 | Michael Nolan | Add proof for OP_MFCR | blob | commitdiff | raw | diff to current |
2020-05-20 | Luke Kenneth Casso... | add link to bugreport in CR pipe formal test | blob | commitdiff | raw | diff to current |
2020-05-20 | Michael Nolan | Add proof for OP_CROP | blob | commitdiff | raw | diff to current |
2020-05-20 | Michael Nolan | Begin adding CR proof | blob | commitdiff | raw | diff to current |