projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Updates to API in preparation for using symbol manager for model (#5481)
2020-11-03
makaimann
Run python tests during make check (#5226)
commit
|
commitdiff
|
tree
2020-10-08
makaimann
Get correct NodeManagerScope for toStrings in API ...
commit
|
commitdiff
|
tree
2020-09-22
makaimann
Add method to get Python object from constant value...
commit
|
commitdiff
|
tree
2020-08-12
makaimann
Add option to only build library (#4801)
commit
|
commitdiff
|
tree
2020-08-03
makaimann
Delete solver pointer in Cython __dealloc__ (#4799)
commit
|
commitdiff
|
tree
2020-06-29
makaimann
Python Sort tests (#4639)
commit
|
commitdiff
|
tree
2020-06-10
makaimann
Fix getKind for Python bindings (#4496)
commit
|
commitdiff
|
tree
2020-06-05
makaimann
Add a method for retrieving base of a constant array...
commit
|
commitdiff
|
tree
2020-06-04
makaimann
Wrap Result in Python API (#4473)
commit
|
commitdiff
|
tree
2020-06-03
makaimann
Add Term::substitute to Python bindings (#4499)
commit
|
commitdiff
|
tree
2020-06-02
makaimann
Add hash Op, Sort and Term in Python bindings (#4498)
commit
|
commitdiff
|
tree
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