Parser and abstract syntax tree for the Promela modeling language.
Project description
About
A parser for the Promela modeling language.
PLY (Python lex-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 doc.md.
To install:
pip install promela
License
3-clause BSD,
see the file LICENSE.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
promela-0.0.4.tar.gz
(37.3 kB
view hashes)
