egglog 11.1.0__tar.gz → 11.2.0__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 egglog might be problematic. Click here for more details.

Files changed (142) hide show
  1. {egglog-11.1.0 → egglog-11.2.0}/.github/workflows/CI.yml +1 -1
  2. {egglog-11.1.0 → egglog-11.2.0}/.github/workflows/version.yml +5 -5
  3. {egglog-11.1.0 → egglog-11.2.0}/.gitignore +1 -0
  4. {egglog-11.1.0 → egglog-11.2.0}/.pre-commit-config.yaml +2 -2
  5. {egglog-11.1.0 → egglog-11.2.0}/Cargo.lock +306 -356
  6. {egglog-11.1.0 → egglog-11.2.0}/Cargo.toml +12 -11
  7. {egglog-11.1.0 → egglog-11.2.0}/PKG-INFO +1 -1
  8. {egglog-11.1.0 → egglog-11.2.0}/docs/changelog.md +12 -0
  9. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/egglog-translation.md +53 -11
  10. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/python-integration.md +4 -3
  11. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/bindings.pyi +96 -21
  12. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/declarations.py +9 -1
  13. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/egraph.py +111 -35
  14. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/egraph_state.py +49 -6
  15. egglog-11.2.0/python/egglog/examples/jointree.py +67 -0
  16. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/array_api.py +1 -1
  17. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/pretty.py +13 -0
  18. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/runtime.py +30 -3
  19. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_bindings.py +7 -6
  20. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_high_level.py +133 -5
  21. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_py_object_sort.py +8 -6
  22. egglog-11.2.0/rust-toolchain.toml +2 -0
  23. {egglog-11.1.0 → egglog-11.2.0}/src/conversions.rs +104 -30
  24. {egglog-11.1.0 → egglog-11.2.0}/src/egraph.rs +17 -32
  25. {egglog-11.1.0 → egglog-11.2.0}/src/lib.rs +2 -1
  26. {egglog-11.1.0 → egglog-11.2.0}/src/py_object_sort.rs +33 -69
  27. {egglog-11.1.0 → egglog-11.2.0}/src/serialize.rs +4 -0
  28. {egglog-11.1.0 → egglog-11.2.0}/src/utils.rs +2 -2
  29. {egglog-11.1.0 → egglog-11.2.0}/uv.lock +783 -713
  30. egglog-11.1.0/rust-toolchain.toml +0 -2
  31. {egglog-11.1.0 → egglog-11.2.0}/.cargo/config.toml +0 -0
  32. {egglog-11.1.0 → egglog-11.2.0}/.github/dependabot.yml +0 -0
  33. {egglog-11.1.0 → egglog-11.2.0}/.github/workflows/update-changelog.yml +0 -0
  34. {egglog-11.1.0 → egglog-11.2.0}/.python-version +0 -0
  35. {egglog-11.1.0 → egglog-11.2.0}/.readthedocs.yaml +0 -0
  36. {egglog-11.1.0 → egglog-11.2.0}/CITATION.cff +0 -0
  37. {egglog-11.1.0 → egglog-11.2.0}/LICENSE +0 -0
  38. {egglog-11.1.0 → egglog-11.2.0}/Makefile +0 -0
  39. {egglog-11.1.0 → egglog-11.2.0}/README.md +0 -0
  40. {egglog-11.1.0 → egglog-11.2.0}/conftest.py +0 -0
  41. {egglog-11.1.0 → egglog-11.2.0}/docs/.gitignore +0 -0
  42. {egglog-11.1.0 → egglog-11.2.0}/docs/_templates/comments.html +0 -0
  43. {egglog-11.1.0 → egglog-11.2.0}/docs/conf.py +0 -0
  44. {egglog-11.1.0 → egglog-11.2.0}/docs/environment.yml +0 -0
  45. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/.gitignore +0 -0
  46. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_07_presentation.ipynb +0 -0
  47. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_11_09_portland_state.ipynb +0 -0
  48. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_11_17_pytensor.ipynb +0 -0
  49. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_11_pydata_lightning_talk.ipynb +0 -0
  50. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_12_02_congruence_closure-1.png +0 -0
  51. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_12_02_congruence_closure-2.png +0 -0
  52. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2023_12_02_congruence_closure.md +0 -0
  53. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2024_03_17_community_talk.ipynb +0 -0
  54. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/2024_03_17_map.svg +0 -0
  55. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/big_graph.svg +0 -0
  56. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/define_and_define.md +0 -0
  57. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/ecosystem-graph.png +0 -0
  58. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/egg.png +0 -0
  59. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/indexing_pushdown.ipynb +0 -0
  60. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/moa.png +0 -0
  61. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/optional_values.md +0 -0
  62. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation/pldi_2023_presentation.ipynb +0 -0
  63. {egglog-11.1.0 → egglog-11.2.0}/docs/explanation.md +0 -0
  64. {egglog-11.1.0 → egglog-11.2.0}/docs/how-to-guides.md +0 -0
  65. {egglog-11.1.0 → egglog-11.2.0}/docs/index.md +0 -0
  66. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/bindings.md +0 -0
  67. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/contributing.md +0 -0
  68. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/high-level.md +0 -0
  69. {egglog-11.1.0 → egglog-11.2.0}/docs/reference/usage.md +0 -0
  70. {egglog-11.1.0 → egglog-11.2.0}/docs/reference.md +0 -0
  71. {egglog-11.1.0 → egglog-11.2.0}/docs/tutorials/getting-started.ipynb +0 -0
  72. {egglog-11.1.0 → egglog-11.2.0}/docs/tutorials/screenshot-1.png +0 -0
  73. {egglog-11.1.0 → egglog-11.2.0}/docs/tutorials/screenshot-2.png +0 -0
  74. {egglog-11.1.0 → egglog-11.2.0}/docs/tutorials/sklearn.ipynb +0 -0
  75. {egglog-11.1.0 → egglog-11.2.0}/docs/tutorials.md +0 -0
  76. {egglog-11.1.0 → egglog-11.2.0}/modify_changelog.py +0 -0
  77. {egglog-11.1.0 → egglog-11.2.0}/pyproject.toml +0 -0
  78. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/__init__.py +0 -0
  79. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/builtins.py +0 -0
  80. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/config.py +0 -0
  81. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/conversion.py +0 -0
  82. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/deconstruct.py +0 -0
  83. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/README.rst +0 -0
  84. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/__init__.py +0 -0
  85. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/bignum.py +0 -0
  86. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/bool.py +0 -0
  87. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/eqsat_basic.py +0 -0
  88. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/fib.py +0 -0
  89. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/higher_order_functions.py +0 -0
  90. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/lambda_.py +0 -0
  91. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/matrix.py +0 -0
  92. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/multiset.py +0 -0
  93. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/ndarrays.py +0 -0
  94. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/resolution.py +0 -0
  95. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/examples/schedule_demo.py +0 -0
  96. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/__init__.py +0 -0
  97. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/array_api_jit.py +0 -0
  98. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/array_api_loopnest.py +0 -0
  99. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/array_api_numba.py +0 -0
  100. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/array_api_program_gen.py +0 -0
  101. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/program_gen.py +0 -0
  102. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/exp/siu_examples.py +0 -0
  103. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/ipython_magic.py +0 -0
  104. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/py.typed +0 -0
  105. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/thunk.py +0 -0
  106. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/type_constraint_solver.py +0 -0
  107. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/version_compat.py +0 -0
  108. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/visualizer.css +0 -0
  109. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/visualizer.js +0 -0
  110. {egglog-11.1.0 → egglog-11.2.0}/python/egglog/visualizer_widget.py +0 -0
  111. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[code].py +0 -0
  112. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[expr].py +0 -0
  113. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[add][code].py +0 -0
  114. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[add][expr].py +0 -0
  115. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[add][initial_expr].py +0 -0
  116. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][code].py +0 -0
  117. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][expr].py +0 -0
  118. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][initial_expr].py +0 -0
  119. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][code].py +0 -0
  120. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][expr].py +0 -0
  121. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][initial_expr].py +0 -0
  122. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_program_compile[tuple][code].py +0 -0
  123. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_array_api/test_program_compile[tuple][expr].py +0 -0
  124. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_bindings/TestEGraph.test_parse_program.py +0 -0
  125. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_program_gen/test_to_string.py +0 -0
  126. {egglog-11.1.0 → egglog-11.2.0}/python/tests/__snapshots__/test_program_gen/test_to_string_function_three.py +0 -0
  127. {egglog-11.1.0 → egglog-11.2.0}/python/tests/conftest.py +0 -0
  128. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_array_api.py +0 -0
  129. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_convert.py +0 -0
  130. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_deconstruct.py +0 -0
  131. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_modify_changelog.py +0 -0
  132. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_no_import_star.py +0 -0
  133. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_pretty.py +0 -0
  134. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_program_gen.py +0 -0
  135. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_runtime.py +0 -0
  136. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_type_constraint_solver.py +0 -0
  137. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_typing.py +0 -0
  138. {egglog-11.1.0 → egglog-11.2.0}/python/tests/test_unstable_fn.py +0 -0
  139. {egglog-11.1.0 → egglog-11.2.0}/src/error.rs +0 -0
  140. {egglog-11.1.0 → egglog-11.2.0}/src/termdag.rs +0 -0
  141. {egglog-11.1.0 → egglog-11.2.0}/stubtest_allow +0 -0
  142. {egglog-11.1.0 → egglog-11.2.0}/test-data/unit/check-high-level.test +0 -0
{egglog-11.1.0 → egglog-11.2.0}/.github/workflows/CI.yml RENAMED
@@ -68,7 +68,7 @@ jobs:
68
68
  - run: |
69
69
  export UV_PROJECT_ENVIRONMENT="${pythonLocation}"
70
70
  uv sync --extra test --locked
71
- - uses: CodSpeedHQ/action@v3.8.0
71
+ - uses: CodSpeedHQ/action@v3.8.1
72
72
  with:
73
73
  token: ${{ secrets.CODSPEED_TOKEN }}
74
74
  # allow updating snapshots due to indeterministic benchmarks
{egglog-11.1.0 → egglog-11.2.0}/.github/workflows/version.yml RENAMED
@@ -65,7 +65,7 @@ jobs:
65
65
  ref: version-${{ needs.bump.outputs.version }}
66
66
  - uses: actions/checkout@v5
67
67
  if: ${{ needs.bump.result == 'skipped' }}
68
- - uses: PyO3/maturin-action@v1.49.3
68
+ - uses: PyO3/maturin-action@v1.49.4
69
69
  with:
70
70
  target: ${{ matrix.target }}
71
71
  manylinux: auto
@@ -91,7 +91,7 @@ jobs:
91
91
  if: ${{ needs.bump.result == 'skipped' }}
92
92
  - name: Setup QEMU
93
93
  uses: docker/setup-qemu-action@v3
94
- - uses: PyO3/maturin-action@v1.49.3
94
+ - uses: PyO3/maturin-action@v1.49.4
95
95
  with:
96
96
  manylinux: auto
97
97
  command: build
@@ -114,7 +114,7 @@ jobs:
114
114
  ref: version-${{ needs.bump.outputs.version }}
115
115
  - uses: actions/checkout@v5
116
116
  if: ${{ needs.bump.result == 'skipped' }}
117
- - uses: PyO3/maturin-action@v1.49.3
117
+ - uses: PyO3/maturin-action@v1.49.4
118
118
  with:
119
119
  command: build
120
120
  args: --release -o dist --find-interpreter
@@ -136,7 +136,7 @@ jobs:
136
136
  ref: version-${{ needs.bump.outputs.version }}
137
137
  - uses: actions/checkout@v5
138
138
  if: ${{ needs.bump.result == 'skipped' }}
139
- - uses: PyO3/maturin-action@v1.49.3
139
+ - uses: PyO3/maturin-action@v1.49.4
140
140
  with:
141
141
  command: build
142
142
  target: universal2-apple-darwin
@@ -158,7 +158,7 @@ jobs:
158
158
  pattern: wheels-*
159
159
  merge-multiple: true
160
160
  - name: Publish to PyPI
161
- uses: PyO3/maturin-action@v1.49.3
161
+ uses: PyO3/maturin-action@v1.49.4
162
162
  env:
163
163
  MATURIN_PYPI_TOKEN: ${{ secrets.PYPI_API_TOKEN }}
164
164
  with:
{egglog-11.1.0 → egglog-11.2.0}/.gitignore RENAMED
@@ -84,3 +84,4 @@ Source.*
84
84
  inlined
85
85
  visualizer.tgz
86
86
  package
87
+ .mypy_cache/
{egglog-11.1.0 → egglog-11.2.0}/.pre-commit-config.yaml RENAMED
@@ -1,12 +1,12 @@
1
1
  exclude: ^python/tests/__snapshots__/
2
2
  repos:
3
3
  - repo: https://github.com/astral-sh/ruff-pre-commit
4
- rev: v0.12.7
4
+ rev: v0.12.11
5
5
  hooks:
6
6
  - id: ruff-check
7
7
  args: [--fix]
8
8
  - id: ruff-format
9
9
  - repo: https://github.com/astral-sh/uv-pre-commit
10
- rev: 0.8.5
10
+ rev: 0.8.14
11
11
  hooks:
12
12
  - id: uv-lock