| 2017-08-14 |
Mark Laws | Build and test suite fixes for Windows (#186) |
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 | 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 |
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-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 |
| 2017-06-21 |
Andrew Reynolds | Merge pull request #175 from CVC4/fix_uninit |
commit | commitdiff | tree |
| 2017-06-21 |
ajreynol | Properly handle subtypes in smt2 printer. |
commit | commitdiff | tree |
| 2017-06-21 |
Andres Nötzli | Add run script for unsat cores track at SMT-COMP (... |
commit | commitdiff | tree |
| 2017-06-21 |
Andrew Reynolds | Merge pull request #176 from CVC4/smtcomp2017 |
commit | commitdiff | tree |
| 2017-06-21 |
ajreynol | Update casc and sygus comp scripts. |
commit | commitdiff | tree |
| 2017-06-21 |
Clément Pit... | Check for sigaltstack in configure (#172) |
commit | commitdiff | tree |
| 2017-06-20 |
Andres Noetzli | Fix SIGILL handler |
commit | commitdiff | tree |
| 2017-06-19 |
Andres Noetzli | Better configuration for QF_NRA |
commit | commitdiff | tree |
| 2017-06-18 |
ajreynol | Fix assertion |
commit | commitdiff | tree |
| 2017-06-18 |
ajreynol | Minor change to ensureTheoryAtoms for bug 828. |
commit | commitdiff | tree |
| 2017-06-17 |
Andres Nötzli | Change language in competition script to smt2.6 (#171) |
commit | commitdiff | tree |
| 2017-06-17 |
Andres Nötzli | Fix stream parsing |
commit | commitdiff | tree |
| 2017-06-16 |
Clark Barrett | Merge pull request #170 from CVC4/fix_2_6_parser3 |
commit | commitdiff | tree |
| 2017-06-16 |
Andres Nötzli | Fix segfault by making unit conflict CDMaybe |
commit | commitdiff | tree |
| 2017-06-16 |
Andres Noetzli | Parse 'is', 'match' differently for non-DT input |
commit | commitdiff | tree |
| 2017-06-16 |
Clark Barrett | Fix for bug 639. |
commit | commitdiff | tree |
| 2017-06-15 |
Andres Noetzli | Make comp script more robust |
commit | commitdiff | tree |
| 2017-06-15 |
ajreynol | Fix for issue related to cbqi + E-matching. |
commit | commitdiff | tree |
| 2017-06-15 |
ajreynol | Add regression. |
commit | commitdiff | tree |
| 2017-06-15 |
ajreynol | Fix relevant domain for datatypes, fixes bug 824. |
commit | commitdiff | tree |
| 2017-06-15 |
ajreynol | Ensure uninterpreted constants do not escape datatypes... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog