search

herd / herdtools7

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

[asl] Fixup missing value in asl-carpetenter #824

Closed relokin closed 7 months ago

relokin commented 7 months ago

It appears that the latest master doesn't compile. @maranget @HadrienRenaud can you check that experimental has the right value for carpenter?

HadrienRenaud commented 7 months ago

Hi @relokin, thank you for noticing However, I think the latest master (after merging #819 which removes the experimental flag) does not.

relokin commented 7 months ago

Hi @relokin, thank you for noticing However, I think the latest master (after merging #819 which removes the experimental flag) does not.

Ah cool I wasn't following #819. But this is indeed unnecessary now, so I am going to close it.