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

[cvc5.git] / src / theory / bv / bv_to_bool.cpp

2018-01-09	Aina Niemetz	Add bv util mkConst(unsigned, Integer&). (#1499)	blob \| commitdiff \| raw
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
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	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
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-12	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2014-06-12	lianah	added bvcomp case to bv to bool lifting	blob \| commitdiff \| raw \| diff to current
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	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-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-04-30	lianah	added bvule, bvsle operator elimination rulesl; added...	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	innd examples are solved fast, but destruction assertio...	blob \| commitdiff \| raw \| diff to current
2013-04-30	Liana Hadarean	fixed compile error	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	uncompiling new bv to bool lifting	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	finished implementing bv to bool lifting and added...	blob \| commitdiff \| raw \| diff to current
2013-04-30	Liana Hadarean	more work on boolean lifting	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	started work on bv1 to boolean lifting	blob \| commitdiff \| raw \| diff to current
2013-04-25	lianah	added bvule, bvsle operator elimination rulesl; added...	blob \| commitdiff \| raw \| diff to current
2013-04-18	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-04-17	lianah	innd examples are solved fast, but destruction assertio...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Liana Hadarean	fixed compile error	blob \| commitdiff \| raw \| diff to current
2013-04-16	lianah	uncompiling new bv to bool lifting	blob \| commitdiff \| raw \| diff to current
2013-04-12	lianah	finished implementing bv to bool lifting and added...	blob \| commitdiff \| raw \| diff to current
2013-04-10	Liana Hadarean	more work on boolean lifting	blob \| commitdiff \| raw \| diff to current
2013-04-10	lianah	started work on bv1 to boolean lifting	blob \| commitdiff \| raw \| diff to current

RSS Atom