Age | Commit message (Expand) | Author |
2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-02-15 | More simplification to internal implementation of tuples and records. | ajreynol |
2016-02-15 | Eliminate most of the internal representation infrastructure for tuples and r... | ajreynol |
2015-12-15 | Breaking the include cycle between Record and Expr. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-10-16 | Throw error for recursively defined types involving Boolean. | ajreynol |
2015-01-22 | Do not drop patterns during boolean term rewriting. Narrow sygus search space... | ajreynol |
2014-12-03 | Floating point infrastructure. | Martin Brain |
2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
2014-11-07 | Fix missing case in Boolean terms rewriting. (Resolves bug #596.) | Morgan Deters |
2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
2014-11-07 | Corrected fix for missing case in model postprocessor (resolves bug #595). | Morgan Deters |
2014-10-07 | Refactor quantifiers attributes. | ajreynol |
2014-07-12 | Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f... | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
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 |