Age | Commit message (Expand) | Author |
---|---|---|
2021-09-22 | Remove CVC language support (#7219) | Mathias Preiner |
2021-06-02 | Fix unsat core proofs (#6655) | Andrew Reynolds |
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |