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

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

2016-10-13	ajreynol	Merging bv parts of ajr/bvExt branch, minor additions...	blob \| commitdiff \| raw
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-03	Tim King	Removing the throw specifiers from theory_bv_type_rules.h.	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
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
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #34 from mdeters/datatypes-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #37 from mdeters/quants-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #38 from mdeters/uf-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-22	lianah	Merge pull request #39 from mdeters/bv-warnings	blob \| commitdiff \| raw \| diff to current
2014-06-22	lianah	Merge pull request #35 from mdeters/bv-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-21	Morgan Deters	Bit-vector kinds documentation	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-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-27	Morgan Deters	General pre-release cleanup commit	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-05-07	lianah	added type checking rule to check for bit-vector consta...	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-10-10	Dejan Jovanović	fixing the cvc bv parser and typechecker	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-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	Tuesday end-of-day commit.	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-20	Dejan Jovanović	bitvector rewriting for the core theory and testcases	blob \| commitdiff \| raw \| diff to current
2010-07-27	Christopher L. Conway	Adding optional 'check' parameter to getType() methods	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-05-05	Dejan Jovanović	bug fixes for types, old unit tests for types work now	blob \| commitdiff \| raw \| diff to current
2010-05-04	Dejan Jovanović	Type-checking classes and hooks (not tested yet).	blob \| commitdiff \| raw \| diff to current

RSS Atom