projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix rewriter for regular expression consume (#3029)
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