https://github.com/johnyf/promela

Promela parser using PLY (Python lex-yacc)
https://github.com/johnyf/promela

parse parser ply promela python

Last synced: about 2 months ago
JSON representation

Promela parser using PLY (Python lex-yacc)

• Host: GitHub
• URL: https://github.com/johnyf/promela
• Owner: johnyf
• License: other
• Created: 2015-02-05T04:59:24.000Z (almost 10 years ago)
• Default Branch: main
• Last Pushed: 2024-04-21T14:46:21.000Z (8 months ago)
• Last Synced: 2024-10-15T01:25:25.021Z (2 months ago)
• Topics: parse, parser, ply, promela, python
• Language: Python
• Homepage: https://pypi.org/project/promela
• Size: 92.8 KB
• Stars: 9
• Watchers: 2
• Forks: 7
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Build Status][build_img]][ci]

About

=====

A parser for the [Promela modeling language](https://en.wikipedia.org/wiki/Promela).

[PLY](https://pypi.org/project/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/main/doc.md).

To install:

```

pip install promela

```

License

=======

[3-clause BSD](https://opensource.org/licenses/BSD-3-Clause),

see the file `LICENSE`.

[build_img]: https://github.com/johnyf/promela/actions/workflows/main.yml/badge.svg?branch=main

[ci]: https://github.com/johnyf/promela/actions