projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Bug fixes and improvements for mbqi with theory symbols, TheoryModel fullModel=false...
[cvc5.git]
/
src
/
theory
/
theory_model.cpp
2015-04-26
ajreynol
Bug fixes and improvements for mbqi with theory symbols...
blob
|
commitdiff
|
raw
2015-04-23
Clark Barrett
Merge branch 'master' into google
blob
|
commitdiff
|
raw
|
diff to current
2015-04-21
Clark Barrett
Changes needed to compile at Google, plus some bug...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Minor clean up
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Improved string performance, thanks to Peter's benchmarks.
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Improved string performance, thanks to Peter's benchmarks.
blob
|
commitdiff
|
raw
|
diff to current
2015-01-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-12-27
Dejan Jovanovic
Adding an option to the equality engine constructor...
blob
|
commitdiff
|
raw
|
diff to current
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
blob
|
commitdiff
|
raw
|
diff to current
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
blob
|
commitdiff
|
raw
|
diff to current
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-08
ajreynol
Fix bug with incremental+datatypes. Minor cleanup...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-08
Clark Barrett
Fixed bug in model builder with subtypes
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
ajreynol
Properly distinguish which EQC to assign values in...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
ajreynol
Fix model bug in --mbqi=fmc. Minor cleanup in datatypes.
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-02
Clark Barrett
Added cache to getModelValue
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-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
lianah
fixed merge conflict
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
lianah
added model generation to eager bit-blasting and turned...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-17
Kshitij Bansal
Merge pull request #26 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Kshitij Bansal
sets: fix a bug in model building, another in handling...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-12
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-05-11
Andrew Reynolds
More preparation for CASC proofs. Minor fix for sort...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-30
Morgan Deters
Mostly resolves bug #561 memory leaks, and more.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-10
Andrew Reynolds
Expand definitions in theory datatypes, now has the...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Kshitij Bansal
cleanup
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Kshitij Bansal
fix for sets/mar2014/..317minimized..
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Kshitij Bansal
fix a sharing issues with sets
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-27
Morgan Deters
General pre-release cleanup commit
blob
|
commitdiff
|
raw
|
diff to current