itf-py 0.1.0__tar.gz → 0.1.2__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of itf-py might be problematic. Click here for more details.
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
Metadata-Version: 2.3
|
|
2
2
|
Name: itf-py
|
|
3
|
-
Version: 0.1.
|
|
3
|
+
Version: 0.1.2
|
|
4
4
|
Summary: Python library to parse and emit Apalache ITF traces
|
|
5
|
+
Keywords: itf,trace,parser,tlaplus,apalache,quint
|
|
5
6
|
Author: Igor Konnov
|
|
6
7
|
Author-email: igor@konnov.phd
|
|
7
8
|
Requires-Python: >=3.12,<4.0
|
|
@@ -18,5 +19,6 @@ Python library to parse and emit Apalache ITF traces. Refer to
|
|
|
18
19
|
traces are emitted by [Apalache](https://github.com/apalache-mc/apalache) and
|
|
19
20
|
[Quint](https://github.com/informalsystems/quint).
|
|
20
21
|
|
|
21
|
-
**
|
|
22
|
-
your projects without worrying about pulling dozens of
|
|
22
|
+
**Intentionally minimalistic.** We keep this library intentionally minimalistic.
|
|
23
|
+
You can use it in your projects without worrying about pulling dozens of
|
|
24
|
+
dependencies.
|
|
@@ -5,5 +5,6 @@ Python library to parse and emit Apalache ITF traces. Refer to
|
|
|
5
5
|
traces are emitted by [Apalache](https://github.com/apalache-mc/apalache) and
|
|
6
6
|
[Quint](https://github.com/informalsystems/quint).
|
|
7
7
|
|
|
8
|
-
**
|
|
9
|
-
your projects without worrying about pulling dozens of
|
|
8
|
+
**Intentionally minimalistic.** We keep this library intentionally minimalistic.
|
|
9
|
+
You can use it in your projects without worrying about pulling dozens of
|
|
10
|
+
dependencies.
|
|
@@ -1,10 +1,11 @@
|
|
|
1
1
|
[tool.poetry]
|
|
2
2
|
name = "itf-py"
|
|
3
|
-
version = "0.1.
|
|
3
|
+
version = "0.1.2"
|
|
4
4
|
description = "Python library to parse and emit Apalache ITF traces"
|
|
5
5
|
homepage = "https://github.com/konnov/itf-py"
|
|
6
6
|
authors = ["Igor Konnov <igor@konnov.phd>"]
|
|
7
7
|
readme = "README.md"
|
|
8
|
+
keywords = ["itf", "trace", "parser", "tlaplus", "apalache", "quint"]
|
|
8
9
|
packages = [{include = "itf_py", from = "src"}]
|
|
9
10
|
|
|
10
11
|
[tool.poetry.dependencies]
|
|
File without changes
|
|
File without changes
|