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