summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sep
AgeCommit message (Expand)Author
2018-08-02Parse standard separation logic inputs (#2257)Andrew Reynolds
2018-07-17Refactor sep-pre-skolem-emp preprocessing passyoni206
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-04-04Do not solve for 0-ary non-constant symbols (for which isVar returns true), a...ajreynol
2017-01-04Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan...ajreynol
2017-01-04Marking regression test files as non-executable.Tim King
2016-11-17Fix Makefiles in testAndres Notzli
2016-11-08Add a few options to separation logic and sets. Minor changes to separation l...ajreynol
2016-11-03Add priorities to getNextDecision. Properly handle case for finite types + un...ajreynol
2016-11-02Add missing regression.ajreynol
2016-11-02Fix bug in separation logic for finite pto-data types. Minor cleanup in sep. ...ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-09-12Ensure sep.nil is unique per type at NodeManager level. Add simple symmetry b...ajreynol
2016-09-09Fix bug in unconstrained simplifier related to sep.nil/distinguished variables.ajreynol
2016-09-09Support for separation logic + EPR. Refactor preprocessing of sep.nil, only a...ajreynol
2016-08-09Fixes for sep star rewrite.ajreynol
2016-07-07Ensure heap disjointness in sep refinements.ajreynol
2016-07-05Refactor last call for theories, only create one model when quantifiers are e...ajreynol
2016-06-17Support for separation logic. Enable cbqi by default for pure BV.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback