summaryrefslogtreecommitdiff
path: root/src/smt/boolean_terms.cpp
AgeCommit message (Expand)Author
2013-06-08Fixes for Boolean terms in arrays (including fix for bug 517).Morgan Deters
2013-05-20Fix for equality-chaining of Booleans in SMT-LIBv2.Morgan Deters
2013-05-01Fix to boolean-terms; resolves bug #507Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-29make Boolean term conversion partially non-recursive (resolves bug 501)Morgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-22Support for Boolean term conversion in datatypes.Morgan Deters
2013-03-15Boolean terms rewriting for quantified variables of type Bool, when quantifie...Morgan Deters
2013-02-26Fix for quantifiers containing Boolean terms.Morgan Deters
2012-12-01Fix the way abstract values are typed; fixes some compliance issues.Morgan Deters
2012-12-01remove an obsolete (and incorrect) assertion in boolean-terms; also add faili...Morgan Deters
2012-12-01Some fixes for boolean arraysMorgan Deters
2012-11-29fix for andy: boolean terms stuff really shouldn't look at datatypes at all i...Morgan Deters
2012-11-27Functions and predicates over Boolean now work with --check-models and output...Morgan Deters
2012-11-27First chunk of boolean-terms support.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback