amandasystems/catra Issues
Integrate with OSTRICH+
ClosedRename the Verma backend
ClosedSoundness bug
ClosedEnable dumping dot files
ClosedTEST DOES THIS SHOW UP!?
ClosedTest the Verma backend
Closed
A Princess theory for computing Parikh images of automata