Metadata-Version: 2.1
Name: promela
Version: 0.0.3
Summary: Parser and abstract syntax tree for the Promela modeling language.
Home-page: https://github.com/johnyf/promela
Author: Ioannis Filippidis
Author-email: jfilippidis@gmail.com
License: BSD
Description: [![Build Status][build_img]][travis]
        [![Coverage Status][coverage]][coveralls]
        
        
        About
        =====
        
        A parser for the [Promela modeling language](https://en.wikipedia.org/wiki/Promela).
        [PLY](https://pypi.python.org/pypi/ply/3.4) (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`](
            https://github.com/johnyf/promela/blob/master/doc.md).
        To install:
        
        ```
        pip install promela
        ```
        
        
        License
        =======
        [BSD-3](http://opensource.org/licenses/BSD-3-Clause), see `LICENSE` file.
        
        
        [build_img]: https://travis-ci.org/johnyf/promela.svg?branch=master
        [travis]: https://travis-ci.org/johnyf/promela
        [coverage]: https://coveralls.io/repos/johnyf/promela/badge.svg?branch=master
        [coveralls]: https://coveralls.io/r/johnyf/promela?branch=master
        
Keywords: promela,parser,syntax tree,ply,lex,yacc
Platform: UNKNOWN
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Topic :: Scientific/Engineering
Description-Content-Type: text/markdown
