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

[cvc5.git] / src / theory / arith / theory_arith_type_rules.h

2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw
2013-06-25	Morgan Deters	Support for abs, to_int, is_int, divisible in SMT-LIB...	blob \| commitdiff \| raw
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-08	Tim King	Improved support for division by zero. This adds the...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	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-05-19	Tim King	- The array type rules were fixed to use isSubtypeOf.	blob \| commitdiff \| raw \| diff to current
2012-05-18	Tim King	This commit adds TypeNode::leastCommonTypeNode(). ...	blob \| commitdiff \| raw \| diff to current
2012-05-15	Tim King	This commit removes the CONST_INTEGER kind from nodes...	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	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
2010-09-21	Morgan Deters	part of review (bug #197): coding conventions, file...	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