git.libre-soc.org Git - cvc5.git/history - src/util/ite

[cvc5.git] / src / util / ite_removal.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	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-08-22	Morgan Deters	Unsat core infrastruture and API (SMT-LIB compliance...	blob \| commitdiff \| raw
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	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge pull request #25 from kbansal/sets	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-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-03-08	Morgan Deters	Re-fix bug 551 by adding a check to the arith ITE simpl...	blob \| commitdiff \| raw \| diff to current
2014-03-08	Tim King	Merge remote-tracking branch 'CVC4root/master'	blob \| commitdiff \| raw \| diff to current
2014-03-08	Morgan Deters	Remove --ite-remove-quant; support pulling ground ITEs...	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-11-26	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-25	Tim King	Merge remote-tracking branch 'CVC4root/master'	blob \| commitdiff \| raw \| diff to current
2013-11-25	Tim King	Substantial Changes:	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-06-03	Morgan Deters	Merge tag 'casc24'	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-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Fix bug 512: an assertion failure only appearing with...	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-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-11	Andrew Reynolds	ite removal option for quantifiers --ite-remove-quant...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Morgan Deters	Bug-related:	blob \| commitdiff \| raw \| diff to current
2012-09-19	Morgan Deters	General subscriber infrastructure for NodeManager,...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Morgan Deters	* disallow internal uses of mkVar() (you have to mkSkol...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current
2012-04-30	Clark Barrett	Added map from skolem variables to new ite formulas...	blob \| commitdiff \| raw \| diff to current
2012-03-09	Morgan Deters	Some work on the dump infrastructure to support portfol...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw \| diff to current

RSS Atom