projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
This commit merges the branch arithmetic/propagation-again into trunk.
[cvc5.git]
/
src
/
theory
/
arith
/
partial_model.h
2011-04-18
Tim King
This commit merges the branch arithmetic/propagation...
blob
|
commitdiff
|
raw
2010-10-22
Tim King
Code cleanup for TheoryArith.
blob
|
commitdiff
|
raw
|
diff to current
2010-10-22
Tim King
Fixes to getValue for TheoryArith.
blob
|
commitdiff
|
raw
|
diff to current
2010-10-14
Tim King
Fixed computation of infinitesimals for arithmetic...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-02
Tim King
branches/arith-indexed-variables merged into the main...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-02
Morgan Deters
re-generated comment headers of source files
blob
|
commitdiff
|
raw
|
diff to current
2010-06-29
Tim King
This commit merges the decaying-rows branch into the...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-16
Tim King
This commit just contains miscellaneous arithmetic...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-06
Tim King
Some assorted fixes and local optimizations for theory...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-04
Tim King
Changed how assignments are saved during check. These...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-04
Morgan Deters
** Don't fear the files-changed list, almost all change...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-03
Tim King
Fixes 2 issues with assignments. The first is construct...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-28
Tim King
Added printModel() to src/theory/arith/partial_model...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-19
Tim King
Significant revision to theory/arith. The new draft...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
Tim King
Merging the arithmetic theory draft (lra-init) back...
blob
|
commitdiff
|
raw
|
diff to current