git.libre-soc.org Git - cvc5.git/history - src/smt/boolean

[cvc5.git] / src / smt / boolean_terms.cpp

2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-07	ajreynol	Refactor quantifiers attributes.	blob \| commitdiff \| raw
2014-07-13	Morgan Deters	Fix a bug in Boolean terms and arrays. Thanks to Jean...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-14	Andrew Reynolds	Add initial support for co-datatypes.	blob \| commitdiff \| raw \| diff to current
2014-04-10	Andrew Reynolds	Expand definitions in theory datatypes, now has the...	blob \| commitdiff \| raw \| diff to current
2014-04-10	Morgan Deters	Boolean terms conversion fix for datatypes, fixes a...	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	blob \| commitdiff \| raw \| diff to current
2014-04-03	Morgan Deters	Some incremental bugs for Boolean terms, fixed. Thanks...	blob \| commitdiff \| raw \| diff to current
2013-12-17	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-16	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-16	Morgan Deters	Fix for bug 544.	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Fix Boolean terms w.r.t. parametric datatypes (e.g...	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-27	Morgan Deters	General pre-release cleanup commit	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-08-08	Morgan Deters	Parameterized, uninterpreted sorts need no Boolean...	blob \| commitdiff \| raw \| diff to current
2013-07-11	Morgan Deters	Fix for Boolean-term rewriting and LAMBDAs	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Support for abs, to_int, is_int, divisible in SMT-LIB...	blob \| commitdiff \| raw \| diff to current
2013-06-08	Morgan Deters	Fixes for Boolean terms in arrays (including fix for...	blob \| commitdiff \| raw \| diff to current
2013-06-07	Morgan Deters	One more case for arrays of Boolean.	blob \| commitdiff \| raw \| diff to current
2013-06-07	Morgan Deters	Fix for bug 517.	blob \| commitdiff \| raw \| diff to current
2013-05-22	Andrew Reynolds	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Fix for equality-chaining of Booleans in SMT-LIBv2.	blob \| commitdiff \| raw \| diff to current
2013-05-17	Morgan Deters	Fix for equality-chaining of Booleans in SMT-LIBv2.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merging branch 'soiquickexplain'.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merge branch 'fcexplanations'	blob \| commitdiff \| raw \| diff to current
2013-05-02	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-01	Morgan Deters	Fix to boolean-terms; resolves bug #507	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2013-03-29	Morgan Deters	make Boolean term conversion partially non-recursive...	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	added model generation for bv subtheories and bv-inequa...	blob \| commitdiff \| raw \| diff to current
2013-03-26	Morgan Deters	Fixes for warnings from clang++, from -std=gnu++0x...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Dejan Jovanović	Merge remote-tracking branch 'dddejan/c++11'	blob \| commitdiff \| raw \| diff to current
2013-03-22	Morgan Deters	Support for Boolean term conversion in datatypes.	blob \| commitdiff \| raw \| diff to current
2013-03-22	Dejan Jovanović	compiles with	blob \| commitdiff \| raw \| diff to current
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Boolean terms rewriting for quantified variables of...	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	Morgan Deters	Fix for quantifiers containing Boolean terms.	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Fix the way abstract values are typed; fixes some compl...	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	remove an obsolete (and incorrect) assertion in boolean...	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Some fixes for boolean arrays	blob \| commitdiff \| raw \| diff to current
2012-11-29	Morgan Deters	fix for andy: boolean terms stuff really shouldn't...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Functions and predicates over Boolean now work with...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	First chunk of boolean-terms support.	blob \| commitdiff \| raw \| diff to current

RSS Atom