FlowSpec11 open issues
Jasmin4 open issues
Spoofax89 open issues
SPTWithCore30 open issues
StrategoXT272 open issues