wunderspec 0.129.8__tar.gz → 0.131.1__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.
- {wunderspec-0.129.8 → wunderspec-0.131.1}/PKG-INFO +10 -3
- {wunderspec-0.129.8 → wunderspec-0.131.1}/README.md +9 -2
- wunderspec-0.131.1/assets/design/svg/wunderspec_flower.svg +2415 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/wunderspec-five-minutes.md +6 -5
- {wunderspec-0.129.8 → wunderspec-0.131.1}/pyproject.toml +1 -1
- {wunderspec-0.129.8 → wunderspec-0.131.1}/tests/README.md +10 -10
- {wunderspec-0.129.8 → wunderspec-0.131.1}/uv.lock +1 -1
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/__init__.py +1 -1
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/quint_convert.py +141 -11
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/Dockerfile +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/devcontainer.json +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/post-create.sh +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.flake8 +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/build.yml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/convert-to-tla.yml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/lint.yml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/publish.yml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/run-examples.yml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/.gitignore +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/CONTRIBUTING.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/LICENSE +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/README.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-1024.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-256.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-512.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-dark-1024.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-dark-512.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-transparent-1024.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-lockup-horizontal-dark-1600.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-lockup-horizontal-dark-800.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-mark-transparent-1024.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-readme-header-dark-1200x480.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-readme-header-dark-1600x640.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-social-preview-1280x640.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-wordmark-transparent-900.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-avatar-github.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-icon-circle-dark.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-icon-circle-transparent.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-lockup-horizontal-dark.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-lockup-horizontal-transparent.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-mark-transparent.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-readme-header-dark.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-wordmark-transparent.svg +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/basedpyrightconfig.json +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/references/from-quint-llms.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/references/from-tla-llms.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/booleans.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/cheatsheet.html +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/comprehensions.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/decorators.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/enums.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/flow.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/integers.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/lists.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/maps.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/records.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/sets.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/state-machine.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/strings.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/temporal.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/tuples.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/unions.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/bobs_log.md +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/bobs_log.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/img/bob.png +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bags.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bakery.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bakery_walk.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/ben_or.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/channel.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/dekker.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/epfd.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/examples.yaml +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/fifo.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/fpaxos.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/kv_store.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/lamport_mutex.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/ledger.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/minimmit.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/payment.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/producer_consumer.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/readers_writers.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/readers_writers_walk.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi_machine.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi_machine_walk.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_wal1.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_wal2.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/sliding_puzzles.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/sloppy_counter.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/test_simple_ponzi_machine.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/tiny_workers.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/two_phase.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/pyrightconfig.json +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/__init__.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/_spec_utils.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/convert_examples_to_tla.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/run_examples.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/__main__.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/_edition.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/apalache.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/api.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/__init__.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/action_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/list_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/map_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/record_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/serialization.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/set_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/sorts.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/temporal_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/terms.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/tuple_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/union_ast.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/cli.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/dev_debug.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/doc_format.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/errors.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/__init__.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/action_exec.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/context.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/scheduler.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/explain.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/expr.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/flow.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/fuzzer.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter_sampling.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter_value.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/itf_trace.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/lang.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/linter.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/machine.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/model_checker.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/permutation.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/petnames.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/pretty.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/py.typed +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/random_walk.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/source_tracking.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/submachine.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/sym_context.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tla.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tlc.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tlc_trace.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/trace_output.py +0 -0
- {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/uniq_names.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: wunderspec
|
|
3
|
-
Version: 0.
|
|
3
|
+
Version: 0.131.1
|
|
4
4
|
Summary: Protocol specifications as Python code
|
|
5
5
|
Author: Igor Konnov, Thomas Pani
|
|
6
6
|
License-File: LICENSE
|
|
@@ -41,6 +41,13 @@ This is **the open-core distribution**.
|
|
|
41
41
|
> 📋 **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
|
|
42
42
|
> summarizes the DSL and CLI in a few pages — keep it open while you work.
|
|
43
43
|
|
|
44
|
+
<div align="center">
|
|
45
|
+
<img
|
|
46
|
+
src="https://raw.githubusercontent.com/wunderspec/wunderspec/main/assets/design/svg/wunderspec_flower.svg"
|
|
47
|
+
alt="Wunderspec Flower"
|
|
48
|
+
width="70%">
|
|
49
|
+
</div>
|
|
50
|
+
|
|
44
51
|
## 1. Wunderspec in Action
|
|
45
52
|
|
|
46
53
|
Follow Bob in [his Wunderspec adventure][bobs_log]. There, Bob writes a
|
|
@@ -90,8 +97,8 @@ commands are not included in this package.
|
|
|
90
97
|
|
|
91
98
|
## 4. Release Provenance
|
|
92
99
|
|
|
93
|
-
- Release tag: `v0.
|
|
94
|
-
- Source commit: `
|
|
100
|
+
- Release tag: `v0.131.1`
|
|
101
|
+
- Source commit: `622d23632bea897a636483491f96c576e3c37bbe`
|
|
95
102
|
|
|
96
103
|
See [tests/README.md][] for the development test log captured at release time.
|
|
97
104
|
|
|
@@ -25,6 +25,13 @@ This is **the open-core distribution**.
|
|
|
25
25
|
> 📋 **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
|
|
26
26
|
> summarizes the DSL and CLI in a few pages — keep it open while you work.
|
|
27
27
|
|
|
28
|
+
<div align="center">
|
|
29
|
+
<img
|
|
30
|
+
src="https://raw.githubusercontent.com/wunderspec/wunderspec/main/assets/design/svg/wunderspec_flower.svg"
|
|
31
|
+
alt="Wunderspec Flower"
|
|
32
|
+
width="70%">
|
|
33
|
+
</div>
|
|
34
|
+
|
|
28
35
|
## 1. Wunderspec in Action
|
|
29
36
|
|
|
30
37
|
Follow Bob in [his Wunderspec adventure][bobs_log]. There, Bob writes a
|
|
@@ -74,8 +81,8 @@ commands are not included in this package.
|
|
|
74
81
|
|
|
75
82
|
## 4. Release Provenance
|
|
76
83
|
|
|
77
|
-
- Release tag: `v0.
|
|
78
|
-
- Source commit: `
|
|
84
|
+
- Release tag: `v0.131.1`
|
|
85
|
+
- Source commit: `622d23632bea897a636483491f96c576e3c37bbe`
|
|
79
86
|
|
|
80
87
|
See [tests/README.md][] for the development test log captured at release time.
|
|
81
88
|
|