promela

Parser and abstract syntax tree for the Promela modeling language.


Keywords
promela, parser, syntax tree, ply, lex, yacc
License
BSD-3-Clause
Install
pip install promela==0.0.2

Documentation

Build Status Coverage Status

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

BSD-3, see LICENSE file.