summaryrefslogtreecommitdiff
path: root/test/regress/regress1/sets
AgeCommit message (Expand)Author
2021-09-29Update the syntax for tuples in smt2 (#7265)Andrew Reynolds
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-07-09Fix sets cardinality inference involving equivalent parents (#6855)Andrew Reynolds
2021-06-02Remove redundant logic ALL_SUPPORTED. (#6664)Aina Niemetz
2021-06-02Fix unsat core proofs (#6655)Andrew Reynolds
2021-04-25More check models (#6439)Andrew Reynolds
2021-04-24Improve getValue for non-evaluated operators (#6436)Andrew Reynolds
2021-04-06Add benchmark for issue 5942 (#6296)Andrew Reynolds
2021-04-06Fix issue with lemma during equality engine iterator in sets (#6289)Andrew Reynolds
2021-04-05Fix subtyping for sets care graph (#6278)Andrew Reynolds
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2021-02-05Do not combine theories if theory engine needs check (#5861)Andrew Reynolds
2020-12-17Simplify and fix check models (#5685)Andrew Reynolds
2020-12-10Refactor regressions (#5639)Andrew Reynolds
2020-12-07Do not expand theory definitions at the beginning of preprocessing (#5544)Andrew Reynolds
2020-11-18Do not expand definitions of extended arithmetic operators (#5433)Andrew Reynolds
2020-11-06Fix issue #5342 (#5349)mudathirmahgoub
2020-10-24Fix issue 5271 (#5335)mudathirmahgoub
2020-10-22Fix issue 5309 (#5327)mudathirmahgoub
2020-09-09Add is_singleton operator to the theory of sets (#5033)mudathirmahgoub
2020-05-19Do not eliminate variables that are equal to unevaluatable terms (#4267)Andrew Reynolds
2020-04-25 Fix sets cardinality cycle rule (#4392)Andrew Reynolds
2020-04-22Convert V2.5 SMT regressions to V2.6. (#4319)Abdalrhman Mohamed
2020-04-08Added CHOOSE operator for sets (#4211)mudathirmahgoub
2020-02-07Univeset Cardinality constraints for infinite types (#3712)mudathirmahgoub
2020-02-03Fix cardinality of uninterpreted types when univset is not used (#3663)mudathirmahgoub
2020-01-07Universe set cardinality for finite types with finite cardinality (#3392)mudathirmahgoub
2019-12-13Add support for set comprehension (#3312)Andrew Reynolds
2019-03-29Apply empty splits more aggressively in sets+cardinality (#2907)Andrew Reynolds
2018-10-03Fix regress (#2575)Andrew Reynolds
2018-10-03Fix stale op list in sets (#2572)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback