FlowSpec10 open issues
Jasmin4 open issues
Spoofax85 open issues
SPTWithCore26 open issues
StrategoXT273 open issues