| 2017-08-24 |
Pat Hawks | Test Java API on CI |
commit | commitdiff | tree |
| 2017-08-24 |
Andres Noetzli | Add include to fix build |
commit | commitdiff | tree |
| 2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
commit | commitdiff | tree |
| 2017-08-24 |
Andres Noetzli | Fix typos |
commit | commitdiff | tree |
| 2017-08-23 |
Tim King | Removing TODO for 'Optimize via the iterator'. Not... |
commit | commitdiff | tree |
| 2017-08-22 |
Aina Niemetz | Cleanup: use Assert rather than C assert. (#1052) |
commit | commitdiff | tree |
| 2017-08-22 |
Clark Barrett | Updated NYU -> Stanford |
commit | commitdiff | tree |
| 2017-08-21 |
Mathias Preiner | Change Bugzilla urls to Github issues. |
commit | commitdiff | tree |
| 2017-08-17 |
Andres Noetzli | Remove unused SubrangeBound(s) classes (#221) |
commit | commitdiff | tree |
| 2017-08-17 |
ajreynol | Add mbqi interleave option, change option fs-inst to... |
commit | commitdiff | tree |
| 2017-08-15 |
Andres Noetzli | Minimize includes in expr.h: remove dups, iostream... |
commit | commitdiff | tree |
| 2017-08-15 |
Andres Noetzli | Move function definitions from metakind.h to cpp (... |
commit | commitdiff | tree |
| 2017-08-15 |
Andres Noetzli | Move function definitions from kind.h to kind.cpp ... |
commit | commitdiff | tree |
| 2017-08-14 |
Andres Noetzli | Move function defns from smt_engine_scope.h to cpp... |
commit | commitdiff | tree |
| 2017-08-14 |
Mathias Preiner | Use antlr-3.4 directory if already present in CVC4... |
commit | commitdiff | tree |
| 2017-08-14 |
Aina Niemetz | Merge pull request #214 from CVC4/fix_warn_nonlinear |
commit | commitdiff | tree |
| 2017-08-14 |
Mark Laws | Build and test suite fixes for Windows (#186) |
commit | commitdiff | tree |
| 2017-08-12 |
Aina Niemetz | Fix compiler warnings in theory/arith/nonlinear_extensi... |
commit | commitdiff | tree |
| 2017-08-11 |
ajreynol | Maintain frontier for tangent planes. |
commit | commitdiff | tree |
| 2017-08-10 |
Andres Noetzli | Fix line numbers in options_template |
commit | commitdiff | tree |
| 2017-08-09 |
Mathias Preiner | Fix compiler warning in src/context/context.h. |
commit | commitdiff | tree |
| 2017-08-09 |
Aina Niemetz | Fix help message for disable-unit-testing in configure... |
commit | commitdiff | tree |
| 2017-08-09 |
Mathias Preiner | Remove AigBitblaster implementation if ABC is not compi... |
commit | commitdiff | tree |
| 2017-08-09 |
Aina Niemetz | Fix Assertion (compiler warning) in theory/bv/theory_bv.cpp |
commit | commitdiff | tree |
| 2017-08-09 |
Andres Noetzli | Fix compiler warning in sat_proof_implementation |
commit | commitdiff | tree |
| 2017-08-08 |
ajreynol | Use cache for datatypes cycle check, add regression. |
commit | commitdiff | tree |
| 2017-08-08 |
Andrew Reynolds | Merge pull request #211 from CVC4/fix_warn_sygus |
commit | commitdiff | tree |
| 2017-08-08 |
Andres Noetzli | Optionally split regression tests into test groups... |
commit | commitdiff | tree |
| 2017-08-08 |
Aina Niemetz | Fix compiler warning in theory/quantifiers/term_databas... |
commit | commitdiff | tree |
| 2017-08-07 |
ajreynol | Change sygus output for failed reconstruction case. |
commit | commitdiff | tree |
| 2017-08-07 |
ajreynol | Make quantifier elimination more robust to preprocessing. |
commit | commitdiff | tree |
| 2017-08-05 |
Aina Niemetz | Reorganized bitvector.h |
commit | commitdiff | tree |
| 2017-08-04 |
Aina Niemetz | Fix comments |
commit | commitdiff | tree |
| 2017-08-04 |
Aina Niemetz | Fix typos in comments |
commit | commitdiff | tree |
| 2017-08-04 |
ajreynol | Set default language to smt lib 2.6 (including as a... |
commit | commitdiff | tree |
| 2017-08-02 |
Mathias Preiner | Disable debug symbols for production builds. |
commit | commitdiff | tree |
| 2017-07-31 |
ajreynol | Minor improvement for enumerative instantiation. |
commit | commitdiff | tree |
| 2017-07-30 |
Andres Noetzli | Fix memory leak in symbol table (#209) |
commit | commitdiff | tree |
| 2017-07-30 |
Andres Noetzli | Change remaining hash_set -> unordered_set (#208) |
commit | commitdiff | tree |
| 2017-07-29 |
ajreynol | Add support for charat in native language, minor cleanup. |
commit | commitdiff | tree |
| 2017-07-28 |
ajreynol | Fix cache issues for cyclic string equations. |
commit | commitdiff | tree |
| 2017-07-27 |
Andres Noetzli | -Og for non-opt build, parallel pcvc4 check (#206) |
commit | commitdiff | tree |
| 2017-07-26 |
Mathias Preiner | Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest... |
commit | commitdiff | tree |
| 2017-07-23 |
Tim King | Disabling compiling unit tests with coverity scan for... |
commit | commitdiff | tree |
| 2017-07-23 |
Tim King | Deprecating the unused convenience_node_builders.h... |
commit | commitdiff | tree |
| 2017-07-23 |
Tim King | Consolidating the opaque pointers in SymbolTable. ... |
commit | commitdiff | tree |
| 2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
commit | commitdiff | tree |
| 2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
commit | commitdiff | tree |
| 2017-07-20 |
ajreynol | Fix a few bugs related to sygus. |
commit | commitdiff | tree |
| 2017-07-20 |
Tim King | Removing the unused CDAttribute. This makes CDHashMap... |
commit | commitdiff | tree |
| 2017-07-19 |
Andres Noetzli | Fix simple_vc_compat_cxx example (#202) |
commit | commitdiff | tree |
| 2017-07-18 |
Tim King | Adding a garbage list that get collected during the... |
commit | commitdiff | tree |
| 2017-07-17 |
Tim King | Fixing the order of the comparison operation. |
commit | commitdiff | tree |
| 2017-07-17 |
Tim King | Merge branch 'master' into cleanup-regexp |
commit | commitdiff | tree |
| 2017-07-17 |
Andres Noetzli | Use is_sorted, merge, copy from std (#199) |
commit | commitdiff | tree |
| 2017-07-17 |
Andres Noetzli | Remove PtrCloser (#198) |
commit | commitdiff | tree |
| 2017-07-17 |
Tim King | Moving to static_assert now that c++11 is available. |
commit | commitdiff | tree |
| 2017-07-16 |
Andres Noetzli | Use CXXFLAGS when compiling parsers (#197) |
commit | commitdiff | tree |
| 2017-07-15 |
Andres Noetzli | Fix warning about unknown escape sequence (#196) |
commit | commitdiff | tree |
| 2017-07-15 |
Andres Noetzli | Disable separate gnu++11 tests on Travis (#193) |
commit | commitdiff | tree |
| 2017-07-14 |
Tim King | Removing BOOST_FOREACH usage. |
commit | commitdiff | tree |
| 2017-07-14 |
Tim King | Cleaning up the CVC4::String class. |
commit | commitdiff | tree |
| 2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
commit | commitdiff | tree |
| 2017-07-13 |
Aina Niemetz | autoconf: make -std=gnu++11 mandatory |
commit | commitdiff | tree |
| 2017-07-12 |
ajreynol | Fix unit tests for subranges. Fix destructors for conte... |
commit | commitdiff | tree |
| 2017-07-12 |
ajreynol | Fix .i files from last commit. |
commit | commitdiff | tree |
| 2017-07-12 |
ajreynol | Make type rules more strict for operators whose type... |
commit | commitdiff | tree |
| 2017-07-11 |
Mathias Preiner | Remove trailing slashes from directories if specified... |
commit | commitdiff | tree |
| 2017-07-10 |
ajreynol | Do not exit when value/model/unsat-core/proof is reques... |
commit | commitdiff | tree |
| 2017-07-10 |
ajreynol | Add nl regression. |
commit | commitdiff | tree |
| 2017-07-10 |
ajreynol | Merge ntExt branch. Adds support for transcendental... |
commit | commitdiff | tree |
| 2017-07-10 |
ajreynol | Separate sygus term utilities to new file, minor cleanu... |
commit | commitdiff | tree |
| 2017-07-10 |
ajreynol | Merge datatype shared selectors/sygus comp 2017 branch... |
commit | commitdiff | tree |
| 2017-07-10 |
Mathias Preiner | Prerelease versioning for master. |
commit | commitdiff | tree |
| 2017-07-10 |
Mathias Preiner | Cutting release 1.5. |
commit | commitdiff | tree |
| 2017-07-10 |
Mathias Preiner | Disable tarball signing for now. |
commit | commitdiff | tree |
| 2017-07-08 |
Mathias Preiner | Merge branch 'master' of github.com:CVC4/CVC4 |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Update copyright year and refer to authors URL. |
commit | commitdiff | tree |
| 2017-07-07 |
Andres Noetzli | Remove unused stacking_vector class (#185) |
commit | commitdiff | tree |
| 2017-07-07 |
Andres Noetzli | Avoid invoking copy constructor when safe printing... |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Update copyright headers. |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Update files that are part of the CVC4 license, exclude... |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Use consistent author names for the copyright headers. |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Use new copyright header format. |
commit | commitdiff | tree |
| 2017-07-07 |
Mathias Preiner | Escape left brace in regex in update-copyright script. |
commit | commitdiff | tree |
| 2017-07-06 |
Mathias Preiner | Fix passing antlr arguments to configure in contrib... |
commit | commitdiff | tree |
| 2017-07-06 |
Aina Niemetz | cut-release: git co -> git checkout |
commit | commitdiff | tree |
| 2017-07-06 |
Aina Niemetz | cut-release: option handling, get-antlr |
commit | commitdiff | tree |
| 2017-07-05 |
ajreynol | Fix for logic info, update regressions. Update casc... |
commit | commitdiff | tree |
| 2017-07-05 |
Mathias Preiner | updated INSTALL for version 1.5 |
commit | commitdiff | tree |
| 2017-07-05 |
ajreynol | Update unit test, news. |
commit | commitdiff | tree |
| 2017-07-05 |
ajreynol | Non-linear supported in ALL logics. Minor fixes for... |
commit | commitdiff | tree |
| 2017-07-04 |
Andres Nötzli | Update README for 1.5 release (#182) |
commit | commitdiff | tree |
| 2017-06-30 |
Clark Barrett | Updates to AUTHORS and THANKS for 1.5 (mostly done... |
commit | commitdiff | tree |
| 2017-06-30 |
Clark Barrett | Updated NEWS, README, RELEASE-NOTES. |
commit | commitdiff | tree |
| 2017-06-30 |
Andres Nötzli | Fix use-after-free with unsat cores/proofs (#174) |
commit | commitdiff | tree |
| 2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to... |
commit | commitdiff | tree |
| 2017-06-28 |
ajreynol | Enable non-linear solve by default, update regressions. |
commit | commitdiff | tree |
| 2017-06-23 |
Andres Nötzli | Fix assertion failure due to missing clause id (#180) |
commit | commitdiff | tree |
| 2017-06-22 |
Andres Nötzli | Fix unsat cores script for SMT-COMP (#179) |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog