FlowSpec11 open issues
Jasmin4 open issues
Spoofax87 open issues
SPTWithCore26 open issues
StrategoXT272 open issues