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.
Files changed (148) hide show
  1. {wunderspec-0.129.8 → wunderspec-0.131.1}/PKG-INFO +10 -3
  2. {wunderspec-0.129.8 → wunderspec-0.131.1}/README.md +9 -2
  3. wunderspec-0.131.1/assets/design/svg/wunderspec_flower.svg +2415 -0
  4. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/wunderspec-five-minutes.md +6 -5
  5. {wunderspec-0.129.8 → wunderspec-0.131.1}/pyproject.toml +1 -1
  6. {wunderspec-0.129.8 → wunderspec-0.131.1}/tests/README.md +10 -10
  7. {wunderspec-0.129.8 → wunderspec-0.131.1}/uv.lock +1 -1
  8. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/__init__.py +1 -1
  9. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/quint_convert.py +141 -11
  10. {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/Dockerfile +0 -0
  11. {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/devcontainer.json +0 -0
  12. {wunderspec-0.129.8 → wunderspec-0.131.1}/.devcontainer/post-create.sh +0 -0
  13. {wunderspec-0.129.8 → wunderspec-0.131.1}/.flake8 +0 -0
  14. {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/build.yml +0 -0
  15. {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/convert-to-tla.yml +0 -0
  16. {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/lint.yml +0 -0
  17. {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/publish.yml +0 -0
  18. {wunderspec-0.129.8 → wunderspec-0.131.1}/.github/workflows/run-examples.yml +0 -0
  19. {wunderspec-0.129.8 → wunderspec-0.131.1}/.gitignore +0 -0
  20. {wunderspec-0.129.8 → wunderspec-0.131.1}/CONTRIBUTING.md +0 -0
  21. {wunderspec-0.129.8 → wunderspec-0.131.1}/LICENSE +0 -0
  22. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/README.md +0 -0
  23. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-1024.png +0 -0
  24. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-256.png +0 -0
  25. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-avatar-github-512.png +0 -0
  26. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-dark-1024.png +0 -0
  27. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-dark-512.png +0 -0
  28. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-icon-circle-transparent-1024.png +0 -0
  29. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-lockup-horizontal-dark-1600.png +0 -0
  30. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-lockup-horizontal-dark-800.png +0 -0
  31. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-mark-transparent-1024.png +0 -0
  32. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-readme-header-dark-1200x480.png +0 -0
  33. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-readme-header-dark-1600x640.png +0 -0
  34. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-social-preview-1280x640.png +0 -0
  35. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/png/wunderspec-wordmark-transparent-900.png +0 -0
  36. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-avatar-github.svg +0 -0
  37. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-icon-circle-dark.svg +0 -0
  38. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-icon-circle-transparent.svg +0 -0
  39. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-lockup-horizontal-dark.svg +0 -0
  40. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-lockup-horizontal-transparent.svg +0 -0
  41. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-mark-transparent.svg +0 -0
  42. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-readme-header-dark.svg +0 -0
  43. {wunderspec-0.129.8 → wunderspec-0.131.1}/assets/design/svg/wunderspec-wordmark-transparent.svg +0 -0
  44. {wunderspec-0.129.8 → wunderspec-0.131.1}/basedpyrightconfig.json +0 -0
  45. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/references/from-quint-llms.md +0 -0
  46. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/references/from-tla-llms.md +0 -0
  47. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/booleans.md +0 -0
  48. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/cheatsheet.html +0 -0
  49. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/comprehensions.md +0 -0
  50. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/decorators.md +0 -0
  51. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/enums.md +0 -0
  52. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/flow.md +0 -0
  53. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/integers.md +0 -0
  54. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/lists.md +0 -0
  55. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/maps.md +0 -0
  56. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/records.md +0 -0
  57. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/sets.md +0 -0
  58. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/state-machine.md +0 -0
  59. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/strings.md +0 -0
  60. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/temporal.md +0 -0
  61. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/tuples.md +0 -0
  62. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-references/unions.md +0 -0
  63. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/bobs_log.md +0 -0
  64. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/bobs_log.png +0 -0
  65. {wunderspec-0.129.8 → wunderspec-0.131.1}/docs/user-stories/img/bob.png +0 -0
  66. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bags.py +0 -0
  67. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bakery.py +0 -0
  68. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/bakery_walk.py +0 -0
  69. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/ben_or.py +0 -0
  70. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/channel.py +0 -0
  71. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/dekker.py +0 -0
  72. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/epfd.py +0 -0
  73. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/examples.yaml +0 -0
  74. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/fifo.py +0 -0
  75. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/fpaxos.py +0 -0
  76. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/kv_store.py +0 -0
  77. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/lamport_mutex.py +0 -0
  78. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/ledger.py +0 -0
  79. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/minimmit.py +0 -0
  80. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/payment.py +0 -0
  81. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/producer_consumer.py +0 -0
  82. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/readers_writers.py +0 -0
  83. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/readers_writers_walk.py +0 -0
  84. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi.py +0 -0
  85. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi_machine.py +0 -0
  86. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_ponzi_machine_walk.py +0 -0
  87. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_wal1.py +0 -0
  88. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/simple_wal2.py +0 -0
  89. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/sliding_puzzles.py +0 -0
  90. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/sloppy_counter.py +0 -0
  91. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/test_simple_ponzi_machine.py +0 -0
  92. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/tiny_workers.py +0 -0
  93. {wunderspec-0.129.8 → wunderspec-0.131.1}/examples/two_phase.py +0 -0
  94. {wunderspec-0.129.8 → wunderspec-0.131.1}/pyrightconfig.json +0 -0
  95. {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/__init__.py +0 -0
  96. {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/_spec_utils.py +0 -0
  97. {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/convert_examples_to_tla.py +0 -0
  98. {wunderspec-0.129.8 → wunderspec-0.131.1}/scripts/run_examples.py +0 -0
  99. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/__main__.py +0 -0
  100. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/_edition.py +0 -0
  101. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/apalache.py +0 -0
  102. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/api.py +0 -0
  103. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/__init__.py +0 -0
  104. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/action_ast.py +0 -0
  105. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/ast.py +0 -0
  106. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/list_ast.py +0 -0
  107. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/map_ast.py +0 -0
  108. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/record_ast.py +0 -0
  109. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/serialization.py +0 -0
  110. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/set_ast.py +0 -0
  111. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/sorts.py +0 -0
  112. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/temporal_ast.py +0 -0
  113. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/terms.py +0 -0
  114. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/tuple_ast.py +0 -0
  115. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/ast/union_ast.py +0 -0
  116. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/cli.py +0 -0
  117. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/dev_debug.py +0 -0
  118. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/doc_format.py +0 -0
  119. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/errors.py +0 -0
  120. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/__init__.py +0 -0
  121. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/action_exec.py +0 -0
  122. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/context.py +0 -0
  123. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/exec/scheduler.py +0 -0
  124. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/explain.py +0 -0
  125. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/expr.py +0 -0
  126. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/flow.py +0 -0
  127. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/fuzzer.py +0 -0
  128. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter.py +0 -0
  129. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter_sampling.py +0 -0
  130. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/interpreter_value.py +0 -0
  131. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/itf_trace.py +0 -0
  132. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/lang.py +0 -0
  133. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/linter.py +0 -0
  134. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/machine.py +0 -0
  135. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/model_checker.py +0 -0
  136. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/permutation.py +0 -0
  137. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/petnames.py +0 -0
  138. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/pretty.py +0 -0
  139. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/py.typed +0 -0
  140. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/random_walk.py +0 -0
  141. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/source_tracking.py +0 -0
  142. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/submachine.py +0 -0
  143. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/sym_context.py +0 -0
  144. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tla.py +0 -0
  145. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tlc.py +0 -0
  146. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/tlc_trace.py +0 -0
  147. {wunderspec-0.129.8 → wunderspec-0.131.1}/wunderspec/trace_output.py +0 -0
  148. {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.129.8
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.129.8`
94
- - Source commit: `370a2fc4ee7aa0311e6df15487d0f2079e6f148e`
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.129.8`
78
- - Source commit: `370a2fc4ee7aa0311e6df15487d0f2079e6f148e`
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