projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2016-10-31 ajreynolMinor refactoring in preparation for datatypes node... commit | commitdiff | tree
2016-10-28 ajreynolAdd get instantiations utilities to API. commit | commitdiff | tree
2016-10-27 Clark BarrettMerge pull request #99 from 4tXJ7f/fix_dist_build3 commit | commitdiff | tree
2016-10-27 Andres NotzliFix typo in Makefile that makes distcheck fail commit | commitdiff | tree
2016-10-26 ajreynolEnable bv2nat regressions commit | commitdiff | tree
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build commit | commitdiff | tree
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... commit | commitdiff | tree
2016-10-24 Andres NotzliFix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build commit | commitdiff | tree
2016-10-21 ajreynolFix/add missing makefiles. commit | commitdiff | tree
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... commit | commitdiff | tree
2016-10-19 Tim KingMerge pull request #97 from 4tXJ7f/fix_rewrite commit | commitdiff | tree
2016-10-19 Andres NotzliFix minor bug and typo in boolean rewriter commit | commitdiff | tree
2016-10-13 ajreynolMerging bv parts of ajr/bvExt branch, minor additions... commit | commitdiff | tree
2016-10-13 Tim KingInitializes RoundingMode::roundNearestTiesToAway to... commit | commitdiff | tree
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... commit | commitdiff | tree
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git commit | commitdiff | tree
2016-10-11 Paul Meng- fixed a memory leak issue with context dependent... commit | commitdiff | tree
2016-10-09 Tim KingAdding initializers for structs internal to ite_utilities. commit | commitdiff | tree
2016-10-06 guykatzzAdded an option that allow empty dependencies when... commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_uf_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_fp_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_datatypes_typ... commit | commitdiff | tree
2016-10-03 Tim KingRemoving an unused member from TreeLog. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_bv_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from Cardinality. commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from Result. commit | commitdiff | tree
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from SExpr. commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from SubrangeBounds. commit | commitdiff | tree
2016-10-01 ajreynolIncorporate non-bv parts of ajr/bvExt branch commit | commitdiff | tree
2016-09-29 ajreynolAddress some coverity warnings, add another stat. commit | commitdiff | tree
2016-09-29 ajreynolMinor cleanup and additions to quantifiers statistics. commit | commitdiff | tree
2016-09-28 Kshitij BansalFix the merge of kbansal/card branch (2039eab). commit | commitdiff | tree
2016-09-27 Tim KingRemoving an unused iterator. commit | commitdiff | tree
2016-09-27 Tim KingReverting part of the previous changes to unconstrained... commit | commitdiff | tree
2016-09-26 Tim KingSimplifying control flow to avoid goto's in unconstrain... commit | commitdiff | tree
2016-09-26 Tim KingAdding missing break statements. commit | commitdiff | tree
2016-09-26 Tim KingClosing an open file descriptor in MemoryMapFile. commit | commitdiff | tree
2016-09-26 Tim KingFreeing memory in error handling code for bounded_token... commit | commitdiff | tree
2016-09-26 Tim KingDeleting the eager bitblasting solver if present in... commit | commitdiff | tree
2016-09-26 Tim KingAdding a destructor to QuantAntiSkolem. commit | commitdiff | tree
2016-09-26 Tim KingAdding a destructor to TermDb. commit | commitdiff | tree
2016-09-26 Tim KingAdding a destructor to CegqiOutputSingleInv. commit | commitdiff | tree
2016-09-26 Tim KingDeleting optional members of StrongSolverTheoryUF. commit | commitdiff | tree
2016-09-26 Tim KingDisambiguating a vector insert warning coming from... commit | commitdiff | tree
2016-09-26 Tim KingDeleting a temporary in theory sets enumerator. commit | commitdiff | tree
2016-09-26 Tim KingDeleting the intermediate command singleton. commit | commitdiff | tree
2016-09-26 Tim KingDisambiguating a type issue. Coverity scan reported... commit | commitdiff | tree
2016-09-25 Tim KingAdding virtual destructors to several classes in expr.h . commit | commitdiff | tree
2016-09-25 Tim KingRemoving an unused iterator. commit | commitdiff | tree
2016-09-25 Tim KingFixing a potential use after free coming from a pop_bac... commit | commitdiff | tree
2016-09-25 Tim KingIntegrating a working coverity_scan travis rule back... commit | commitdiff | tree
2016-09-23 Paul Mengfixed a few bugs commit | commitdiff | tree
2016-09-21 ajreynolRemove duplicate code from my last commit commit | commitdiff | tree
2016-09-21 Tim KingFixing an error in the previous travis commit. commit | commitdiff | tree
2016-09-21 Tim KingUpdating the travis file for coverity scan. commit | commitdiff | tree
2016-09-20 ajreynolRefactor, separate theory-specific counterexample-guide... commit | commitdiff | tree
2016-09-20 ajreynolMore refactoring of cbqi. Add a few regressions. Add... commit | commitdiff | tree
2016-09-19 Tim KingMerge pull request #92 from timothy-king/travis-cpp11 commit | commitdiff | tree
2016-09-18 Tim KingAdding a clang format file for the project. commit | commitdiff | tree
2016-09-18 Tim KingAdding a gnu++11 rule to travis. commit | commitdiff | tree
2016-09-18 ajreynolMinor fix for strings commit | commitdiff | tree
2016-09-17 guykatzzIn a ROW guard proof, if the transitivity proof does... commit | commitdiff | tree
2016-09-17 guykatzzMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-09-17 ajreynolUse matching heuristics for EPR instantiation. commit | commitdiff | tree
2016-09-16 GuyHandling a corner case where a ROW's guard is a constan... commit | commitdiff | tree
2016-09-16 GuyLet arith_proof print its own terms commit | commitdiff | tree
2016-09-16 ajreynolMore refactoring of cbqi, start developing new interface. commit | commitdiff | tree
2016-09-15 ajreynolFurther refactor cbqi. commit | commitdiff | tree
2016-09-15 ajreynolBegin refactoring of cbqi, remove a few dead options... commit | commitdiff | tree
2016-09-15 ajreynolMake sep pto a trigger kind, track in equality engines... commit | commitdiff | tree
2016-09-15 ajreynolRefactor setIncomplete in quantifiers. commit | commitdiff | tree
2016-09-14 ajreynolSupport for unique variable generation in node manager. commit | commitdiff | tree
2016-09-14 ajreynolLemma cache in theory sep. Minor optimization for sets... commit | commitdiff | tree
2016-09-13 Paul Mengfixed type checking and computing for PRODUCT and JOIN commit | commitdiff | tree
2016-09-13 ajreynolMinor changes to sep logic, epr, quantifier splitting. commit | commitdiff | tree
2016-09-13 Paul Mengrefactored the code, added more benchmarks and minor... commit | commitdiff | tree
2016-09-12 Paul Mengfixed capitalized "kind" commit | commitdiff | tree
2016-09-12 ajreynolRefactor prenex modes. commit | commitdiff | tree
2016-09-12 ajreynolRemove old implementation of cbqi commit | commitdiff | tree
2016-09-12 ajreynolPrefer non-cardinality constants in term models for... commit | commitdiff | tree
2016-09-12 ajreynolEnsure sep.nil is unique per type at NodeManager level... commit | commitdiff | tree
2016-09-09 ajreynolFix bug in unconstrained simplifier related to sep... commit | commitdiff | tree
2016-09-09 ajreynolSupport for separation logic + EPR. Refactor preprocess... commit | commitdiff | tree
2016-09-08 ajreynolRefactor seplog preprocess. Handle case where sep data... commit | commitdiff | tree
2016-09-03 ajreynolMiniscope top level conjunctions for prenex normal... commit | commitdiff | tree
2016-09-03 ajreynolOption for prenex normal form commit | commitdiff | tree
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw commit | commitdiff | tree
2016-09-01 ajreynolFix boolean term issue in invariants from sygus. Minor... commit | commitdiff | tree
2016-09-01 ajreynolCleanup quantifier elimination in smt engine. commit | commitdiff | tree
2016-09-01 ajreynolUpdates to cbqi. New strategy --cbqi-nested-qe to... commit | commitdiff | tree
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for... commit | commitdiff | tree
2016-09-01 Tim KingRemoving the forward declaration of QuantInfo from... commit | commitdiff | tree
2016-08-31 Tim KingCleaning up the dead FORIT macros. commit | commitdiff | tree
2016-08-31 Tim KingRemoving the usage of typeof from theory_sets_private. commit | commitdiff | tree
2016-08-31 Tim KingBeautifying theory_model.h. commit | commitdiff | tree
2016-08-31 Tim KingRemoving BOOST_FOREACH from theory/sets/scrutinize.h. commit | commitdiff | tree
2016-08-31 Tim KingRemoving typeof from sets normal form and beautifying... commit | commitdiff | tree
2016-08-31 Tim KingRemoving typeof from command_executor_portfolio.cpp. commit | commitdiff | tree
2016-08-31 Tim KingRemoving typeof from didyoumean.cpp. commit | commitdiff | tree
next