Age | Commit message (Expand) | Author |
---|---|---|
2019-01-15 | Extended Resolution Signature (#2788) | Alex Ozdemir |
2018-12-11 | LRAT signature (#2731) | Alex Ozdemir |
2017-01-04 | Marking the proof signature files as non-executable. | Tim King |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-10-03 | Adding example proof signatures for LFSC. | Andrew Reynolds |