Skip to main content

Parser and abstract syntax tree for the Promela modeling language.

Project description

Build 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

3-clause BSD, see the file LICENSE.

Project details


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 details)

Uploaded Source

File details

Details for the file promela-0.0.4.tar.gz.

File metadata

  • Download URL: promela-0.0.4.tar.gz
  • Upload date:
  • Size: 37.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.0.0 CPython/3.12.1+

File hashes

Hashes for promela-0.0.4.tar.gz
Algorithm Hash digest
SHA256 ea8175aaf9f696d189640351c8f415564a00dd3ef751e8b45cd566e71a19c815
MD5 211c3f2303c39c81d37bba11b6b06422
BLAKE2b-256 6c710c0e08d4501de2fd354d41ac8a6fb189012bb8be3c051a9072e4eb5b4be6

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page