cvc5.git
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...
2017-04-24 Andrew ReynoldsMerge pull request #152 from timothy-king/delta-rationa...
2017-04-23 Tim KingChanging spaces to tabs in Makefile.
2017-04-22 Tim KingUpdating TheoryArithPrivate::getDeltaValue() to eagerly...
2017-04-22 Clark BarrettMerge pull request #151 from 4tXJ7f/fix_debug
2017-04-22 Clark BarrettDisabled bug639.smt2 which still fails.
2017-04-21 Clark BarrettAdd test cases for bugs 639 and 681.
2017-04-21 Clark BarrettFix for bug 681 (now gives reasonable error message...
2017-04-21 Andres NoetzliMove assertion out of loop for better performance
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2
2017-04-21 ajreynolFix new relations regressions to use sets-ext.
2017-04-21 ajreynolHandle subtypes in sets. Bug fixes for tuples with...
2017-04-21 Andres NotzliAdd check for C++ exceptions to config script
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master
2017-04-20 ajreynolMinor fixes.
2017-04-20 Paul MengSupport for relational operators identity and join...
2017-04-19 ajreynolFix mktheoryrewriter and mktheorytraits for nullaryoper...
2017-04-19 ajreynolFixes for handling set universe: restrict upwards rule...
2017-04-19 Clark BarrettMerge pull request #147 from makaimann/coverage_fix
2017-04-18 Clark BarrettFix for bug 639.
2017-04-18 makaimannCoverage fix
2017-04-14 ajreynolActively split for upwards closusure intersection....
2017-04-14 ajreynolFix bug related to portfolio with nullary operators.
2017-04-14 ajreynolFix nullary operator printers, minor.
2017-04-14 ajreynolFix for fmf-fun when the option is set by user command.
2017-04-13 Clark BarrettFix for some compilers
2017-04-12 ajreynolAdd nullary operator metakind.
2017-04-11 ajreynolBug fix in conjecture generation for --quant-ind.
2017-04-07 ajreynolChange option names for nl.
2017-04-06 Clark BarrettMerge pull request #143 from FabianWolff/master
2017-04-05 ajreynolFix bug 698.
2017-04-05 ajreynolFixes for nlAlgSolveSubs.
2017-04-05 Andrew ReynoldsMerge pull request #145 from 4tXJ7f/fix_lfsc_args
2017-04-05 ajreynolCaching for fun def process, add regression.
2017-04-05 Andres Notzli[LFSC] Fix segfault
2017-04-05 ajreynolRemove extraneous portion of an nl regression.
2017-04-05 ajreynolAdd non-linear regressions, disable nlAlgSubs, do not...
2017-04-04 Fabian WolffFix several spelling errors
2017-04-04 ajreynolEnable multi-trigger-linear by default, add option.
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not...
2017-04-04 ajreynolDo not solve for 0-ary non-constant symbols (for which...
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge
2017-04-03 Tim KingAdding a model based axiom instantiation scheme for...
2017-03-31 Andres NotzliRemove decl. of getStatisticsRegistry(SmtEngine*)
2017-03-31 ajreynolAdd option multi-trigger-linear, minor optimization...
2017-03-30 Clark BarrettMerge pull request #139 from 4tXJ7f/remove_throw
2017-03-30 Andres Notzli[Coverity] Remove throw qualifiers in src/smt
2017-03-30 ajreynolMinor fixes for trigger selection max.
2017-03-29 ajreynolAdd quantifiers options related to model and master...
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master
2017-03-29 Paul MengRefactor the standard effort of relational solver
2017-03-29 ajreynolFix bug 787.
2017-03-29 Clark BarrettFix for bug 733
2017-03-28 ajreynolMinor refactoring sygus.
2017-03-28 ajreynolMore work on sygus. Add regress4 to Makefile.
2017-03-28 Tim KingFixing a bug for checking whether a node was visited.
2017-03-28 Tim KingMinor cleanups to ExtTheory.
2017-03-28 Tim KingRemoving the friend class modifier from ExtTheory to...
2017-03-27 Clark BarrettMerge pull request #137 from 4tXJ7f/throw_quals
2017-03-27 Tim KingMaking the ExtTheory object a private member of Theory.
2017-03-27 Tim KingMaking ppNotifyAssertions take a const vector.
2017-03-27 Tim KingMoving the CareGraph into its own file.
2017-03-27 Tim KingMoving the theory::Assertion struct into its own file.
2017-03-27 Andres NotzliRemove throw qualifiers in type enumerators
2017-03-27 Tim KingAlphabetizing libcvc4_la_SOURCES.
2017-03-24 ajreynolAdd some regressions. Minor.
2017-03-24 ajreynolRefactor model building for quantifiers to be a single...
2017-03-23 Clark BarrettFixing warning message.
2017-03-23 guykatzzsupport incremental unsat cores
2017-03-22 ajreynolFix more cases of rewritten explanations in strings...
2017-03-22 ajreynolMinor fix for bounded integers.
2017-03-22 ajreynolWork on new approach for sygus involving conditional...
2017-03-21 ajreynolImprove computeCareGraph functions to check shared...
2017-03-20 Andrew ReynoldsMerge pull request #135 from PaulMeng/master
2017-03-20 Paul Mengfixed cvc4 parser for set complement
2017-03-18 Clark BarrettFix for bug 707.
2017-03-18 Clark BarrettFix to help with bug 717
2017-03-17 guykatzzbetter support for proof production when encountering...
2017-03-16 Tim KingFixes bug 781. Copy constructor for Expr needed to...
2017-03-16 ajreynolMore fixes, features to examples.
2017-03-16 ajreynolMinor fixes, always expand applications of lambdas...
2017-03-16 ajreynolSupport for SMT LIB 2.6 syntax declare-datatype and...
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi...
2017-03-15 ajreynolFix regress1 Makefile for rewriterules, fixes bug 783.
2017-03-15 Clark BarrettMerge pull request #134 from 4tXJ7f/fix_host
2017-03-15 ajreynolAllow 0 argument recursive functions. Fixes bug 782.
2017-03-15 Andres NotzliFix win-build script to use MinGW-w64 by default
2017-03-14 guykatzzMerge pull request #133 from 4tXJ7f/fix_uninitialized
2017-03-14 Andres Notzlifix uninitialized variable
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64
2017-03-10 ajreynolMinor fix for cbqi-all.
2017-03-09 guykatzzbug fix
2017-03-09 guykatzzbetter proof support for bools and formulas
2017-03-08 Andres NotzliFix MinGW-w64 build
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name.
next