search

herd / herdtools7

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

[ASL] Introduce configs and machine readable outputs #930

Closed HadrienRenaud closed 3 months ago