projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Decision strategy: incorporate arrays. (#2495)
[cvc5.git]
/
src
/
theory
/
arrays
/
kinds
2018-09-19
Andrew Reynolds
Decision strategy: incorporate arrays. (#2495)
blob
|
commitdiff
|
raw
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
guykatzz
Merge pull request #82 from CVC4/master_for_merge
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Guy
squash-merge from proof branch
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-21
Morgan Deters
Slightly-improved kinds documentation for builtin,...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-01
Andrew Reynolds
drastic simplification of quantifiers code regarding...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-30
Tim King
Changing the documentation of ARR_TABLE_FUN to say...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-28
Morgan Deters
Improved compatibility layer, now supports quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-16
Morgan Deters
Replace propagateAsDecision() with Theory::getNextDecis...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-07
Morgan Deters
Some items from the CVC4 public interface review:
blob
|
commitdiff
|
raw
|
diff to current
2012-08-03
Morgan Deters
the array-store "construle" for isConst
blob
|
commitdiff
|
raw
|
diff to current
2012-08-03
Morgan Deters
ArrayStoreAll infrastructure
blob
|
commitdiff
|
raw
|
diff to current
2012-07-14
Morgan Deters
Type enumerator infrastructure and uninterpreted consta...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-11
Morgan Deters
Merge from quantifiers2-trunkmerge branch.
blob
|
commitdiff
|
raw
|
diff to current
2012-04-11
Morgan Deters
merge from arrays-clark branch
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
blob
|
commitdiff
|
raw
|
diff to current
2011-05-23
Morgan Deters
Merge from arrays2 branch.
blob
|
commitdiff
|
raw
|
diff to current
2011-04-25
Morgan Deters
Monday tasks:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-25
Morgan Deters
Weekend work. The main points:
blob
|
commitdiff
|
raw
|
diff to current
2011-01-05
Dejan Jovanović
Commit for the theory engine and rewriter changes....
blob
|
commitdiff
|
raw
|
diff to current
2010-10-05
Morgan Deters
parser and core support for SMT-LIBv2 commands get...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-30
Morgan Deters
* theory "tree" rewriting implemented and works
blob
|
commitdiff
|
raw
|
diff to current
2010-06-14
Christopher L. Conway
Adding array select/store to SMT v1 and v2 parsers
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Morgan Deters
Highlights of this commit are:
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
Morgan Deters
new domain-specific language for kinds files: permits...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-26
Morgan Deters
* test/unit/context/context_black.h: Test CDList<>...
blob
|
commitdiff
|
raw
|
diff to current