egglog 6.0.1__tar.gz → 6.1.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 (104) hide show
  1. {egglog-6.0.1 → egglog-6.1.0}/Cargo.lock +2 -2
  2. {egglog-6.0.1 → egglog-6.1.0}/Cargo.toml +2 -2
  3. {egglog-6.0.1 → egglog-6.1.0}/PKG-INFO +12 -12
  4. {egglog-6.0.1 → egglog-6.1.0}/docs/changelog.md +6 -0
  5. egglog-6.1.0/docs/explanation/2024_03_17_community_talk.ipynb +9538 -0
  6. egglog-6.1.0/docs/explanation/2024_03_17_map.svg +15 -0
  7. {egglog-6.0.1 → egglog-6.1.0}/pyproject.toml +5 -0
  8. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/bindings.pyi +22 -4
  9. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/egraph.py +23 -14
  10. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api.py +4 -4
  11. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_numba.py +8 -11
  12. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_bindings.py +27 -1
  13. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_high_level.py +10 -6
  14. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_modules.py +9 -6
  15. {egglog-6.0.1 → egglog-6.1.0}/src/conversions.rs +23 -10
  16. {egglog-6.0.1 → egglog-6.1.0}/src/serialize.rs +0 -1
  17. {egglog-6.0.1 → egglog-6.1.0}/src/utils.rs +1 -1
  18. {egglog-6.0.1 → egglog-6.1.0}/stubtest_allow +2 -0
  19. {egglog-6.0.1 → egglog-6.1.0}/.github/workflows/CI.yml +0 -0
  20. {egglog-6.0.1 → egglog-6.1.0}/.gitignore +0 -0
  21. {egglog-6.0.1 → egglog-6.1.0}/.pre-commit-config.yaml +0 -0
  22. {egglog-6.0.1 → egglog-6.1.0}/.readthedocs.yaml +0 -0
  23. {egglog-6.0.1 → egglog-6.1.0}/LICENSE +0 -0
  24. {egglog-6.0.1 → egglog-6.1.0}/README.md +0 -0
  25. {egglog-6.0.1 → egglog-6.1.0}/conftest.py +0 -0
  26. {egglog-6.0.1 → egglog-6.1.0}/docs/.gitignore +0 -0
  27. {egglog-6.0.1 → egglog-6.1.0}/docs/_templates/comments.html +0 -0
  28. {egglog-6.0.1 → egglog-6.1.0}/docs/conf.py +0 -0
  29. {egglog-6.0.1 → egglog-6.1.0}/docs/environment.yml +0 -0
  30. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/.gitignore +0 -0
  31. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_07_presentation.ipynb +0 -0
  32. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_09_portland_state.ipynb +0 -0
  33. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_17_pytensor.ipynb +0 -0
  34. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_pydata_lightning_talk.ipynb +0 -0
  35. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure-1.png +0 -0
  36. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure-2.png +0 -0
  37. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure.md +0 -0
  38. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/big_graph.svg +0 -0
  39. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/define_and_define.md +0 -0
  40. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/ecosystem-graph.png +0 -0
  41. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/egg.png +0 -0
  42. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/indexing_pushdown.ipynb +0 -0
  43. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/moa.png +0 -0
  44. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/optional_values.md +0 -0
  45. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/pldi_2023_presentation.ipynb +0 -0
  46. {egglog-6.0.1 → egglog-6.1.0}/docs/explanation.md +0 -0
  47. {egglog-6.0.1 → egglog-6.1.0}/docs/how-to-guides.md +0 -0
  48. {egglog-6.0.1 → egglog-6.1.0}/docs/index.md +0 -0
  49. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/bindings.md +0 -0
  50. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/contributing.md +0 -0
  51. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/egglog-translation.md +0 -0
  52. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/high-level.md +0 -0
  53. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/python-integration.md +0 -0
  54. {egglog-6.0.1 → egglog-6.1.0}/docs/reference/usage.md +0 -0
  55. {egglog-6.0.1 → egglog-6.1.0}/docs/reference.md +0 -0
  56. {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/getting-started.ipynb +0 -0
  57. {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/screenshot-1.png +0 -0
  58. {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/screenshot-2.png +0 -0
  59. {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/sklearn.ipynb +0 -0
  60. {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials.md +0 -0
  61. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/__init__.py +0 -0
  62. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/builtins.py +0 -0
  63. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/config.py +0 -0
  64. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/declarations.py +0 -0
  65. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/README.rst +0 -0
  66. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/__init__.py +0 -0
  67. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/bool.py +0 -0
  68. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/eqsat_basic.py +0 -0
  69. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/fib.py +0 -0
  70. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/lambda_.py +0 -0
  71. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/matrix.py +0 -0
  72. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/ndarrays.py +0 -0
  73. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/resolution.py +0 -0
  74. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/schedule_demo.py +0 -0
  75. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/__init__.py +0 -0
  76. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_jit.py +0 -0
  77. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_program_gen.py +0 -0
  78. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/program_gen.py +0 -0
  79. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/graphviz_widget.py +0 -0
  80. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/ipython_magic.py +0 -0
  81. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/py.typed +0 -0
  82. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/runtime.py +0 -0
  83. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/type_constraint_solver.py +0 -0
  84. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/widget.css +0 -0
  85. {egglog-6.0.1 → egglog-6.1.0}/python/egglog/widget.js +0 -0
  86. {egglog-6.0.1 → egglog-6.1.0}/python/tests/__init__.py +0 -0
  87. {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_optimize.py +0 -0
  88. {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_source_optimized.py +0 -0
  89. {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_trace.py +0 -0
  90. {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_program_gen/test_to_string.py +0 -0
  91. {egglog-6.0.1 → egglog-6.1.0}/python/tests/conftest.py +0 -0
  92. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_array_api.py +0 -0
  93. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_convert.py +0 -0
  94. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_program_gen.py +0 -0
  95. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_py_object_sort.py +0 -0
  96. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_runtime.py +0 -0
  97. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_type_constraint_solver.py +0 -0
  98. {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_typing.py +0 -0
  99. {egglog-6.0.1 → egglog-6.1.0}/rust-toolchain +0 -0
  100. {egglog-6.0.1 → egglog-6.1.0}/src/egraph.rs +0 -0
  101. {egglog-6.0.1 → egglog-6.1.0}/src/error.rs +0 -0
  102. {egglog-6.0.1 → egglog-6.1.0}/src/lib.rs +0 -0
  103. {egglog-6.0.1 → egglog-6.1.0}/src/py_object_sort.rs +0 -0
  104. {egglog-6.0.1 → egglog-6.1.0}/test-data/unit/check-high-level.test +0 -0
@@ -285,7 +285,7 @@ checksum = "675e35c02a51bb4d4618cb4885b3839ce6d1787c97b664474d9208d074742e20"
285
285
  [[package]]
286
286
  name = "egglog"
287
287
  version = "0.1.0"
288
- source = "git+https://github.com/egraphs-good/egglog?rev=4cc011f6b48029dd72104a38a2ca0c7657846e0b#4cc011f6b48029dd72104a38a2ca0c7657846e0b"
288
+ source = "git+https://github.com/egraphs-good/egglog?rev=0113af1d6476b75d4319591cc3d675f96a71cdc5#0113af1d6476b75d4319591cc3d675f96a71cdc5"
289
289
  dependencies = [
290
290
  "clap",
291
291
  "egraph-serialize",
@@ -312,7 +312,7 @@ dependencies = [
312
312
 
313
313
  [[package]]
314
314
  name = "egglog-python"
315
- version = "6.0.1"
315
+ version = "6.1.0"
316
316
  dependencies = [
317
317
  "egglog",
318
318
  "egraph-serialize",
@@ -1,6 +1,6 @@
1
1
  [package]
2
2
  name = "egglog-python"
3
- version = "6.0.1"
3
+ version = "6.1.0"
4
4
  edition = "2021"
5
5
 
6
6
  # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
@@ -12,7 +12,7 @@ crate-type = ["cdylib"]
12
12
  pyo3 = { version = "0.20.2", features = ["extension-module"] }
13
13
 
14
14
  # https://github.com/egraphs-good/egglog/compare/ceed816e9369570ffed9feeba157b19471dda70d...main
15
- egglog = { git = "https://github.com/egraphs-good/egglog", rev = "4cc011f6b48029dd72104a38a2ca0c7657846e0b" }
15
+ egglog = { git = "https://github.com/egraphs-good/egglog", rev = "0113af1d6476b75d4319591cc3d675f96a71cdc5" }
16
16
  # egglog = { git = "https://github.com/oflatt/egg-smol", branch = "oflatt-fast-terms" }
17
17
  # egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "38b3014b34399cc78887ede09c845b2a5d6c7d19" }
18
18
  egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "5838c036623e91540831745b1574539e01c8cb23" }
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: egglog
3
- Version: 6.0.1
3
+ Version: 6.1.0
4
4
  Classifier: Environment :: MacOS X
5
5
  Classifier: Environment :: Win32 (MS Windows)
6
6
  Classifier: Intended Audience :: Developers
@@ -19,6 +19,11 @@ Classifier: Typing :: Typed
19
19
  Requires-Dist: typing-extensions
20
20
  Requires-Dist: black
21
21
  Requires-Dist: graphviz
22
+ Requires-Dist: pre-commit; extra == 'dev'
23
+ Requires-Dist: ruff; extra == 'dev'
24
+ Requires-Dist: mypy; extra == 'dev'
25
+ Requires-Dist: anywidget[dev]; extra == 'dev'
26
+ Requires-Dist: egglog[docs,test]; extra == 'dev'
22
27
  Requires-Dist: pytest; extra == 'test'
23
28
  Requires-Dist: mypy; extra == 'test'
24
29
  Requires-Dist: syrupy; extra == 'test'
@@ -26,11 +31,10 @@ Requires-Dist: egglog[array]; extra == 'test'
26
31
  Requires-Dist: pytest-codspeed; extra == 'test'
27
32
  Requires-Dist: pytest-benchmark; extra == 'test'
28
33
  Requires-Dist: pytest-xdist; extra == 'test'
29
- Requires-Dist: pre-commit; extra == 'dev'
30
- Requires-Dist: ruff; extra == 'dev'
31
- Requires-Dist: mypy; extra == 'dev'
32
- Requires-Dist: anywidget[dev]; extra == 'dev'
33
- Requires-Dist: egglog[docs,test]; extra == 'dev'
34
+ Requires-Dist: scikit-learn; extra == 'array'
35
+ Requires-Dist: array_api_compat; extra == 'array'
36
+ Requires-Dist: numba==0.59.0rc1; extra == 'array'
37
+ Requires-Dist: llvmlite==0.42.0rc1; extra == 'array'
34
38
  Requires-Dist: pydata-sphinx-theme; extra == 'docs'
35
39
  Requires-Dist: myst-nb; extra == 'docs'
36
40
  Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
@@ -43,14 +47,10 @@ Requires-Dist: egglog[array]; extra == 'docs'
43
47
  Requires-Dist: line-profiler; extra == 'docs'
44
48
  Requires-Dist: sphinxcontrib-mermaid; extra == 'docs'
45
49
  Requires-Dist: ablog; extra == 'docs'
46
- Requires-Dist: scikit-learn; extra == 'array'
47
- Requires-Dist: array_api_compat; extra == 'array'
48
- Requires-Dist: numba==0.59.0rc1; extra == 'array'
49
- Requires-Dist: llvmlite==0.42.0rc1; extra == 'array'
50
- Provides-Extra: test
51
50
  Provides-Extra: dev
52
- Provides-Extra: docs
51
+ Provides-Extra: test
53
52
  Provides-Extra: array
53
+ Provides-Extra: docs
54
54
  License-File: LICENSE
55
55
  Summary: e-graphs in Python built around the the egglog rust library
56
56
  License: MIT
@@ -4,6 +4,12 @@ _This project uses semantic versioning_
4
4
 
5
5
  ## UNRELEASED
6
6
 
7
+ ## 6.1.0 (2024-03-06)
8
+
9
+ - Upgrade [egglog](https://github.com/egraphs-good/egglog/compare/4cc011f6b48029dd72104a38a2ca0c7657846e0b...0113af1d6476b75d4319591cc3d675f96a71cdc5)
10
+ - Adds subsume action
11
+ - Makes all objects besides EGraphs "sendable" aka threadsafe ([#129](https://github.com/egraphs-good/egglog-python/pull/129))
12
+
7
13
  ## 6.0.1 (2024-02-28)
8
14
 
9
15
  - Upgrade dependencies, including [egglog](https://github.com/egraphs-good/egglog/compare/ceed816e9369570ffed9feeba157b19471dda70d...4cc011f6b48029dd72104a38a2ca0c7657846e0b)