FlowSpec10 open issues
Jasmin4 open issues
Spoofax79 open issues
SPTWithCore26 open issues
StrategoXT270 open issues