cvc5.git
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-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...
2016-09-20 ajreynolMore refactoring of cbqi. Add a few regressions. Add...
2016-09-19 Tim KingMerge pull request #92 from timothy-king/travis-cpp11
2016-09-18 Tim KingAdding a clang format file for the project.
2016-09-18 Tim KingAdding a gnu++11 rule to travis.
2016-09-18 ajreynolMinor fix for strings
2016-09-17 guykatzzIn a ROW guard proof, if the transitivity proof does...
2016-09-17 guykatzzMerge branch 'master' of https://github.com/CVC4/CVC4
2016-09-17 ajreynolUse matching heuristics for EPR instantiation.
2016-09-16 GuyHandling a corner case where a ROW's guard is a constan...
2016-09-16 GuyLet arith_proof print its own terms
2016-09-16 ajreynolMore refactoring of cbqi, start developing new interface.
2016-09-15 ajreynolFurther refactor cbqi.
2016-09-15 ajreynolBegin refactoring of cbqi, remove a few dead options...
2016-09-15 ajreynolMake sep pto a trigger kind, track in equality engines...
2016-09-15 ajreynolRefactor setIncomplete in quantifiers.
2016-09-14 ajreynolSupport for unique variable generation in node manager.
2016-09-14 ajreynolLemma cache in theory sep. Minor optimization for sets...
2016-09-13 ajreynolMinor changes to sep logic, epr, quantifier splitting.
2016-09-12 ajreynolRefactor prenex modes.
2016-09-12 ajreynolRemove old implementation of cbqi
2016-09-12 ajreynolPrefer non-cardinality constants in term models for...
2016-09-12 ajreynolEnsure sep.nil is unique per type at NodeManager level...
2016-09-09 ajreynolFix bug in unconstrained simplifier related to sep...
2016-09-09 ajreynolSupport for separation logic + EPR. Refactor preprocess...
2016-09-08 ajreynolRefactor seplog preprocess. Handle case where sep data...
2016-09-03 ajreynolMiniscope top level conjunctions for prenex normal...
2016-09-03 ajreynolOption for prenex normal form
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw
2016-09-01 ajreynolFix boolean term issue in invariants from sygus. Minor...
2016-09-01 ajreynolCleanup quantifier elimination in smt engine.
2016-09-01 ajreynolUpdates to cbqi. New strategy --cbqi-nested-qe to...
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for...
2016-09-01 Tim KingRemoving the forward declaration of QuantInfo from...
2016-08-31 Tim KingCleaning up the dead FORIT macros.
2016-08-31 Tim KingRemoving the usage of typeof from theory_sets_private.
2016-08-31 Tim KingBeautifying theory_model.h.
2016-08-31 Tim KingRemoving BOOST_FOREACH from theory/sets/scrutinize.h.
2016-08-31 Tim KingRemoving typeof from sets normal form and beautifying...
2016-08-31 Tim KingRemoving typeof from command_executor_portfolio.cpp.
2016-08-31 Tim KingRemoving typeof from didyoumean.cpp.
2016-08-26 ajreynolBasic support for EPR+CBQI. Minor cleanup.
2016-08-25 ajreynolMinor cleanup preprocessing, add ppNotifyAssertions.
2016-08-25 ajreynolOptions for counterexample guided instantiation.
2016-08-20 Clark BarrettFixed two bugs
2016-08-19 Clark BarrettAdded fitsSignedLong and fitsUnsignedLong
2016-08-16 ajreynolInitial infrastructure for ExtTheory, generalize extend...
2016-08-15 ajreynolExpression sharing on demand in LFSC (replace definitio...
2016-08-15 ajreynolEnable bounded set membership with --fmf-bound. Map...
2016-08-12 ajreynolAdd a few more regressions.
2016-08-12 ajreynolMinor fixes to model construction to take singleton...
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes
2016-08-12 Andres NotzliAdd support for fewer preprocessing holes
2016-08-11 ajreynolMinor change to strings, introduce proxy vars only...
2016-08-10 ajreynolImprovements to strings: work on propagations for rever...
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces
2016-08-09 ajreynolFixes for sep star rewrite.
2016-08-09 Andres NotzliFix missing/redundant spaces in proofs
2016-08-06 guykatzzMerge pull request #88 from 4tXJ7f/fix_comments
2016-08-05 Andres NotzliMinor: add/fix comments, remove redundant includes
2016-08-03 GuyFixed an issue where arrays proofs would sometimes...
2016-08-03 barrettcwMerge pull request #87 from 4tXJ7f/fix_oob_access
2016-07-30 ajreynolPrioritize inferences when processing normal forms...
2016-07-28 GuyThe "aggressive" optimizer for lemma L now returns...
2016-07-28 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-07-28 GuyBug fix involving negated lemmas
2016-07-28 ajreynolFix bug 749.
next