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

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