search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215 stars 54 forks source link

[asl] Implementation of expression propagation #894

Closed HadrienRenaud closed 1 month ago

HadrienRenaud commented 1 month ago

This PR implements some storage of immutable expressions accross different statements of a function. This allows some type-checking examples to work.