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

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

2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	blob \| commitdiff \| raw \| diff to current
2016-12-02	Tim King	Merge pull request #95 from 4tXJ7f/fix_sierra_build	blob \| commitdiff \| raw \| diff to current
2016-12-02	Clark Barrett	Merge pull request #113 from 4tXJ7f/remove_extract_rule	blob \| commitdiff \| raw \| diff to current
2016-12-02	ajreynol	Bug fixes and refactoring of parametric datatypes,...	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-01	Tim King	Merge pull request #93 from timothy-king/clang-format	blob \| commitdiff \| raw \| diff to current
2016-09-27	Tim King	Reverting part of the previous changes to unconstrained...	blob \| commitdiff \| raw \| diff to current
2016-09-26	Tim King	Simplifying control flow to avoid goto's in unconstrain...	blob \| commitdiff \| raw \| diff to current
2016-09-09	ajreynol	Fix bug in unconstrained simplifier related to sep...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2015-10-24	Tim King	This removes a bug for reading data that has been poppe...	blob \| commitdiff \| raw \| diff to current
2015-02-13	ajreynol	Handle recursive singleton case for codatatypes, add...	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-06-10	lianah	Merging CAV14 paper bit-vector work.	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-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