Parser and abstract syntax tree for the Promela modeling language.
A parser for the Promela modeling language.
yacc) is used to generate the parser.
Classes for a Promela abstract tree are included and used for representing the result of parsing.
A short tutorial can be found in the file
pip install promela
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size promela-0.0.3.tar.gz (37.1 kB)||File type Source||Python version None||Upload date||Hashes View|