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

[cvc5.git] / src / theory / bv / theory_bv_rewriter.h

2019-12-09	Andres Noetzli	Make theory rewriters non-static (#3547)	blob \| commitdiff \| raw
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-06	Clark Barrett	Adding support for bool-to-bv	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-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-07-28	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2015-07-20	ajreynol	Squashed merge of SygusComp 2015 branch.	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
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-18	Morgan Deters	Support for bv2nat/int2bv in parser and BV rewriter.	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-11-13	Liana Hadarean	fixed failed bv regressions by refactoring out some...	blob \| commitdiff \| raw \| diff to current
2012-11-13	Liana Hadarean	added support for division by zero for bit-vector divis...	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-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Dejan Jovanović	* removing rewriteEquality from the rewriter	blob \| commitdiff \| raw \| diff to current
2012-06-13	Clark Barrett	Fixes lots of problems in bv rewrite rules and adds...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Dejan Jovanović	Some cleanup starting off from trying to understand...	blob \| commitdiff \| raw \| diff to current
2012-04-04	Liana Hadarean	* added propagation as lemmas to TheoryBV:	blob \| commitdiff \| raw \| diff to current
2012-03-29	Tim King	Fix for bug 316. If the flag @CVC4_TLS_SUPPORTED@ is...	blob \| commitdiff \| raw \| diff to current
2012-03-22	Liana Hadarean	Merged updated version of the bitvector theory:	blob \| commitdiff \| raw \| diff to current
2012-02-25	Liana Hadarean	Refactored CnfStream to work with the bv theory Bitblaster:	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current
2011-10-17	Dejan Jovanović	Sharing work	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-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Commit to fix bug 241 (improper "using namespace std...	blob \| commitdiff \| raw \| diff to current
2011-02-16	Dejan Jovanović	updates for the rewriter, added some statistics	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current

RSS Atom