git.libre-soc.org Git - cvc5.git/history - src/theory/unconstrained

[cvc5.git] / src / theory / unconstrained_simplifier.cpp

2014-04-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	blob \| commitdiff \| raw
2014-04-06	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	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-03-17	Peter Collingbourne	Fix for ite of >=64bit wide bitvectors with unconstrain...	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-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
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	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-07-07	Morgan Deters	Various fixes to documentation---typos, some incomplete...	blob \| commitdiff \| raw \| diff to current
2012-06-15	Clark Barrett	Fixes some assertion failures	blob \| commitdiff \| raw \| diff to current
2012-06-14	Clark Barrett	New substitutions implementation - fixes performance...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Morgan Deters	The "no-tears-in-competition-mode" commit. Change...	blob \| commitdiff \| raw \| diff to current
2012-06-12	Clark Barrett	Fixed fuzzing bug	blob \| commitdiff \| raw \| diff to current
2012-06-11	Clark Barrett	Fixed bug 352	blob \| commitdiff \| raw \| diff to current
2012-06-06	Clark Barrett	Fixed assertion failures	blob \| commitdiff \| raw \| diff to current
2012-06-05	Clark Barrett	More clean-up	blob \| commitdiff \| raw \| diff to current
2012-06-05	Clark Barrett	Fixed a performance issue with unconstrained simplifier	blob \| commitdiff \| raw \| diff to current
2012-06-05	Clark Barrett	Adding missing files...	blob \| commitdiff \| raw \| diff to current

RSS Atom