Age | Commit message (Expand) | Author |
---|---|---|
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 |