projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2017-05-15
Andres Noetzli
Minor fix in safe_print function
commit
|
commitdiff
|
tree
2017-05-12
Andres Notzli
Make signal handlers safer
commit
|
commitdiff
|
tree
2017-05-10
ajreynol
Do not split on cardinality for string equivalence...
commit
|
commitdiff
|
tree
2017-05-09
ajreynol
Change str.replace for empty string.
commit
|
commitdiff
|
tree
2017-05-05
ajreynol
Do not eliminate extended arithmetic symbols when finit...
commit
|
commitdiff
|
tree
2017-05-05
ajreynol
Fix error message.
commit
|
commitdiff
|
tree
2017-05-04
guykatzz
skolemization manager may be called also when just...
commit
|
commitdiff
|
tree
2017-05-04
guykatzz
fixing bug 790: track dependencies when the unsatCores...
commit
|
commitdiff
|
tree
2017-04-28
Clark Barrett
Partial fix for bug 717.
commit
|
commitdiff
|
tree
2017-04-28
ajreynol
Minor fixes
commit
|
commitdiff
|
tree
2017-04-28
ajreynol
Fix bug for real division.
commit
|
commitdiff
|
tree
2017-04-28
ajreynol
Do not eliminate non-standard arithmetic operators...
commit
|
commitdiff
|
tree
2017-04-24
ajreynol
Fixes and simplifications for fmf mbqi.
commit
|
commitdiff
|
tree
2017-04-24
ajreynol
Fix parsing selectors for nullary constructors in smtli...
commit
|
commitdiff
|
tree
2017-04-24
Andrew Reynolds
Merge pull request #152 from timothy-king/delta-rationa...
commit
|
commitdiff
|
tree
2017-04-23
Tim King
Changing spaces to tabs in Makefile.
commit
|
commitdiff
|
tree
2017-04-22
Tim King
Updating TheoryArithPrivate::getDeltaValue() to eagerly...
commit
|
commitdiff
|
tree
2017-04-22
Clark Barrett
Merge pull request #151 from 4tXJ7f/fix_debug
commit
|
commitdiff
|
tree
2017-04-22
Clark Barrett
Disabled bug639.smt2 which still fails.
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Add test cases for bugs 639 and 681.
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Fix for bug 681 (now gives reasonable error message...
commit
|
commitdiff
|
tree
2017-04-21
Andres Noetzli
Move assertion out of loop for better performance
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
commit
|
commitdiff
|
tree
2017-04-21
ajreynol
Fix new relations regressions to use sets-ext.
commit
|
commitdiff
|
tree
2017-04-21
ajreynol
Handle subtypes in sets. Bug fixes for tuples with...
commit
|
commitdiff
|
tree
2017-04-21
Andres Notzli
Add check for C++ exceptions to config script
commit
|
commitdiff
|
tree
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-04-20
ajreynol
Minor fixes.
commit
|
commitdiff
|
tree
2017-04-20
Paul Meng
Support for relational operators identity and join...
commit
|
commitdiff
|
tree
2017-04-19
ajreynol
Fix mktheoryrewriter and mktheorytraits for nullaryoper...
commit
|
commitdiff
|
tree
2017-04-19
ajreynol
Fixes for handling set universe: restrict upwards rule...
commit
|
commitdiff
|
tree
2017-04-19
Clark Barrett
Merge pull request #147 from makaimann/coverage_fix
commit
|
commitdiff
|
tree
2017-04-18
Clark Barrett
Fix for bug 639.
commit
|
commitdiff
|
tree
2017-04-18
makaimann
Coverage fix
commit
|
commitdiff
|
tree
2017-04-14
ajreynol
Actively split for upwards closusure intersection....
commit
|
commitdiff
|
tree
2017-04-14
ajreynol
Fix bug related to portfolio with nullary operators.
commit
|
commitdiff
|
tree
2017-04-14
ajreynol
Fix nullary operator printers, minor.
commit
|
commitdiff
|
tree
2017-04-14
ajreynol
Fix for fmf-fun when the option is set by user command.
commit
|
commitdiff
|
tree
2017-04-13
Clark Barrett
Fix for some compilers
commit
|
commitdiff
|
tree
2017-04-12
ajreynol
Add nullary operator metakind.
commit
|
commitdiff
|
tree
2017-04-11
ajreynol
Bug fix in conjecture generation for --quant-ind.
commit
|
commitdiff
|
tree
2017-04-07
ajreynol
Change option names for nl.
commit
|
commitdiff
|
tree
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
commit
|
commitdiff
|
tree
2017-04-05
ajreynol
Fix bug 698.
commit
|
commitdiff
|
tree
2017-04-05
ajreynol
Fixes for nlAlgSolveSubs.
commit
|
commitdiff
|
tree
2017-04-05
Andrew Reynolds
Merge pull request #145 from 4tXJ7f/fix_lfsc_args
commit
|
commitdiff
|
tree
2017-04-05
ajreynol
Caching for fun def process, add regression.
commit
|
commitdiff
|
tree
2017-04-05
Andres Notzli
[LFSC] Fix segfault
commit
|
commitdiff
|
tree
2017-04-05
ajreynol
Remove extraneous portion of an nl regression.
commit
|
commitdiff
|
tree
2017-04-05
ajreynol
Add non-linear regressions, disable nlAlgSubs, do not...
commit
|
commitdiff
|
tree
2017-04-04
Fabian Wolff
Fix several spelling errors
commit
|
commitdiff
|
tree
2017-04-04
ajreynol
Enable multi-trigger-linear by default, add option.
commit
|
commitdiff
|
tree
2017-04-04
ajreynol
Simplify Theory::collectModelInfo interface to not...
commit
|
commitdiff
|
tree
2017-04-04
ajreynol
Do not solve for 0-ary non-constant symbols (for which...
commit
|
commitdiff
|
tree
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
commit
|
commitdiff
|
tree
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
commit
|
commitdiff
|
tree
2017-04-03
Tim King
Adding a model based axiom instantiation scheme for...
commit
|
commitdiff
|
tree
2017-03-31
Andres Notzli
Remove decl. of getStatisticsRegistry(SmtEngine*)
commit
|
commitdiff
|
tree
2017-03-31
ajreynol
Add option multi-trigger-linear, minor optimization...
commit
|
commitdiff
|
tree
2017-03-30
Clark Barrett
Merge 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
ajreynol
Minor fixes for trigger selection max.
commit
|
commitdiff
|
tree
2017-03-29
ajreynol
Add quantifiers options related to model and master...
commit
|
commitdiff
|
tree
2017-03-29
PaulMeng
Merge pull request #138 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-03-29
Paul Meng
Refactor the standard effort of relational solver
commit
|
commitdiff
|
tree
2017-03-29
ajreynol
Fix bug 787.
commit
|
commitdiff
|
tree
2017-03-29
Clark Barrett
Fix for bug 733
commit
|
commitdiff
|
tree
2017-03-28
ajreynol
Minor refactoring sygus.
commit
|
commitdiff
|
tree
2017-03-28
ajreynol
More work on sygus. Add regress4 to Makefile.
commit
|
commitdiff
|
tree
2017-03-28
Tim King
Fixing a bug for checking whether a node was visited.
commit
|
commitdiff
|
tree
2017-03-28
Tim King
Minor cleanups to ExtTheory.
commit
|
commitdiff
|
tree
2017-03-28
Tim King
Removing the friend class modifier from ExtTheory to...
commit
|
commitdiff
|
tree
2017-03-27
Clark Barrett
Merge pull request #137 from 4tXJ7f/throw_quals
commit
|
commitdiff
|
tree
2017-03-27
Tim King
Making the ExtTheory object a private member of Theory.
commit
|
commitdiff
|
tree
2017-03-27
Tim King
Making ppNotifyAssertions take a const vector.
commit
|
commitdiff
|
tree
2017-03-27
Tim King
Moving the CareGraph into its own file.
commit
|
commitdiff
|
tree
2017-03-27
Tim King
Moving the theory::Assertion struct into its own file.
commit
|
commitdiff
|
tree
2017-03-27
Andres Notzli
Remove throw qualifiers in type enumerators
commit
|
commitdiff
|
tree
2017-03-27
Tim King
Alphabetizing libcvc4_la_SOURCES.
commit
|
commitdiff
|
tree
2017-03-24
ajreynol
Add some regressions. Minor.
commit
|
commitdiff
|
tree
2017-03-24
ajreynol
Refactor model building for quantifiers to be a single...
commit
|
commitdiff
|
tree
2017-03-23
Clark Barrett
Fixing warning message.
commit
|
commitdiff
|
tree
2017-03-23
guykatzz
support incremental unsat cores
commit
|
commitdiff
|
tree
2017-03-22
ajreynol
Fix more cases of rewritten explanations in strings...
commit
|
commitdiff
|
tree
2017-03-22
ajreynol
Minor fix for bounded integers.
commit
|
commitdiff
|
tree
2017-03-22
ajreynol
Work on new approach for sygus involving conditional...
commit
|
commitdiff
|
tree
2017-03-21
ajreynol
Improve computeCareGraph functions to check shared...
commit
|
commitdiff
|
tree
2017-03-20
Andrew Reynolds
Merge pull request #135 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-03-20
Paul Meng
fixed cvc4 parser for set complement
commit
|
commitdiff
|
tree
2017-03-18
Clark Barrett
Fix for bug 707.
commit
|
commitdiff
|
tree
2017-03-18
Clark Barrett
Fix to help with bug 717
commit
|
commitdiff
|
tree
2017-03-17
guykatzz
better support for proof production when encountering...
commit
|
commitdiff
|
tree
2017-03-16
Tim King
Fixes bug 781. Copy constructor for Expr needed to...
commit
|
commitdiff
|
tree
2017-03-16
ajreynol
More fixes, features to examples.
commit
|
commitdiff
|
tree
2017-03-16
ajreynol
Minor fixes, always expand applications of lambdas...
commit
|
commitdiff
|
tree
2017-03-16
ajreynol
Support for SMT LIB 2.6 syntax declare-datatype and...
commit
|
commitdiff
|
tree
2017-03-16
ajreynol
Parsing support for SMT LIB 2.6. Minor fixes for printi...
commit
|
commitdiff
|
tree
2017-03-15
ajreynol
Fix regress1 Makefile for rewriterules, fixes bug 783.
commit
|
commitdiff
|
tree
2017-03-15
Clark Barrett
Merge pull request #134 from 4tXJ7f/fix_host
commit
|
commitdiff
|
tree
2017-03-15
ajreynol
Allow 0 argument recursive functions. Fixes bug 782.
commit
|
commitdiff
|
tree
next