cereda / spa2run Goto Github PK
View Code? Open in Web Editor NEWCommand line tool that instantiates a structured pushdown automaton spec, written in the YAML format, into executable code, providing a shell session for querying and instrumentation.
License: GNU General Public License v3.0