| 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 |
| 2017-05-16 |
Andres Noetzli | Fix error in Windows build |
commit | commitdiff | tree |
| 2017-05-16 |
Andrew Reynolds | Merge pull request #156 from 4tXJ7f/fix_safe_print |
commit | commitdiff | tree |
| 2017-05-15 |
Andres Noetzli | Minor fix in safe_print function |
commit | commitdiff | tree |
| 2017-05-15 |
ajreynol | Cleanup handling of division (possible fix for bugs... |
commit | commitdiff | tree |
| 2017-05-15 |
Andrew Reynolds | Merge pull request #159 from 4tXJ7f/fix_set_types |
commit | commitdiff | tree |
| 2017-05-15 |
Andres Noetzli | Fix type checks for relation operators |
commit | commitdiff | tree |
| 2017-05-15 |
Andrew Reynolds | Merge pull request #158 from 4tXJ7f/fix_sets_rewriter |
commit | commitdiff | tree |
| 2017-05-15 |
Andres Noetzli | Fix minor bug in sets rewriter |
commit | commitdiff | tree |
| 2017-05-15 |
ajreynol | Fix bug 806. Minor fixes to remove term formula pass. |
commit | commitdiff | tree |
| 2017-05-15 |
Andrew Reynolds | Merge pull request #157 from 4tXJ7f/fix_iterator |
commit | commitdiff | tree |
| 2017-05-15 |
Andres Noetzli | Fix condition in upwards closure check for sets |
commit | commitdiff | tree |
| 2017-05-15 |
ajreynol | Fix issue in ceg_instantiator related to types and... |
commit | commitdiff | tree |
| 2017-05-15 |
ajreynol | Make conflict-based instantiation abort if a ground... |
commit | commitdiff | tree |
| 2017-05-14 |
Clark Barrett | Merge pull request #154 from 4tXJ7f/fix_test |
commit | commitdiff | tree |
| 2017-05-13 |
Andres Notzli | Fix out-of-bounds access in test |
commit | commitdiff | tree |
| 2017-05-12 |
makaimann | Adding VPATH back in |
commit | commitdiff | tree |
| 2017-05-12 |
makaimann | Conditional coverage build |
commit | commitdiff | tree |
| 2017-05-12 |
Andres Notzli | Make signal handlers safer |
commit | commitdiff | tree |
| 2017-05-10 |
ajreynol | Do not split on cardinality for string equivalence... |
commit | commitdiff | tree |
| 2017-05-09 |
ajreynol | Change str.replace for empty string. |
commit | commitdiff | tree |
| 2017-05-05 |
ajreynol | Do not eliminate extended arithmetic symbols when finit... |
commit | commitdiff | tree |
| 2017-05-05 |
ajreynol | Fix error message. |
commit | commitdiff | tree |
| 2017-05-04 |
guykatzz | skolemization manager may be called also when just... |
commit | commitdiff | tree |
| 2017-05-04 |
guykatzz | fixing bug 790: track dependencies when the unsatCores... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog