wunderspec 0.129.6__tar.gz → 0.129.7__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.6 → wunderspec-0.129.7}/PKG-INFO +4 -4
- {wunderspec-0.129.6 → wunderspec-0.129.7}/README.md +3 -3
- {wunderspec-0.129.6 → wunderspec-0.129.7}/pyproject.toml +1 -1
- {wunderspec-0.129.6 → wunderspec-0.129.7}/tests/README.md +4 -4
- {wunderspec-0.129.6 → wunderspec-0.129.7}/uv.lock +1 -1
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/__init__.py +1 -1
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.devcontainer/Dockerfile +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.devcontainer/devcontainer.json +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.devcontainer/post-create.sh +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.flake8 +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.github/workflows/build.yml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.github/workflows/convert-to-tla.yml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.github/workflows/lint.yml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.github/workflows/publish.yml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.github/workflows/run-examples.yml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/.gitignore +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/CONTRIBUTING.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/LICENSE +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/README.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-1024.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-256.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-512.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-icon-circle-dark-1024.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-icon-circle-dark-512.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-icon-circle-transparent-1024.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-lockup-horizontal-dark-1600.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-lockup-horizontal-dark-800.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-mark-transparent-1024.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-readme-header-dark-1200x480.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-readme-header-dark-1600x640.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-social-preview-1280x640.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-wordmark-transparent-900.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-avatar-github.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-icon-circle-dark.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-icon-circle-transparent.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-lockup-horizontal-dark.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-lockup-horizontal-transparent.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-mark-transparent.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-readme-header-dark.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-wordmark-transparent.svg +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/basedpyrightconfig.json +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/references/from-quint-llms.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/references/from-tla-llms.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/booleans.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/cheatsheet.html +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/comprehensions.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/decorators.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/enums.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/flow.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/integers.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/lists.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/maps.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/records.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/sets.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/state-machine.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/strings.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/temporal.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/tuples.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/unions.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-references/wunderspec-five-minutes.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-stories/bobs_log.md +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-stories/bobs_log.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/docs/user-stories/img/bob.png +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/bags.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/bakery.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/bakery_walk.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/ben_or.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/channel.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/dekker.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/epfd.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/examples.yaml +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/fifo.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/fpaxos.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/kv_store.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/lamport_mutex.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/ledger.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/minimmit.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/payment.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/producer_consumer.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/readers_writers.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/readers_writers_walk.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/simple_ponzi.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/simple_ponzi_machine.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/simple_ponzi_machine_walk.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/simple_wal1.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/simple_wal2.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/sliding_puzzles.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/sloppy_counter.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/test_simple_ponzi_machine.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/tiny_workers.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/examples/two_phase.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/pyrightconfig.json +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/scripts/__init__.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/scripts/_spec_utils.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/scripts/convert_examples_to_tla.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/scripts/run_examples.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/__main__.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/_edition.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/apalache.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/api.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/__init__.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/action_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/list_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/map_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/record_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/serialization.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/set_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/sorts.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/temporal_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/terms.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/tuple_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/ast/union_ast.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/cli.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/dev_debug.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/doc_format.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/errors.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/exec/__init__.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/exec/action_exec.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/exec/context.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/exec/scheduler.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/explain.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/expr.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/flow.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/fuzzer.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/interpreter.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/interpreter_sampling.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/interpreter_value.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/itf_trace.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/lang.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/linter.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/machine.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/model_checker.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/permutation.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/petnames.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/pretty.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/py.typed +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/quint_convert.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/random_walk.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/source_tracking.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/submachine.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/sym_context.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/tla.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/tlc.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/tlc_trace.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/trace_output.py +0 -0
- {wunderspec-0.129.6 → wunderspec-0.129.7}/wunderspec/uniq_names.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: wunderspec
|
|
3
|
-
Version: 0.129.
|
|
3
|
+
Version: 0.129.7
|
|
4
4
|
Summary: Protocol specifications as Python code
|
|
5
5
|
Author: Igor Konnov, Thomas Pani
|
|
6
6
|
License-File: LICENSE
|
|
@@ -90,8 +90,8 @@ commands are not included in this package.
|
|
|
90
90
|
|
|
91
91
|
## 4. Release Provenance
|
|
92
92
|
|
|
93
|
-
- Release tag: `v0.129.
|
|
94
|
-
- Source commit: `
|
|
93
|
+
- Release tag: `v0.129.7`
|
|
94
|
+
- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
|
|
95
95
|
|
|
96
96
|
See [tests/README.md][] for the development test log captured at release time.
|
|
97
97
|
|
|
@@ -100,7 +100,7 @@ See [tests/README.md][] for the development test log captured at release time.
|
|
|
100
100
|
Wunderspec is distributed under the Functional Source License, Version 1.1, with
|
|
101
101
|
an Apache 2.0 future license (FSL-1.1-ALv2). See [LICENSE][].
|
|
102
102
|
|
|
103
|
-
[cheatsheet]: https://
|
|
103
|
+
[cheatsheet]: https://wunderspec.com/cheatsheet
|
|
104
104
|
[five-minutes]: https://github.com/wunderspec/wunderspec/blob/main/docs/user-references/wunderspec-five-minutes.md
|
|
105
105
|
[bobs_log]: https://github.com/wunderspec/wunderspec/blob/main/docs/user-stories/bobs_log.md
|
|
106
106
|
[uv]: https://docs.astral.sh/uv/
|
|
@@ -74,8 +74,8 @@ commands are not included in this package.
|
|
|
74
74
|
|
|
75
75
|
## 4. Release Provenance
|
|
76
76
|
|
|
77
|
-
- Release tag: `v0.129.
|
|
78
|
-
- Source commit: `
|
|
77
|
+
- Release tag: `v0.129.7`
|
|
78
|
+
- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
|
|
79
79
|
|
|
80
80
|
See [tests/README.md][] for the development test log captured at release time.
|
|
81
81
|
|
|
@@ -84,7 +84,7 @@ See [tests/README.md][] for the development test log captured at release time.
|
|
|
84
84
|
Wunderspec is distributed under the Functional Source License, Version 1.1, with
|
|
85
85
|
an Apache 2.0 future license (FSL-1.1-ALv2). See [LICENSE][].
|
|
86
86
|
|
|
87
|
-
[cheatsheet]: https://
|
|
87
|
+
[cheatsheet]: https://wunderspec.com/cheatsheet
|
|
88
88
|
[five-minutes]: https://github.com/wunderspec/wunderspec/blob/main/docs/user-references/wunderspec-five-minutes.md
|
|
89
89
|
[bobs_log]: https://github.com/wunderspec/wunderspec/blob/main/docs/user-stories/bobs_log.md
|
|
90
90
|
[uv]: https://docs.astral.sh/uv/
|
|
@@ -6,9 +6,9 @@ public distribution to keep the package focused. The full development
|
|
|
6
6
|
|
|
7
7
|
## Release Provenance
|
|
8
8
|
|
|
9
|
-
- Release tag: `v0.129.
|
|
10
|
-
- Source commit: `
|
|
11
|
-
- Test log captured at: `2026-06-16T19:
|
|
9
|
+
- Release tag: `v0.129.7`
|
|
10
|
+
- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
|
|
11
|
+
- Test log captured at: `2026-06-16T19:26:12Z`
|
|
12
12
|
- `make test` exit code: `0`
|
|
13
13
|
|
|
14
14
|
## Full Test Log From the Development Repository
|
|
@@ -124,5 +124,5 @@ tests/test_tla.py ...................................................... [ 94%]
|
|
|
124
124
|
tests/test_tlc_trace.py .... [ 98%]
|
|
125
125
|
tests/test_trace_output.py ......................... [100%]
|
|
126
126
|
|
|
127
|
-
====================== 2344 passed, 11 skipped in
|
|
127
|
+
====================== 2344 passed, 11 skipped in 29.78s =======================
|
|
128
128
|
```
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-1024.png
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-256.png
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-avatar-github-512.png
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-icon-circle-dark-1024.png
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-icon-circle-dark-512.png
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-mark-transparent-1024.png
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-social-preview-1280x640.png
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/png/wunderspec-wordmark-transparent-900.png
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-icon-circle-transparent.svg
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-lockup-horizontal-dark.svg
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-readme-header-dark.svg
RENAMED
|
File without changes
|
{wunderspec-0.129.6 → wunderspec-0.129.7}/assets/design/svg/wunderspec-wordmark-transparent.svg
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|