projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
merge from arrays-clark branch
[cvc5.git]
/
src
/
theory
/
valuation.cpp
2012-04-11
Morgan Deters
merge from arrays-clark branch
blob
|
commitdiff
|
raw
2011-10-17
Dejan Jovanović
Sharing work
blob
|
commitdiff
|
raw
|
diff to current
2011-10-05
Morgan Deters
ensureLiteral() in CNF stream to support Andy's quantif...
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-07-11
Clark Barrett
Clark's work on array theory - can now solve all QF_AX...
blob
|
commitdiff
|
raw
|
diff to current
2011-07-09
Dejan Jovanović
surprize surprize
blob
|
commitdiff
|
raw
|
diff to current
2011-07-05
Dejan Jovanović
updated preprocessing and rewriting input equalities...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-05
Morgan Deters
Merge from nonclausal-simplification-v2 branch:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-07
Tim King
Made Valuation::getValue() and Valuation::getSatValue...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-31
Tim King
Fixes to Valuation.
blob
|
commitdiff
|
raw
|
diff to current
2011-03-30
Morgan Deters
Add Valuation::getSatValue() so that theories can acces...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-26
Morgan Deters
Merge from theory-break-dependences branch to break...
blob
|
commitdiff
|
raw
|
diff to current