cvc5.git
2016-11-12 Tim KingAdding garbage collection for the CVC Parser for Comman...
2016-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out
2016-11-12 Tim KingDeleting successfully parsed commands in the parser_bla...
2016-11-12 Tim KingDeleting the remaining commands in the Parser's queue...
2016-11-11 Tim KingApplying clang-format to parser.cpp.
2016-11-11 Tim KingSpeeding up the common branches for inc().
2016-11-11 Clark BarrettEnable eager bitblasting for QF_ABV when no stores...
2016-11-11 ajreynolAdd simple inferences for extended bitvector functions...
2016-11-10 Tim KingFixing a delete vs free mismatch in parser_builder_black.h.
2016-11-10 Tim KingAdding garbage collection of nodes with maxed out refer...
2016-11-10 Tim KingAdded PtrCloser guards for constructNodePtr. This ensur...
2016-11-10 ajreynolAdd option for enabling/disabling lazy extended functio...
2016-11-10 Tim KingMerge pull request #103 from timothy-king/uniq-ptr
2016-11-09 Tim KingRenaming the class PtrCloser to not cause confusion...
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr
2016-11-09 ajreynolFix tptp parser memory leaks for include.
2016-11-08 ajreynolMinor fixes related to ExtTheory + incremental, fixes...
2016-11-08 ajreynolAdd a few options to separation logic and sets. Minor...
2016-11-08 Tim KingMerge pull request #104 from timothy-king/disabling...
2016-11-07 Tim KingDisabling out of memory tests unit tests when ASAN...
2016-11-07 Tim KingChanging ArrayStoreAll's constructor to delay allocatio...
2016-11-07 Tim KingFixing a memory leak in the CnfStream unit tests.
2016-11-07 Tim KingFixing a memory leak in the eager bitblaster.
2016-11-07 Tim KingAdds a C++05 version of unique_ptr. Used this to solve...
2016-11-07 Tim KingMerge pull request #102 from timothy-king/node-id-eq
2016-11-07 Tim KingThis switches the ZombieSet in the NodeManager to use...
2016-11-05 Clark BarrettMerge pull request #101 from 4tXJ7f/fix_leak
2016-11-05 Andres NotzliFix three leaks in unit tests
2016-11-05 Clark BarrettFix memory leak in node_black unit test.
2016-11-04 ajreynolFix a few more minor memory leaks.
2016-11-03 ajreynolMake data points accurate in sep logic models.
2016-11-03 ajreynolAdd priorities to getNextDecision. Properly handle...
2016-11-03 Tim KingMerge pull request #100 from 4tXJ7f/fix_context_mm_black
2016-11-03 Andres NotzliFix back() of empty deque in context_mm_black test
2016-11-02 ajreynolAdd missing regression.
2016-11-02 ajreynolFix bug in separation logic for finite pto-data types...
2016-11-02 ajreynolFix a few obvious memory leaks in sygus and quantifiers...
2016-11-01 ajreynolMinor fix to cvc3_compat.
2016-11-01 ajreynolMake tuple and record names unique. Do not print intern...
2016-11-01 ajreynolFix memory leak in TheorySetsRels. Minor cleanup.
2016-11-01 ajreynolRevert change to Datatypes API to return vector of...
2016-11-01 ajreynolRevert change to datatypes API for passing pointers...
2016-11-01 ajreynolWorking memory leak free version, changes interface...
2016-10-31 ajreynolMinor refactoring in preparation for datatypes node...
2016-10-28 ajreynolAdd get instantiations utilities to API.
2016-10-27 Clark BarrettMerge pull request #99 from 4tXJ7f/fix_dist_build3
2016-10-27 Andres NotzliFix typo in Makefile that makes distcheck fail
2016-10-26 ajreynolEnable bv2nat regressions
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul...
2016-10-24 Andres NotzliFix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
2016-10-21 ajreynolFix/add missing makefiles.
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment...
2016-10-19 Tim KingMerge pull request #97 from 4tXJ7f/fix_rewrite
2016-10-19 Andres NotzliFix minor bug and typo in boolean rewriter
2016-10-13 ajreynolMerging bv parts of ajr/bvExt branch, minor additions...
2016-10-13 Tim KingInitializes RoundingMode::roundNearestTiesToAway to...
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com...
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git
2016-10-11 Paul Meng- fixed a memory leak issue with context dependent...
2016-10-09 Tim KingAdding initializers for structs internal to ite_utilities.
2016-10-06 guykatzzAdded an option that allow empty dependencies when...
2016-10-03 Tim KingRemoving the throw specifiers from theory_uf_type_rules.h.
2016-10-03 Tim KingRemoving the throw specifiers from theory_fp_type_rules.h.
2016-10-03 Tim KingRemoving the throw specifiers from theory_datatypes_typ...
2016-10-03 Tim KingRemoving an unused member from TreeLog.
2016-10-03 Tim KingRemoving the throw specifiers from theory_bv_type_rules.h.
2016-10-03 Tim KingRemoving the throw specifiers from Cardinality.
2016-10-01 Tim KingRemoving the throw specifiers from Result.
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format
2016-10-01 Tim KingRemoving the throw specifiers from SExpr.
2016-10-01 Tim KingRemoving the throw specifiers from SubrangeBounds.
2016-10-01 ajreynolIncorporate non-bv parts of ajr/bvExt branch
2016-09-29 ajreynolAddress some coverity warnings, add another stat.
2016-09-29 ajreynolMinor cleanup and additions to quantifiers statistics.
2016-09-28 Kshitij BansalFix the merge of kbansal/card branch (2039eab).
2016-09-27 Tim KingRemoving an unused iterator.
2016-09-27 Tim KingReverting part of the previous changes to unconstrained...
2016-09-26 Tim KingSimplifying control flow to avoid goto's in unconstrain...
2016-09-26 Tim KingAdding missing break statements.
2016-09-26 Tim KingClosing an open file descriptor in MemoryMapFile.
2016-09-26 Tim KingFreeing memory in error handling code for bounded_token...
2016-09-26 Tim KingDeleting the eager bitblasting solver if present in...
2016-09-26 Tim KingAdding a destructor to QuantAntiSkolem.
2016-09-26 Tim KingAdding a destructor to TermDb.
2016-09-26 Tim KingAdding a destructor to CegqiOutputSingleInv.
2016-09-26 Tim KingDeleting optional members of StrongSolverTheoryUF.
2016-09-26 Tim KingDisambiguating a vector insert warning coming from...
2016-09-26 Tim KingDeleting a temporary in theory sets enumerator.
2016-09-26 Tim KingDeleting the intermediate command singleton.
2016-09-26 Tim KingDisambiguating a type issue. Coverity scan reported...
2016-09-25 Tim KingAdding virtual destructors to several classes in expr.h .
2016-09-25 Tim KingRemoving an unused iterator.
2016-09-25 Tim KingFixing a potential use after free coming from a pop_bac...
2016-09-25 Tim KingIntegrating a working coverity_scan travis rule back...
2016-09-23 Paul Mengfixed a few bugs
2016-09-21 ajreynolRemove duplicate code from my last commit
2016-09-21 Tim KingFixing an error in the previous travis commit.
2016-09-21 Tim KingUpdating the travis file for coverity scan.
2016-09-20 ajreynolRefactor, separate theory-specific counterexample-guide...
next