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