promela


Namepromela JSON
Version 0.0.4 PyPI version JSON
download
home_pagehttps://github.com/johnyf/promela
SummaryParser and abstract syntax tree for the Promela modeling language.
upload_time2024-04-21 14:36:07
maintainerNone
docs_urlNone
authorIoannis Filippidis
requires_python>=3.9
licenseBSD
keywords promela parser syntax tree ply lex yacc
VCS
bugtrack_url
requirements nose coveralls
Travis-CI
coveralls test coverage No coveralls.
            [![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

            

Raw data

            {
    "_id": null,
    "home_page": "https://github.com/johnyf/promela",
    "name": "promela",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.9",
    "maintainer_email": null,
    "keywords": "promela, parser, syntax tree, ply, lex, yacc",
    "author": "Ioannis Filippidis",
    "author_email": "jfilippidis@gmail.com",
    "download_url": "https://files.pythonhosted.org/packages/6c/71/0c0e08d4501de2fd354d41ac8a6fb189012bb8be3c051a9072e4eb5b4be6/promela-0.0.4.tar.gz",
    "platform": null,
    "description": "[![Build Status][build_img]][ci]\n\n\nAbout\n=====\n\nA parser for the [Promela modeling language](https://en.wikipedia.org/wiki/Promela).\n[PLY](https://pypi.org/project/ply/3.4/) (Python `lex`-`yacc`) is used to\ngenerate the parser. Classes for a Promela abstract tree are included and used\nfor representing the result of parsing.\n\nA short tutorial can be found in the file [`doc.md`](\n    https://github.com/johnyf/promela/blob/main/doc.md).\nTo install:\n\n```\npip install promela\n```\n\n\nLicense\n=======\n\n[3-clause BSD](https://opensource.org/licenses/BSD-3-Clause),\nsee the file `LICENSE`.\n\n\n[build_img]: https://github.com/johnyf/promela/actions/workflows/main.yml/badge.svg?branch=main\n[ci]: https://github.com/johnyf/promela/actions\n",
    "bugtrack_url": null,
    "license": "BSD",
    "summary": "Parser and abstract syntax tree for the Promela modeling language.",
    "version": "0.0.4",
    "project_urls": {
        "Bug Tracker": "https://github.com/johnyf/promela/issues",
        "Documentation": "https://github.com/johnyf/promela/blob/main/doc.md",
        "Homepage": "https://github.com/johnyf/promela"
    },
    "split_keywords": [
        "promela",
        " parser",
        " syntax tree",
        " ply",
        " lex",
        " yacc"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "6c710c0e08d4501de2fd354d41ac8a6fb189012bb8be3c051a9072e4eb5b4be6",
                "md5": "211c3f2303c39c81d37bba11b6b06422",
                "sha256": "ea8175aaf9f696d189640351c8f415564a00dd3ef751e8b45cd566e71a19c815"
            },
            "downloads": -1,
            "filename": "promela-0.0.4.tar.gz",
            "has_sig": false,
            "md5_digest": "211c3f2303c39c81d37bba11b6b06422",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.9",
            "size": 37274,
            "upload_time": "2024-04-21T14:36:07",
            "upload_time_iso_8601": "2024-04-21T14:36:07.976852Z",
            "url": "https://files.pythonhosted.org/packages/6c/71/0c0e08d4501de2fd354d41ac8a6fb189012bb8be3c051a9072e4eb5b4be6/promela-0.0.4.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-04-21 14:36:07",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "johnyf",
    "github_project": "promela",
    "travis_ci": true,
    "coveralls": false,
    "github_actions": false,
    "requirements": [
        {
            "name": "nose",
            "specs": [
                [
                    "==",
                    "1.3.7"
                ]
            ]
        },
        {
            "name": "coveralls",
            "specs": []
        }
    ],
    "lcname": "promela"
}
        
Elapsed time: 0.24716s