itf-py 0.1.0__py3-none-any.whl → 0.1.1__py3-none-any.whl

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.

Files changed (4) hide show
  1. {itf_py-0.1.0.dist-info → itf_py-0.1.1.dist-info}/METADATA +5 -3
  2. itf_py-0.1.1.dist-info/RECORD +5 -0
  3. itf_py-0.1.0.dist-info/RECORD +0 -5
  4. {itf_py-0.1.0.dist-info → itf_py-0.1.1.dist-info}/WHEEL +0 -0
{itf_py-0.1.0.dist-info → itf_py-0.1.1.dist-info}/METADATA RENAMED
@@ -1,7 +1,8 @@
1
1
  Metadata-Version: 2.3
2
2
  Name: itf-py
3
- Version: 0.1.0
3
+ Version: 0.1.1
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
- **No fluff.** We keep this library intentionally minimalistic. You can use it in
22
- your projects without worrying about pulling dozens of dependencies.
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.
itf_py-0.1.1.dist-info/RECORD ADDED
@@ -0,0 +1,5 @@
1
+ itf_py/__init__.py,sha256=TxSVie2ZFBXBjC11rLydd61ddyRgUjnCFo31CCk69aE,142
2
+ itf_py/itf.py,sha256=OGTElw_qBsh0fngjw3PjGF-Q2dRXMwt6o-YT2xvZ2Pw,3438
3
+ itf_py-0.1.1.dist-info/METADATA,sha256=ZUFtFuzvNuEZ-NRfvuRF48ZIY9rQxMj6fjiqYc8Ndjg,985
4
+ itf_py-0.1.1.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
5
+ itf_py-0.1.1.dist-info/RECORD,,
itf_py-0.1.0.dist-info/RECORD DELETED
@@ -1,5 +0,0 @@
1
- itf_py/__init__.py,sha256=TxSVie2ZFBXBjC11rLydd61ddyRgUjnCFo31CCk69aE,142
2
- itf_py/itf.py,sha256=OGTElw_qBsh0fngjw3PjGF-Q2dRXMwt6o-YT2xvZ2Pw,3438
3
- itf_py-0.1.0.dist-info/METADATA,sha256=ZHTtlemX1hWeoNMhG_mAk-mbZFt4jCQ6UUdGvOhbKco,917
4
- itf_py-0.1.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
5
- itf_py-0.1.0.dist-info/RECORD,,
{itf_py-0.1.0.dist-info → itf_py-0.1.1.dist-info}/WHEEL RENAMED
File without changes