projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
CVC print support for recoverable failure (#3323)
2019-09-19
makaimann
Add support for creating constant arrays to the new...
commit
|
commitdiff
|
tree
2019-08-11
makaimann
New C++ API: Add templated getIndices method for OpTerm...
commit
|
commitdiff
|
tree
2019-08-02
makaimann
Use python realpath instead of relying on shell realpath...
commit
|
commitdiff
|
tree
2019-06-28
makaimann
Make mkOpTerm const (#3072)
commit
|
commitdiff
|
tree
2019-04-16
makaimann
Check for rt library in configuration -- support for...
commit
|
commitdiff
|
tree
2019-04-01
makaimann
Update includes to use cvc4 top-level directory in...
commit
|
commitdiff
|
tree
2019-03-22
makaimann
Use empty vector instead of false in query with null...
commit
|
commitdiff
|
tree
2019-03-14
makaimann
check for null assumption in query and replace with...
commit
|
commitdiff
|
tree
2018-12-10
makaimann
BoolToBV modes (off, ite, all) (#2530)
commit
|
commitdiff
|
tree
2018-10-22
makaimann
Fail for SWIG 3.0.8 (#2656)
commit
|
commitdiff
|
tree
2018-05-21
makaimann
Handle IMPLIES in bool-to-bv and test it in regress0...
commit
|
commitdiff
|
tree
2017-09-15
makaimann
Add missing CVC4_PUBLIC in kind_template (#1078)
commit
|
commitdiff
|
tree
2017-05-12
makaimann
Adding VPATH back in
commit
|
commitdiff
|
tree
2017-05-12
makaimann
Conditional coverage build
commit
|
commitdiff
|
tree
2017-04-18
makaimann
Coverage fix
commit
|
commitdiff
|
tree
2017-01-11
makaimann
Proposed fix for bug 702. Checks to make sure the Expr...
commit
|
commitdiff
|
tree