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 |
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 |
2017-06-15 |
Clark Barrett | Merge pull request #167 from CVC4/fix_div |
commit | commitdiff | tree |
2017-06-14 |
Andres Noetzli | Remove UdivSelf rewrite, add UdivZero rewrite |
commit | commitdiff | tree |
2017-06-14 |
Andres Noetzli | Fix uninitialized value |
commit | commitdiff | tree |
2017-06-04 |
Clark Barrett | Fix compile error |
commit | commitdiff | tree |
2017-06-03 |
ajreynol | Minor to smt comp script. |
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Fix regression. |
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Incorporate datatypes into smt comp script, add regression. |
commit | commitdiff | tree |
2017-06-01 |
ajreynol | Minor optimizations related to cbqi. |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Fix model construction for BV with cbqi. Minor change... |
commit | commitdiff | tree |
2017-05-31 |
guykatzz | A more informative error message when a theory is not... |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Minor fix to last commit. |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Change to-int, div, int-div skolems from CDAttribute... |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Minor change to defaults, update smt comp script, minor... |
commit | commitdiff | tree |
2017-05-30 |
guykatzz | print only labeled assertions as part of the unsat... |
commit | commitdiff | tree |
2017-05-28 |
Clark Barrett | Merge pull request #164 from CVC4/fix_comp |
commit | commitdiff | tree |
2017-05-28 |
Andres Noetzli | [Competition] Fix ABC, fix CryptoMiniSat req |
commit | commitdiff | tree |
2017-05-26 |
Tim King | Checking that equalities belong to the arithmetic theor... |
commit | commitdiff | tree |
2017-05-26 |
Andres Noetzli | Fix use-after-free with ResChains |
commit | commitdiff | tree |
2017-05-25 |
ajreynol | Quote unsat core names if applicable, fixes bug 816. |
commit | commitdiff | tree |
2017-05-22 |
ajreynol | Initial draft of 2017 competition scripts. |
commit | commitdiff | tree |
2017-05-20 |
ajreynol | Fix bug 812. |
commit | commitdiff | tree |
2017-05-17 |
Clark Barrett | Merge pull request #155 from makaimann/conditional_coverage |
commit | commitdiff | tree |
2017-05-16 |
Clark Barrett | Merge pull request #161 from 4tXJ7f/fix_parser |
commit | commitdiff | tree |
2017-05-16 |
Clark Barrett | Merge pull request #160 from 4tXJ7f/fix_win_build |
commit | commitdiff | tree |
2017-05-16 |
Andres Noetzli | Avoid tokenizing FP tokens in non-FP input |
commit | commitdiff | tree |
next |