projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch '1.0.x'
[cvc5.git]
/
src
/
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x' of https://github.com/CVC4/CVC4...
tree
|
commitdiff
2013-02-26
lianah
fix for bv crash in incremental mode; this is a tempora...
tree
|
commitdiff
2013-02-24
Andrew Reynolds
added option --model-u-dt-enum for outputting uninterpr...
tree
|
commitdiff
2013-02-20
Morgan Deters
Single -q quiets messages/warnings. Double -qq silence...
tree
|
commitdiff
2013-02-20
Morgan Deters
Some exception specification fixes in SmtEngine/Command...
tree
|
commitdiff
2013-02-18
Morgan Deters
Fix for gitinfo (resolves bug 399).
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
gitinfo modifications fix
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge pull request #6 from kbansal/decNewoptions
tree
|
commitdiff
2013-02-17
Kshitij Bansal
decision: jh: more refactoring (.h->.cpp, xor/iff)
tree
|
commitdiff
2013-02-17
Kshitij Bansal
decision/ : jh: refactor embedded ITE, other minor
tree
|
commitdiff
2013-02-17
Kshitij Bansal
decision/: justification: refactor ITE out
tree
|
commitdiff
2013-02-17
Kshitij Bansal
refactoring justification_heuristic code
tree
|
commitdiff
2013-02-16
Kshitij Bansal
rm decision jh GiveUp related code
tree
|
commitdiff
2013-02-16
Morgan Deters
Some cleanup and copyright updating
tree
|
commitdiff
2013-02-16
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-16
Morgan Deters
Fix version identification for new git repository.
tree
|
commitdiff
2013-02-16
Morgan Deters
Fix typo in error message
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
prvs commit: lower warning to notice
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge pull request #5 from kbansal/1.0.x
tree
|
commitdiff
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
tree
|
commitdiff
2013-02-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Morgan Deters
Fix ECHO command in CVC language parser to not output...
tree
|
commitdiff
2013-02-15
Tim King
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Tianyi Liang
repairs a bug in rewriterule engine: constructor cannot...
tree
|
commitdiff
2013-02-14
Dejan Jovanović
Merge pull request #4 from tiliang/master
tree
|
commitdiff
2013-02-14
Tim King
Removing BVDebug and replacing with Debug.
tree
|
commitdiff
2013-02-14
Tianyi Liang
repairs a bug in rewriterule engine: constructor cannot...
tree
|
commitdiff
2013-02-13
Morgan Deters
Fix a preprocessing performance issue.
tree
|
commitdiff
2013-02-08
Morgan Deters
Fix user-values in SMT-LIB v1.2
tree
|
commitdiff
2013-02-08
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-07
Morgan Deters
Only put quantifier assertions in model equality engine...
tree
|
commitdiff
2013-02-07
Morgan Deters
Significant work on bug #491 (not yet closed).
tree
|
commitdiff
2013-02-07
Morgan Deters
More complete fix for bug 484 (includes fixes for recor...
tree
|
commitdiff
2013-02-07
Morgan Deters
Fix error in tuple type-checking.
tree
|
commitdiff
2013-02-07
Morgan Deters
Make --default-dag-thresh apply to stringstreams
tree
|
commitdiff
2013-02-07
Morgan Deters
Do not install the "private-library" header
tree
|
commitdiff
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptio...
tree
|
commitdiff
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptio...
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
Fix a compiler warning in NodeBuilder
tree
|
commitdiff
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
tree
|
commitdiff
2013-02-05
Kshitij Bansal
Merge pull request #3 from kbansal/1.0.x
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
remove now-unnecessary wrappers from Type interface
tree
|
commitdiff
2013-02-05
Morgan Deters
Fix to miplib trick to make it less "cautious" and...
tree
|
commitdiff
2013-02-05
Kshitij Bansal
decision/ : save d_prvsIndex in JH
tree
|
commitdiff
2013-02-05
Morgan Deters
dos2unix conversion for a number of files; this avoids...
tree
|
commitdiff
2013-02-05
Andrew Reynolds
More improvements for E-matching
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Fix NodeBuilder bug which could attempt to allocate...
tree
|
commitdiff
2013-02-04
Morgan Deters
driver::totalTime statistic is now reported correctly...
tree
|
commitdiff
2013-02-04
Morgan Deters
fixed files with DOS newlines; fixed contrib/ scripts...
tree
|
commitdiff
2013-02-04
Morgan Deters
Some fixes for the miplib preprocessing pass.
tree
|
commitdiff
2013-02-04
Morgan Deters
Printing commands as they're executed now requires...
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Model no longer adds subterms of quantifiers to equalit...
tree
|
commitdiff
2013-02-04
Andrew Reynolds
Model no longer adds subterms of quantifiers to equalit...
tree
|
commitdiff
2013-02-03
Morgan Deters
Some cleanup of miplib regressions and options
tree
|
commitdiff
2013-02-03
Morgan Deters
Merge from mdeters/miplib branch (commit 'ce7c485182902...
tree
|
commitdiff
2013-02-03
Morgan Deters
new option for doing top-level miplib substitutions...
tree
|
commitdiff
2013-02-03
Morgan Deters
extended miplib trick to 6 vars, should work on pp...
tree
|
commitdiff
2013-02-03
Morgan Deters
new miplib pass, works for 1 or 2 vars
tree
|
commitdiff
2013-02-03
Morgan Deters
Remove old miplibtrick from arith static learner
tree
|
commitdiff
2013-02-03
Morgan Deters
correct output language bug with --dump-to
tree
|
commitdiff
2013-02-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-01
Morgan Deters
Fix a tuple attribute bug that was causing model-genera...
tree
|
commitdiff
2013-01-31
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-31
Morgan Deters
Fix a small problem in clang builds due to namespaces...
tree
|
commitdiff
2013-01-31
Morgan Deters
Fix a small problem in clang builds due to namespaces...
tree
|
commitdiff
2013-01-31
Tim King
Adding a heuristic to more eagerly split bounded intege...
tree
|
commitdiff
2013-01-30
Morgan Deters
correct output language bug with --dump-to
tree
|
commitdiff
2013-01-29
Andrew Reynolds
fix for finite model finding caused by new collectModel...
tree
|
commitdiff
2013-01-28
Morgan Deters
Fixes for Win32 (closes bugs 488 and 489)
tree
|
commitdiff
2013-01-28
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-28
Andrew Reynolds
made QuantifiersEngine::d_inst_match_trie and Quantifie...
tree
|
commitdiff
2013-01-28
Morgan Deters
some fixes for win32, including ability to "make check...
tree
|
commitdiff
2013-01-28
Andrew Reynolds
made QuantifiersEngine::d_inst_match_trie and Quantifie...
tree
|
commitdiff
2013-01-27
Andrew Reynolds
some fixes for Intel benchmarks regarding quantifiers...
tree
|
commitdiff
2013-01-27
Andrew Reynolds
some fixes for Intel benchmarks regarding quantifiers...
tree
|
commitdiff
2013-01-27
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-27
Morgan Deters
another fix for quantifier models (related to bug 486)
tree
|
commitdiff
2013-01-25
Morgan Deters
fix --check-model --finite-model-find when used togethe...
tree
|
commitdiff
2013-01-25
Morgan Deters
Fix errors and reduce warnings on clang (merge from...
tree
|
commitdiff
2013-01-25
Morgan Deters
fix --check-model --finite-model-find when used togethe...
tree
|
commitdiff
2013-01-24
Morgan Deters
Add win32 support (merge from mdeters/win32, with some...
tree
|
commitdiff
2013-01-23
Tim King
Adding miplibtrick option.
tree
|
commitdiff
2013-01-23
Tim King
Adding substitution size cap.
tree
|
commitdiff
2013-01-23
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-23
Morgan Deters
fix to workaround ANTLR 3.2 issue with initialization
tree
|
commitdiff
2013-01-23
Morgan Deters
partially address bug 486: allow some model inspection...
tree
|
commitdiff
2013-01-23
Morgan Deters
partially address bug 486: allow some model inspection...
tree
|
commitdiff
2013-01-23
Morgan Deters
add user patterns to the Smt1 parser; update NEWS file
tree
|
commitdiff
2013-01-22
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-22
Morgan Deters
fix for theory preprocessing cache on clang, perhaps...
tree
|
commitdiff
2013-01-22
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
next