cvc5.git
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...
2017-05-14 Clark BarrettMerge pull request #154 from 4tXJ7f/fix_test
2017-05-13 Andres NotzliFix out-of-bounds access in test
2017-05-12 makaimannAdding VPATH back in
2017-05-12 makaimannConditional coverage build
2017-05-12 Andres NotzliMake signal handlers safer
2017-05-10 ajreynolDo not split on cardinality for string equivalence...
2017-05-09 ajreynolChange str.replace for empty string.
2017-05-05 ajreynolDo not eliminate extended arithmetic symbols when finit...
2017-05-05 ajreynolFix error message.
2017-05-04 guykatzzskolemization manager may be called also when just...
2017-05-04 guykatzzfixing bug 790: track dependencies when the unsatCores...
2017-04-28 Clark BarrettPartial fix for bug 717.
2017-04-28 ajreynolMinor fixes
2017-04-28 ajreynolFix bug for real division.
2017-04-28 ajreynolDo not eliminate non-standard arithmetic operators...
2017-04-24 ajreynolFixes and simplifications for fmf mbqi.
2017-04-24 ajreynolFix parsing selectors for nullary constructors in smtli...
next