git.libre-soc.org Git - cvc5.git/commit

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 3b93d45) | patch

author	Tim King <taking@cs.nyu.edu>
	Fri, 18 May 2012 23:48:38 +0000 (23:48 +0000)
committer	Tim King <taking@cs.nyu.edu>
	Fri, 18 May 2012 23:48:38 +0000 (23:48 +0000)
commit	ea8139dc7b727bf48bd7b7c6b169d763618a1f2a
tree	95701608122c2a6e232ee22979e9da757bf4e2dd	tree
parent	3b93d45dab9513195d5604a069423ed13e173f49	commit \| diff

This commit adds TypeNode::leastCommonTypeNode(). The special case for arithmetic in TypeNode::operator==() has been removed. A number of faulty type checking checks were switched to use isSubtypeOf. The resolves bug #339

12 files changed: