projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 705d285) | patch
push subtyping for sets to the element type
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 12 Mar 2014 18:43:37 +0000 (14:43 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 20 Mar 2014 21:18:57 +0000 (17:18 -0400)
commit2074c0f5133d5958996279427710aee208918853
tree0f684de069f69a117c3802cc9ea14a91886fb97btree
parent705d2851e21fdac11005951f6a47a5446bc8e48bcommit | diff
push subtyping for sets to the element type

for eg, (Set Int) is subtype of (Set Real) if Int is subtype of Real
src/expr/type_node.cpp diff | blob | history