projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Set assertion in `CnfStream::ensureLiteral()` (#3927)
[cvc5.git] / test / regress / regress0 / sep /
2020-02-29 Andrew Reynolds Throw warning instead of error for non-constant values... tree | commitdiff
2019-08-13 Andrew ReynoldsProperly implement logic info for separation logic... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-04-04 ajreynolDo not solve for 0-ary non-constant symbols (for which... tree | commitdiff
2017-01-04 ajreynolFix for tff type declarations inTPTP parser, fixes... tree | commitdiff
2017-01-04 Tim KingMarking regression test files as non-executable. tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-08 ajreynolAdd a few options to separation logic and sets. Minor... tree | commitdiff
2016-11-03 ajreynolAdd priorities to getNextDecision. Properly handle... tree | commitdiff
2016-11-02 ajreynolAdd missing regression. tree | commitdiff
2016-11-02 ajreynolFix bug in separation logic for finite pto-data types... tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-09-12 ajreynolEnsure sep.nil is unique per type at NodeManager level... tree | commitdiff
2016-09-09 ajreynolFix bug in unconstrained simplifier related to sep... tree | commitdiff
2016-09-09 ajreynolSupport for separation logic + EPR. Refactor preprocess... tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces tree | commitdiff
2016-08-09 ajreynolFixes for sep star rewrite. tree | commitdiff
2016-07-07 ajreynolEnsure heap disjointness in sep refinements. tree | commitdiff
2016-07-05 ajreynolRefactor last call for theories, only create one model... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-17 ajreynolSupport for separation logic. Enable cbqi by default... tree | commitdiff