git.libre-soc.org Git - cvc5.git/search

2021-07-08	makaimann	Add script to build wheel for pycvc5 (#6839)	commit \| commitdiff \| tree
2021-05-21	makaimann	Use scikit-build CMake files for pycvc5 (#6543)	commit \| commitdiff \| tree
2021-05-07	makaimann	Fix for toPythonObj of integer value with real sort...	commit \| commitdiff \| tree
2021-05-05	makaimann	Save block comments associated with each kind when...	commit \| commitdiff \| tree
2020-12-07	makaimann	Add bitwise refinement mode for IAND (#5328)	commit \| commitdiff \| tree
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

RSS Atom