Age | Commit message (Expand) | Author |
2014-04-14 | Add initial support for co-datatypes. | Andrew Reynolds |
2014-04-10 | Expand definitions in theory datatypes, now has the expected semantics for in... | Andrew Reynolds |
2014-04-10 | Boolean terms conversion fix for datatypes, fixes a problem Andy discovered o... | Morgan Deters |
2014-04-03 | Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiann... | Morgan Deters |
2013-12-16 | Fix for bug 544. | Morgan Deters |
2013-12-05 | Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-08-08 | Parameterized, uninterpreted sorts need no Boolean-term conversion | Morgan Deters |
2013-07-11 | Fix for Boolean-term rewriting and LAMBDAs | Morgan Deters |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2013-06-07 | One more case for arrays of Boolean. | Morgan Deters |
2013-06-07 | Fix for bug 517. | Morgan Deters |
2013-05-17 | Fix for equality-chaining of Booleans in SMT-LIBv2. | Morgan Deters |
2013-05-01 | Fix to boolean-terms; resolves bug #507 | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-29 | make Boolean term conversion partially non-recursive (resolves bug 501) | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-03-15 | Boolean terms rewriting for quantified variables of type Bool, when quantifie... | Morgan Deters |
2013-02-26 | Fix for quantifiers containing Boolean terms. | Morgan Deters |
2012-12-01 | Fix the way abstract values are typed; fixes some compliance issues. | Morgan Deters |
2012-12-01 | remove an obsolete (and incorrect) assertion in boolean-terms; also add faili... | Morgan Deters |
2012-12-01 | Some fixes for boolean arrays | Morgan Deters |
2012-11-29 | fix for andy: boolean terms stuff really shouldn't look at datatypes at all i... | Morgan Deters |
2012-11-27 | Functions and predicates over Boolean now work with --check-models and output... | Morgan Deters |
2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |