summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2016-12-12Fix split-find-unsat-w-emp testAndres Notzli
2016-12-08Fix (inactive) `MultSlice` rewriteAndres Notzli
2016-12-08Enable remaining cardinality benchmarksajreynol
2016-12-07Add missing regressionajreynol
2016-12-07Add sets regression, fixes bug 754. Minor fix to regexp in strings.ajreynol
2016-12-07Added cardinality to cvc language, fixes bug 753. Throw logic exception when ...ajreynol
2016-12-07Fix boolean term conversion for INST_ATTRIBUTE, fixes bug 764.ajreynol
2016-12-07Refactoring, generalization of bounded inference module. Simplification of re...ajreynol
2016-12-07Fix nf exp tracking for non-linear string equalities, fixes bug 768.ajreynol
2016-12-02Fix for bug 734Clark Barrett
2016-12-02Merge pull request #113 from 4tXJ7f/remove_extract_ruleClark Barrett
2016-12-02Bug fixes and refactoring of parametric datatypes, add some regressions.ajreynol
2016-12-02Refactor preprocessing of models in fmf. Fix options --fmf-empty-sorts and --...ajreynol
2016-12-01Fix quantifiers dynamic splitting module for incremental mode, fixes bug 765 ...ajreynol
2016-12-01Improvement and bug fix for str.indexof reduction, add regression. Other mino...ajreynol
2016-11-30Remove wrong `ExtractMultLeadingBit` ruleAndres Notzli
2016-11-30Merge pull request #115 from 4tXJ7f/bug766Clark Barrett
2016-11-30Fix parsing of BVROTR by CVC parserAndres Notzli
2016-11-30Add unit test for `MultDistrib` ruleAndres Notzli
2016-11-21Remove unused, libstdc++-exclusive includeAndres Notzli
2016-11-18Fix for unit test after changing default "all supported" logic name.Clark Barrett
2016-11-18Merge pull request #110 from 4tXJ7f/fix_makefilesClark Barrett
2016-11-18Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/Q...Clark Barrett
2016-11-17Fix Makefiles in testAndres Notzli
2016-11-13Switching a large allocation to be heap allocated.Tim King
2016-11-13Deleting a parsed Command in the interactive_shell_black test.Tim King
2016-11-12Merge pull request #106 from timothy-king/cvc-parser-exception-leaksClark Barrett
2016-11-12Fixed a bug in cdhashmap in which doubly-linked list was not properly cleaned...Clark Barrett
2016-11-11Adding garbage collection for the CVC Parser for Commands when exceptions are...Tim King
2016-11-11Merge pull request #105 from timothy-king/delete-maxed-outTim King
2016-11-11Deleting successfully parsed commands in the parser_black unit test.Tim King
2016-11-11Add simple inferences for extended bitvector functions, add a few related opt...ajreynol
2016-11-10Fixing a delete vs free mismatch in parser_builder_black.h.Tim King
2016-11-10Adding garbage collection of nodes with maxed out reference counts.Tim King
2016-11-08Add a few options to separation logic and sets. Minor changes to separation l...ajreynol
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback