projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Some cleanup starting off from trying to understand the sharing code. Changes include
[cvc5.git]
/
src
/
theory
/
bv
/
theory_bv_rewriter.h
2012-05-03
Dejan Jovanović
Some cleanup starting off from trying to understand...
blob
|
commitdiff
|
raw
2012-04-04
Liana Hadarean
* added propagation as lemmas to TheoryBV:
blob
|
commitdiff
|
raw
|
diff to current
2012-03-29
Tim King
Fix for bug 316. If the flag @CVC4_TLS_SUPPORTED@ is...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-22
Liana Hadarean
Merged updated version of the bitvector theory:
blob
|
commitdiff
|
raw
|
diff to current
2012-02-25
Liana Hadarean
Refactored CnfStream to work with the bv theory Bitblaster:
blob
|
commitdiff
|
raw
|
diff to current
2012-02-20
Morgan Deters
portfolio merge
blob
|
commitdiff
|
raw
|
diff to current
2011-10-17
Dejan Jovanović
Sharing work
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-03-25
Morgan Deters
This is a merge from the "theoryfixes+cdattrhash" branc...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-26
Morgan Deters
Commit to fix bug 241 (improper "using namespace std...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-16
Dejan Jovanović
updates for the rewriter, added some statistics
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