[DRAFT] Static side effect analysis for ASL - Githubissues

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

215 stars 54 forks source link

[DRAFT] Static side effect analysis for ASL #888

Open HadrienRenaud opened 1 month ago

HadrienRenaud commented 1 month ago

Todo:

[ ] Configs
[ ] Non determinism
[ ] Check all possible constructions