Age | Commit message (Expand) | Author |
---|---|---|
2021-11-10 | sets: Rename set.intersection to set.inter. (#7622) | Aina Niemetz |
2021-11-08 | sets: Rename kinds with a more consistent naming scheme. (#7595) | Aina Niemetz |
2021-11-01 | Fix upwards closure for relations (#7515) | Andrew Reynolds |
2021-09-29 | Update the syntax for tuples in smt2 (#7265) | Andrew Reynolds |
2021-09-22 | Remove CVC language support (#7219) | Mathias Preiner |
2021-07-08 | Disable ordering heuristic for justification by default (#6848) | Andrew Reynolds |
2021-06-02 | Remove redundant logic ALL_SUPPORTED. (#6664) | Aina Niemetz |
2019-09-04 | Remove duplicate regression tests. (#3227) | Mathias Preiner |
2019-03-28 | Fix issues in cvc parser (#2901) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |