cvc5.git
2017-07-15 Andres NoetzliFix warning about unknown escape sequence (#196)
2017-07-15 Andres NoetzliDisable separate gnu++11 tests on Travis (#193)
2017-07-14 Tim KingRemoving BOOST_FOREACH usage.
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11
2017-07-13 Aina Niemetzautoconf: make -std=gnu++11 mandatory
2017-07-12 ajreynolFix unit tests for subranges. Fix destructors for conte...
2017-07-12 ajreynolFix .i files from last commit.
2017-07-12 ajreynolMake type rules more strict for operators whose type...
2017-07-11 Mathias PreinerRemove trailing slashes from directories if specified...
2017-07-10 ajreynolDo not exit when value/model/unsat-core/proof is reques...
2017-07-10 ajreynolAdd nl regression.
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental...
2017-07-10 ajreynolSeparate sygus term utilities to new file, minor cleanu...
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch...
2017-07-10 Mathias PreinerPrerelease versioning for master.
2017-07-10 Mathias PreinerCutting release 1.5.
2017-07-10 Mathias PreinerDisable tarball signing for now.
2017-07-08 Mathias PreinerMerge branch 'master' of github.com:CVC4/CVC4
2017-07-07 Mathias PreinerUpdate copyright year and refer to authors URL.
2017-07-07 Andres NoetzliRemove unused stacking_vector class (#185)
2017-07-07 Andres NoetzliAvoid invoking copy constructor when safe printing...
2017-07-07 Mathias PreinerUpdate copyright headers.
2017-07-07 Mathias PreinerUpdate files that are part of the CVC4 license, exclude...
2017-07-07 Mathias PreinerUse consistent author names for the copyright headers.
2017-07-07 Mathias PreinerUse new copyright header format.
2017-07-07 Mathias PreinerEscape left brace in regex in update-copyright script.
2017-07-06 Mathias PreinerFix passing antlr arguments to configure in contrib...
2017-07-06 Aina Niemetzcut-release: git co -> git checkout
2017-07-06 Aina Niemetzcut-release: option handling, get-antlr
2017-07-05 ajreynolFix for logic info, update regressions. Update casc...
2017-07-05 Mathias Preinerupdated INSTALL for version 1.5
2017-07-05 ajreynolUpdate unit test, news.
2017-07-05 ajreynolNon-linear supported in ALL logics. Minor fixes for...
2017-07-04 Andres NötzliUpdate README for 1.5 release (#182)
2017-06-30 Clark BarrettUpdates to AUTHORS and THANKS for 1.5 (mostly done...
2017-06-30 Clark BarrettUpdated NEWS, README, RELEASE-NOTES.
2017-06-30 Andres NötzliFix use-after-free with unsat cores/proofs (#174)
2017-06-30 ajreynolMinor change to trigger selection, fixes related to...
2017-06-28 ajreynolEnable non-linear solve by default, update regressions.
2017-06-23 Andres NötzliFix assertion failure due to missing clause id (#180)
2017-06-22 Andres NötzliFix unsat cores script for SMT-COMP (#179)
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit
2017-06-21 ajreynolProperly handle subtypes in smt2 printer.
2017-06-21 Andres NötzliAdd run script for unsat cores track at SMT-COMP (...
2017-06-21 Andrew ReynoldsMerge pull request #176 from CVC4/smtcomp2017
2017-06-21 ajreynolUpdate casc and sygus comp scripts.
2017-06-21 Clément Pit... Check for sigaltstack in configure (#172)
2017-06-20 Andres NoetzliFix SIGILL handler
2017-06-19 Andres NoetzliBetter configuration for QF_NRA
2017-06-18 ajreynolFix assertion
2017-06-18 ajreynolMinor change to ensureTheoryAtoms for bug 828.
2017-06-17 Andres NötzliChange language in competition script to smt2.6 (#171)
2017-06-17 Andres NötzliFix stream parsing
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3
2017-06-16 Andres NötzliFix segfault by making unit conflict CDMaybe
2017-06-16 Andres NoetzliParse 'is', 'match' differently for non-DT input
2017-06-16 Clark BarrettFix for bug 639.
2017-06-15 Andres NoetzliMake comp script more robust
2017-06-15 ajreynolFix for issue related to cbqi + E-matching.
2017-06-15 ajreynolAdd regression.
2017-06-15 ajreynolFix relevant domain for datatypes, fixes bug 824.
2017-06-15 ajreynolEnsure uninterpreted constants do not escape datatypes...
2017-06-15 Clark BarrettMerge pull request #167 from CVC4/fix_div
2017-06-14 Andres NoetzliRemove UdivSelf rewrite, add UdivZero rewrite
2017-06-14 Andres NoetzliFix uninitialized value
2017-06-04 Clark BarrettFix compile error
2017-06-03 ajreynolMinor to smt comp script.
2017-06-02 ajreynolFix regression.
2017-06-02 ajreynolIncorporate datatypes into smt comp script, add regression.
2017-06-01 ajreynolMinor optimizations related to cbqi.
2017-05-31 ajreynolFix model construction for BV with cbqi. Minor change...
2017-05-31 guykatzzA more informative error message when a theory is not...
2017-05-31 ajreynolMinor fix to last commit.
2017-05-31 ajreynolChange to-int, div, int-div skolems from CDAttribute...
2017-05-31 ajreynolMinor change to defaults, update smt comp script, minor...
2017-05-30 guykatzzprint only labeled assertions as part of the unsat...
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp
2017-05-28 Andres Noetzli[Competition] Fix ABC, fix CryptoMiniSat req
2017-05-26 Tim KingChecking that equalities belong to the arithmetic theor...
2017-05-26 Andres NoetzliFix use-after-free with ResChains
2017-05-25 ajreynolQuote unsat core names if applicable, fixes bug 816.
2017-05-22 ajreynolInitial draft of 2017 competition scripts.
2017-05-20 ajreynolFix bug 812.
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser
2017-05-16 Clark BarrettMerge pull request #160 from 4tXJ7f/fix_win_build
2017-05-16 Andres NoetzliAvoid tokenizing FP tokens in non-FP input
2017-05-16 Andres NoetzliFix error in Windows build
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print
2017-05-15 Andres NoetzliMinor fix in safe_print function
2017-05-15 ajreynolCleanup handling of division (possible fix for bugs...
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types
2017-05-15 Andres NoetzliFix type checks for relation operators
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter
2017-05-15 Andres NoetzliFix minor bug in sets rewriter
2017-05-15 ajreynolFix bug 806. Minor fixes to remove term formula pass.
2017-05-15 Andrew ReynoldsMerge pull request #157 from 4tXJ7f/fix_iterator
2017-05-15 Andres NoetzliFix condition in upwards closure check for sets
2017-05-15 ajreynolFix issue in ceg_instantiator related to types and...
2017-05-15 ajreynolMake conflict-based instantiation abort if a ground...
next