projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2013-03-21
Dejan Jovanović
Merge branch 'master' of github.com:CVC4/CVC4
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Some model and printing fixes for defined functions...
commit
|
commitdiff
|
tree
2013-03-21
Dejan Jovanović
more equality constant evaluation
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Fix for SmtEngine::expandDefinitions()---improper TypeC...
commit
|
commitdiff
|
tree
2013-03-21
Dejan Jovanović
fixing constant evaluation bugs
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Better reporting of detached git state in --version...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Fix to bug 497: make justification heuristic's ITE...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Remove unintentionally-committed-to-master README from...
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Interactive mode support for multiline input
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Properly |quote| symbols in SMT-LIBv2 output.
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Some statistics for narrowing down incrementality issue...
commit
|
commitdiff
|
tree
2013-03-20
Dejan Jovanović
Adding evaluation of constant terms to the equality...
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Minor cleanup of sources
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Fixes for miplib-trick application (and a new testcase)
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Remove PropositionalQuery class and all CUDD-related...
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Minor fixes to build system
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
Boolean terms rewriting for quantified variables of...
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
fix up build system for swig (d242c30 introduced a...
commit
|
commitdiff
|
tree
2013-03-15
Andrew Reynolds
changed default option for quantifier instantiation
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
Fix warning (line annotation)
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
commit
|
commitdiff
|
tree
2013-03-14
Clark Barrett
Added a rewrite for iff:
commit
|
commitdiff
|
tree
2013-03-11
Andrew Reynolds
ite removal option for quantifiers --ite-remove-quant...
commit
|
commitdiff
|
tree
2013-03-09
Morgan Deters
Disallow overflow in bitvector literals (parser only)
commit
|
commitdiff
|
tree
2013-03-06
Clark Barrett
Best heuristics for handling decision requests from...
commit
|
commitdiff
|
tree
2013-03-06
Andrew Reynolds
fixed two bugs for the new E-matching implementation...
commit
|
commitdiff
|
tree
2013-03-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-05
Morgan Deters
Bugfix for SmtEngine: proper unsubscribing for NodeMana...
commit
|
commitdiff
|
tree
2013-03-01
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-26
Morgan Deters
Bug fix for rep-set.
commit
|
commitdiff
|
tree
2013-02-26
Morgan Deters
Fix for quantifiers containing Boolean terms.
commit
|
commitdiff
|
tree
2013-02-26
lianah
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-26
lianah
Merge branch '1.0.x' of https://github.com/CVC4/CVC4...
commit
|
commitdiff
|
tree
2013-02-26
lianah
fix for bv crash in incremental mode; this is a tempora...
commit
|
commitdiff
|
tree
2013-02-24
Andrew Reynolds
added option --model-u-dt-enum for outputting uninterpr...
commit
|
commitdiff
|
tree
2013-02-20
Morgan Deters
Single -q quiets messages/warnings. Double -qq silence...
commit
|
commitdiff
|
tree
2013-02-20
Morgan Deters
Some exception specification fixes in SmtEngine/Command...
commit
|
commitdiff
|
tree
2013-02-18
Morgan Deters
Fix for gitinfo (resolves bug 399).
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
gitinfo modifications fix
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
Merge pull request #6 from kbansal/decNewoptions
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
decision: jh: more refactoring (.h->.cpp, xor/iff)
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
decision/ : jh: refactor embedded ITE, other minor
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
decision/: justification: refactor ITE out
commit
|
commitdiff
|
tree
2013-02-17
Kshitij Bansal
refactoring justification_heuristic code
commit
|
commitdiff
|
tree
2013-02-16
Kshitij Bansal
rm decision jh GiveUp related code
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Some cleanup and copyright updating
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Fix version identification for new git repository.
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Fix typo in error message
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
prvs commit: lower warning to notice
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
Merge pull request #5 from kbansal/1.0.x
commit
|
commitdiff
|
tree
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Fix builds/ links to survive configuring twice with...
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Fix ECHO command in CVC language parser to not output...
commit
|
commitdiff
|
tree
2013-02-15
Tim King
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-15
Tianyi Liang
repairs a bug in rewriterule engine: constructor cannot...
commit
|
commitdiff
|
tree
2013-02-14
Dejan Jovanović
Merge pull request #4 from tiliang/master
commit
|
commitdiff
|
tree
2013-02-14
Tim King
Removing BVDebug and replacing with Debug.
commit
|
commitdiff
|
tree
2013-02-14
Tianyi Liang
repairs a bug in rewriterule engine: constructor cannot...
commit
|
commitdiff
|
tree
2013-02-13
Morgan Deters
Fix a preprocessing performance issue.
commit
|
commitdiff
|
tree
2013-02-08
Morgan Deters
Fix user-values in SMT-LIB v1.2
commit
|
commitdiff
|
tree
2013-02-08
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Only put quantifier assertions in model equality engine...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Significant work on bug #491 (not yet closed).
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
More complete fix for bug 484 (includes fixes for recor...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Fix error in tuple type-checking.
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Make --default-dag-thresh apply to stringstreams
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Do not install the "private-library" header
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptio...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptio...
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Fix a compiler warning in NodeBuilder
commit
|
commitdiff
|
tree
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
commit
|
commitdiff
|
tree
2013-02-05
Kshitij Bansal
Merge pull request #3 from kbansal/1.0.x
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
remove now-unnecessary wrappers from Type interface
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Fix to miplib trick to make it less "cautious" and...
commit
|
commitdiff
|
tree
2013-02-05
Kshitij Bansal
decision/ : save d_prvsIndex in JH
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
dos2unix conversion for a number of files; this avoids...
commit
|
commitdiff
|
tree
2013-02-05
Andrew Reynolds
More improvements for E-matching
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Fix NodeBuilder bug which could attempt to allocate...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
driver::totalTime statistic is now reported correctly...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
fixed files with DOS newlines; fixed contrib/ scripts...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Some fixes for the miplib preprocessing pass.
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Printing commands as they're executed now requires...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Model no longer adds subterms of quantifiers to equalit...
commit
|
commitdiff
|
tree
2013-02-04
Andrew Reynolds
Model no longer adds subterms of quantifiers to equalit...
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
Some cleanup of miplib regressions and options
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
Merge from mdeters/miplib branch (commit 'ce7c485182902...
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
new option for doing top-level miplib substitutions...
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
extended miplib trick to 6 vars, should work on pp...
commit
|
commitdiff
|
tree
next