projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove ref skolem datatype option (#4185)
2020-03-12
makaimann
Add automatic Cython binding installation (#3933)
commit
|
commitdiff
|
tree
2020-03-10
makaimann
Enhancement: make the bool-to-bv pass more robust and...
commit
|
commitdiff
|
tree
2020-02-22
makaimann
Dump boolean propagations and conflicts for decision...
commit
|
commitdiff
|
tree
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
commit
|
commitdiff
|
tree
2020-02-19
makaimann
Change datatype selector/constructor/tester to terms...
commit
|
commitdiff
|
tree
2019-12-16
makaimann
Trace tags for dumping the decision tree in org-mode...
commit
|
commitdiff
|
tree
2019-12-05
makaimann
Add mkOp for a single Kind (#3522)
commit
|
commitdiff
|
tree
2019-12-03
makaimann
Add isNullHelper to avoid calling API function isNull...
commit
|
commitdiff
|
tree
2019-12-03
makaimann
Minor refactor: rename opterm_black to op_black (#3521)
commit
|
commitdiff
|
tree
2019-12-02
makaimann
OpTerm Refactor: Allow retrieving OpTerm used to create...
commit
|
commitdiff
|
tree
2019-10-18
makaimann
Update overflow check to handle negative numbers (...
commit
|
commitdiff
|
tree
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