cvc5.git
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...
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.
next