Age | Commit message (Expand) | Author |
---|---|---|
2021-12-09 | Remove a few static access to options in proof code (#7780) | Andrew Reynolds |
2021-10-20 | Eliminate last static calls to rewriter from smt layer (#7355) | Andrew Reynolds |
2021-09-02 | Implement lazy proof checking modes (#7106) | Andrew Reynolds |
2021-09-01 | Fix issues with cyclic proofs due to double SYMM applications (#7083) | Andrew Reynolds |
2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds |