itf-py

Name	itf-py JSON
Version	0.4.0 JSON
	download
home_page	None
Summary	Python library to parse and emit Apalache/Quint traces in ITF JSON
upload_time	2025-07-28 21:33:05
maintainer	None
docs_url	None
author	Igor Konnov
requires_python	<4.0,>=3.12
license	None
keywords	itf trace parser tlaplus apalache quint
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # ITF-py: Parser and Encoder for the ITF Trace Format

Python library to parse and emit Apalache ITF traces. Refer to [ADR015][] for
the format. ITF traces are emitted by [Apalache][] and [Quint][].

**Intentionally minimalistic.** We keep this library intentionally minimalistic.
You can use it in your projects without worrying about pulling dozens of
dependencies. The package depends on `frozendict`.

**Why?** It's much more convenient to manipulate with trace data in an
interactive prompt, similar to SQL.

See usage examples on the [itf-py][] page on Github.

**Alternatives.** If you need to deserialize/serialize ITF traces in Rust, check
[itf-rs][].

[ADR015]: https://apalache-mc.org/docs/adr/015adr-trace.html
[Apalache]: https://github.com/apalache-mc/apalache
[Quint]: https://github.com/informalsystems/quint
[itf-rs]: https://github.com/informalsystems/itf-rs
[itf-py]: https://github.com/konnov/itf-py

            

Raw data

            {
    "_id": null,
    "home_page": null,
    "name": "itf-py",
    "maintainer": null,
    "docs_url": null,
    "requires_python": "<4.0,>=3.12",
    "maintainer_email": null,
    "keywords": "itf, trace, parser, tlaplus, apalache, quint",
    "author": "Igor Konnov",
    "author_email": "igor@konnov.phd",
    "download_url": "https://files.pythonhosted.org/packages/ea/a1/7cc0baf2761819f8b0554319ed4e4baa683fbc1c2e7de814bec7f1c1f51e/itf_py-0.4.0.tar.gz",
    "platform": null,
    "description": "# ITF-py: Parser and Encoder for the ITF Trace Format\n\nPython library to parse and emit Apalache ITF traces. Refer to [ADR015][] for\nthe format. ITF traces are emitted by [Apalache][] and [Quint][].\n\n**Intentionally minimalistic.** We keep this library intentionally minimalistic.\nYou can use it in your projects without worrying about pulling dozens of\ndependencies. The package depends on `frozendict`.\n\n**Why?** It's much more convenient to manipulate with trace data in an\ninteractive prompt, similar to SQL.\n\nSee usage examples on the [itf-py][] page on Github.\n\n**Alternatives.** If you need to deserialize/serialize ITF traces in Rust, check\n[itf-rs][].\n\n[ADR015]: https://apalache-mc.org/docs/adr/015adr-trace.html\n[Apalache]: https://github.com/apalache-mc/apalache\n[Quint]: https://github.com/informalsystems/quint\n[itf-rs]: https://github.com/informalsystems/itf-rs\n[itf-py]: https://github.com/konnov/itf-py\n",
    "bugtrack_url": null,
    "license": null,
    "summary": "Python library to parse and emit Apalache/Quint traces in ITF JSON",
    "version": "0.4.0",
    "project_urls": {
        "Homepage": "https://github.com/konnov/itf-py"
    },
    "split_keywords": [
        "itf",
        " trace",
        " parser",
        " tlaplus",
        " apalache",
        " quint"
    ],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "2ca4c9eb3685149b4dea1503f10ad1d0eb832cc3ce7098b87b57e0dd3bf6a5c7",
                "md5": "4a3ab6e790e64fe8559318b4c1759dc6",
                "sha256": "d95eeef5ed8029de20c7fffdd950b524d7199161dfabd4a0e2898128a73b78d2"
            },
            "downloads": -1,
            "filename": "itf_py-0.4.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "4a3ab6e790e64fe8559318b4c1759dc6",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": "<4.0,>=3.12",
            "size": 3633,
            "upload_time": "2025-07-28T21:33:02",
            "upload_time_iso_8601": "2025-07-28T21:33:02.159249Z",
            "url": "https://files.pythonhosted.org/packages/2c/a4/c9eb3685149b4dea1503f10ad1d0eb832cc3ce7098b87b57e0dd3bf6a5c7/itf_py-0.4.0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "eaa17cc0baf2761819f8b0554319ed4e4baa683fbc1c2e7de814bec7f1c1f51e",
                "md5": "fa483184f9d627e432d7c23781d43b18",
                "sha256": "e573abf23d22e20bc6d6d3921a43f0e0fa225f150bc57bfb33ca71fe0d39b1ea"
            },
            "downloads": -1,
            "filename": "itf_py-0.4.0.tar.gz",
            "has_sig": false,
            "md5_digest": "fa483184f9d627e432d7c23781d43b18",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": "<4.0,>=3.12",
            "size": 3558,
            "upload_time": "2025-07-28T21:33:05",
            "upload_time_iso_8601": "2025-07-28T21:33:05.034856Z",
            "url": "https://files.pythonhosted.org/packages/ea/a1/7cc0baf2761819f8b0554319ed4e4baa683fbc1c2e7de814bec7f1c1f51e/itf_py-0.4.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-07-28 21:33:05",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "konnov",
    "github_project": "itf-py",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "itf-py"
}