Indexed domain kernel
Compare changes
- Markus Holzer authored
+ 15
− 7
@@ -189,16 +189,17 @@ class VectorType(AbstractType):
@@ -189,16 +189,17 @@ class VectorType(AbstractType):
@@ -210,18 +211,25 @@ class PointerType(AbstractType):
@@ -210,18 +211,25 @@ class PointerType(AbstractType):
return (self.base_type, self.const, self.restrict) == (other.base_type, other.const, other.restrict)
@@ -230,7 +238,7 @@ class PointerType(AbstractType):
@@ -230,7 +238,7 @@ class PointerType(AbstractType):