| 2016-11-02 |
ajreynol | Fix bug in separation logic for finite pto-data types... |
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Fix a few obvious memory leaks in sygus and quantifiers... |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Minor fix to cvc3_compat. |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Make tuple and record names unique. Do not print intern... |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Fix memory leak in TheorySetsRels. Minor cleanup. |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Revert change to Datatypes API to return vector of... |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Revert change to datatypes API for passing pointers... |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Working memory leak free version, changes interface... |
commit | commitdiff | tree |
| 2016-10-31 |
ajreynol | Minor refactoring in preparation for datatypes node... |
commit | commitdiff | tree |
| 2016-10-28 |
ajreynol | Add get instantiations utilities to API. |
commit | commitdiff | tree |
| 2016-10-27 |
Clark Barrett | Merge pull request #99 from 4tXJ7f/fix_dist_build3 |
commit | commitdiff | tree |
| 2016-10-27 |
Andres Notzli | Fix typo in Makefile that makes distcheck fail |
commit | commitdiff | tree |
| 2016-10-26 |
ajreynol | Enable bv2nat regressions |
commit | commitdiff | tree |
| 2016-10-26 |
Andrew Reynolds | Merge pull request #98 from 4tXJ7f/fix_dist_build |
commit | commitdiff | tree |
| 2016-10-26 |
ajreynol | New implementation of sets+cardinality. Merge Paul... |
commit | commitdiff | tree |
| 2016-10-24 |
Andres Notzli | Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build |
commit | commitdiff | tree |
| 2016-10-21 |
ajreynol | Fix/add missing makefiles. |
commit | commitdiff | tree |
| 2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment... |
commit | commitdiff | tree |
| 2016-10-19 |
Tim King | Merge pull request #97 from 4tXJ7f/fix_rewrite |
commit | commitdiff | tree |
| 2016-10-19 |
Andres Notzli | Fix minor bug and typo in boolean rewriter |
commit | commitdiff | tree |
| 2016-10-13 |
ajreynol | Merging bv parts of ajr/bvExt branch, minor additions... |
commit | commitdiff | tree |
| 2016-10-13 |
Tim King | Initializes RoundingMode::roundNearestTiesToAway to... |
commit | commitdiff | tree |
| 2016-10-13 |
Tim King | Revert "Merge branch 'origin' of https://github.com... |
commit | commitdiff | tree |
| 2016-10-11 |
Paul Meng | Merge 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 King | Adding initializers for structs internal to ite_utilities. |
commit | commitdiff | tree |
| 2016-10-06 |
guykatzz | Added an option that allow empty dependencies when... |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing the throw specifiers from theory_uf_type_rules.h. |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing the throw specifiers from theory_fp_type_rules.h. |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing the throw specifiers from theory_datatypes_typ... |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing an unused member from TreeLog. |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing the throw specifiers from theory_bv_type_rules.h. |
commit | commitdiff | tree |
| 2016-10-03 |
Tim King | Removing the throw specifiers from Cardinality. |
commit | commitdiff | tree |
| 2016-10-01 |
Tim King | Removing the throw specifiers from Result. |
commit | commitdiff | tree |
| 2016-10-01 |
Tim King | Merge pull request #93 from timothy-king/clang-format |
commit | commitdiff | tree |
| 2016-10-01 |
Tim King | Removing the throw specifiers from SExpr. |
commit | commitdiff | tree |
| 2016-10-01 |
Tim King | Removing the throw specifiers from SubrangeBounds. |
commit | commitdiff | tree |
| 2016-10-01 |
ajreynol | Incorporate non-bv parts of ajr/bvExt branch |
commit | commitdiff | tree |
| 2016-09-29 |
ajreynol | Address some coverity warnings, add another stat. |
commit | commitdiff | tree |
| 2016-09-29 |
ajreynol | Minor cleanup and additions to quantifiers statistics. |
commit | commitdiff | tree |
| 2016-09-28 |
Kshitij Bansal | Fix the merge of kbansal/card branch (2039eab). |
commit | commitdiff | tree |
| 2016-09-27 |
Tim King | Removing an unused iterator. |
commit | commitdiff | tree |
| 2016-09-27 |
Tim King | Reverting part of the previous changes to unconstrained... |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Simplifying control flow to avoid goto's in unconstrain... |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Adding missing break statements. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Closing an open file descriptor in MemoryMapFile. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Freeing memory in error handling code for bounded_token... |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Deleting the eager bitblasting solver if present in... |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Adding a destructor to QuantAntiSkolem. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Adding a destructor to TermDb. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Adding a destructor to CegqiOutputSingleInv. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Deleting optional members of StrongSolverTheoryUF. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Disambiguating a vector insert warning coming from... |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Deleting a temporary in theory sets enumerator. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Deleting the intermediate command singleton. |
commit | commitdiff | tree |
| 2016-09-26 |
Tim King | Disambiguating a type issue. Coverity scan reported... |
commit | commitdiff | tree |
| 2016-09-25 |
Tim King | Adding virtual destructors to several classes in expr.h . |
commit | commitdiff | tree |
| 2016-09-25 |
Tim King | Removing an unused iterator. |
commit | commitdiff | tree |
| 2016-09-25 |
Tim King | Fixing a potential use after free coming from a pop_bac... |
commit | commitdiff | tree |
| 2016-09-25 |
Tim King | Integrating a working coverity_scan travis rule back... |
commit | commitdiff | tree |
| 2016-09-23 |
Paul Meng | fixed a few bugs |
commit | commitdiff | tree |
| 2016-09-21 |
ajreynol | Remove duplicate code from my last commit |
commit | commitdiff | tree |
| 2016-09-21 |
Tim King | Fixing an error in the previous travis commit. |
commit | commitdiff | tree |
| 2016-09-21 |
Tim King | Updating the travis file for coverity scan. |
commit | commitdiff | tree |
| 2016-09-20 |
ajreynol | Refactor, separate theory-specific counterexample-guide... |
commit | commitdiff | tree |
| 2016-09-20 |
ajreynol | More refactoring of cbqi. Add a few regressions. Add... |
commit | commitdiff | tree |
| 2016-09-19 |
Tim King | Merge pull request #92 from timothy-king/travis-cpp11 |
commit | commitdiff | tree |
| 2016-09-18 |
Tim King | Adding a clang format file for the project. |
commit | commitdiff | tree |
| 2016-09-18 |
Tim King | Adding a gnu++11 rule to travis. |
commit | commitdiff | tree |
| 2016-09-18 |
ajreynol | Minor fix for strings |
commit | commitdiff | tree |
| 2016-09-17 |
guykatzz | In a ROW guard proof, if the transitivity proof does... |
commit | commitdiff | tree |
| 2016-09-17 |
guykatzz | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2016-09-17 |
ajreynol | Use matching heuristics for EPR instantiation. |
commit | commitdiff | tree |
| 2016-09-16 |
Guy | Handling a corner case where a ROW's guard is a constan... |
commit | commitdiff | tree |
| 2016-09-16 |
Guy | Let arith_proof print its own terms |
commit | commitdiff | tree |
| 2016-09-16 |
ajreynol | More refactoring of cbqi, start developing new interface. |
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Further refactor cbqi. |
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Begin refactoring of cbqi, remove a few dead options... |
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Make sep pto a trigger kind, track in equality engines... |
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Refactor setIncomplete in quantifiers. |
commit | commitdiff | tree |
| 2016-09-14 |
ajreynol | Support for unique variable generation in node manager. |
commit | commitdiff | tree |
| 2016-09-14 |
ajreynol | Lemma cache in theory sep. Minor optimization for sets... |
commit | commitdiff | tree |
| 2016-09-13 |
Paul Meng | fixed type checking and computing for PRODUCT and JOIN |
commit | commitdiff | tree |
| 2016-09-13 |
ajreynol | Minor changes to sep logic, epr, quantifier splitting. |
commit | commitdiff | tree |
| 2016-09-13 |
Paul Meng | refactored the code, added more benchmarks and minor... |
commit | commitdiff | tree |
| 2016-09-12 |
Paul Meng | fixed capitalized "kind" |
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Refactor prenex modes. |
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Remove old implementation of cbqi |
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Prefer non-cardinality constants in term models for... |
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Ensure sep.nil is unique per type at NodeManager level... |
commit | commitdiff | tree |
| 2016-09-09 |
ajreynol | Fix bug in unconstrained simplifier related to sep... |
commit | commitdiff | tree |
| 2016-09-09 |
ajreynol | Support for separation logic + EPR. Refactor preprocess... |
commit | commitdiff | tree |
| 2016-09-08 |
ajreynol | Refactor seplog preprocess. Handle case where sep data... |
commit | commitdiff | tree |
| 2016-09-03 |
ajreynol | Miniscope top level conjunctions for prenex normal... |
commit | commitdiff | tree |
| 2016-09-03 |
ajreynol | Option for prenex normal form |
commit | commitdiff | tree |
| 2016-09-02 |
Tim King | Merge pull request #91 from timothy-king/no-throw |
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Fix boolean term issue in invariants from sygus. Minor... |
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Cleanup quantifier elimination in smt engine. |
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Updates to cbqi. New strategy --cbqi-nested-qe to... |
commit | commitdiff | tree |
| 2016-09-01 |
Tim King | Relaxing the throw specifiers for the destructors for... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog