summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2016-11-07Disabling out of memory tests unit tests when ASAN is enabled. ASAN failures ...Tim King
2016-11-07Changing ArrayStoreAll's constructor to delay allocation until it is done che...Tim King
2016-11-07Fixing a memory leak in the CnfStream unit tests.Tim King
2016-11-04Fix three leaks in unit testsAndres Notzli
2016-11-04Fix memory leak in node_black unit test.Clark Barrett
2016-11-03Add priorities to getNextDecision. Properly handle case for finite types + un...ajreynol
2016-11-02Fix back() of empty deque in context_mm_black testAndres Notzli
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-26Enable bv2nat regressionsajreynol
2016-10-26Merge pull request #98 from 4tXJ7f/fix_dist_buildAndrew Reynolds
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
2016-10-23Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK buildAndres Notzli
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-10-13Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory.ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-28Fix the merge of kbansal/card branch (2039eab).Kshitij Bansal
2016-09-20More refactoring of cbqi. Add a few regressions. Add option for qcf.ajreynol
2016-09-13refactored the code, added more benchmarks and minor fixesPaul Meng
2016-09-12fixed capitalized "kind"Paul Meng
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-30added more benchmarksPaul Meng
2016-08-24Merge remote-tracking branch 'origin/master'PaulMeng
2016-08-15Enable bounded set membership with --fmf-bound. Map to term models for bounde...ajreynol
2016-08-12Add a few more regressions.ajreynol
2016-08-12Minor fixes to model construction to take singleton equivalence classes into ...ajreynol
2016-08-10Improvements to strings: work on propagations for reverse normal form process...ajreynol
2016-08-09Fixes for sep star rewrite.ajreynol
2016-07-28Fix bug 749.ajreynol
2016-07-21Fixes for strings, explanations for constant split propagations, substr under...ajreynol
2016-07-20Infer conflicts in strings based on abstracting equality as contains. Minor c...ajreynol
2016-07-19Add infrastructure for tracking instantiation lemmas (for proofs, and minimiz...ajreynol
2016-07-08Minor fix to last commit.ajreynol
2016-07-07Simplifications for strings normal forms, fix case for concat reps in normal ...ajreynol
2016-07-07Ensure heap disjointness in sep refinements.ajreynol
2016-07-07Refactoring of strings preprocess module. When enabled, apply eager preproces...ajreynol
2016-07-05Refactor last call for theories, only create one model when quantifiers are e...ajreynol
2016-07-05Add option --trigger-active-sel. Recognize simple triggers with polarity. Do ...ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-06-23Fixed some warnings, fixed bug in cdhashmap that was crashing cdmap_black,Clark Barrett
2016-06-18Fix unit test.ajreynol
2016-06-17Support for separation logic. Enable cbqi by default for pure BV.ajreynol
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-06-01Fix to ignore a case of triggers with no free variables.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback