projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #73 from kbansal/parser-dont-tokenize
[cvc5.git]
/
src
/
theory
/
arrays
/
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
tree
|
commitdiff
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
tree
|
commitdiff
2015-03-25
Kshitij Bansal
change const are triggers from false to true in equalit...
tree
|
commitdiff
2015-01-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-12-27
Dejan Jovanovic
Adding an option to the equality engine constructor...
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Morgan Deters
New, uniform checkTime statistic for all theories ...
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-30
Clark Barrett
Be more lazy about generating array lemmas
tree
|
commitdiff
2014-10-30
Clark Barrett
Added new, much faster, care graph computation for...
tree
|
commitdiff
2014-10-21
Clark Barrett
Fixed bug 590, added regression test
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Clark Barrett
Added internal support for constant arrays.
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-10-02
Clark Barrett
Added option for developer use only
tree
|
commitdiff
2014-10-02
Clark Barrett
More model-based combination for arrays
tree
|
commitdiff
2014-10-02
Clark Barrett
Better getEqualityStatus for arrays, smarter combinatio...
tree
|
commitdiff
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-27
Clark Barrett
Fix for bug543
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-21
Morgan Deters
Slightly-improved kinds documentation for builtin,...
tree
|
commitdiff
2014-05-26
Clark Barrett
Fixing Tim's subtype/solving bug for arrays
tree
|
commitdiff
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge pull request #25 from kbansal/sets
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-04-17
Kshitij Bansal
simplify mkSkolem naming system: don't use $$
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
tree
|
commitdiff
2014-03-17
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-03-14
Andrew Reynolds
Add ability to provide theory-specific proof rules...
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
tree
|
commitdiff
2014-02-21
Kshitij Bansal
add new theory (sets)
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-22
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-01-22
Morgan Deters
Delay QuantifiersEngine and UF strong solver initializa...
tree
|
commitdiff
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-27
Morgan Deters
General pre-release cleanup commit
tree
|
commitdiff
2013-11-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-25
Tim King
Merge remote-tracking branch 'CVC4root/master'
tree
|
commitdiff
2013-11-25
Clark Barrett
Array collectModelInfo fix for Andy
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-08
Morgan Deters
Fixes for Boolean terms in arrays (including fix for...
tree
|
commitdiff
2013-06-07
Morgan Deters
Fix for bug 517.
tree
|
commitdiff
2013-06-04
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-03
Morgan Deters
Merge tag 'casc24'
tree
|
commitdiff
2013-05-29
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-23
Andrew Reynolds
Refactoring to prepare for MBQI with integer quantifica...
tree
|
commitdiff
2013-05-08
Clark Barrett
Fixed assertion bug
tree
|
commitdiff
2013-05-07
Morgan Deters
fix for nonterminating model-based array loop
tree
|
commitdiff
2013-05-06
Clark Barrett
Some bug fixes for mb arrays
tree
|
commitdiff
2013-05-03
Tim King
Merging branch 'soiquickexplain'.
tree
|
commitdiff
2013-05-03
Tim King
Merge branch 'fcexplanations'
tree
|
commitdiff
2013-05-02
Dejan Jovanović
* splitLemma to request atoms
tree
|
commitdiff
2013-04-18
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-04-11
Clark Barrett
Improved speed of no redundant lemma assertion by using...
tree
|
commitdiff
2013-04-11
Clark Barrett
Added check for infinite lemma loop
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-04-02
Clark Barrett
Made eager lemmas an option, enabled for QF_AX
tree
|
commitdiff
2013-03-31
Clark Barrett
Disabling eager array index splitting for QF_AUFLIA
tree
|
commitdiff
2013-03-29
Dejan Jovanović
Merge branch 'master' of github.com:CVC4/CVC4
tree
|
commitdiff
2013-03-28
Morgan Deters
fix memory corruption in arrays destructor
tree
|
commitdiff
2013-03-28
Clark Barrett
Fixed a warning, made eager-index default to true ...
tree
|
commitdiff
2013-03-28
Clark Barrett
Fixed bug in arrays
tree
|
commitdiff
2013-03-28
Clark Barrett
Updates to model-based array solver
tree
|
commitdiff
2013-03-28
Clark Barrett
New model-based array procedure
tree
|
commitdiff
next