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.
- {egglog-6.0.1 → egglog-6.1.0}/Cargo.lock +2 -2
- {egglog-6.0.1 → egglog-6.1.0}/Cargo.toml +2 -2
- {egglog-6.0.1 → egglog-6.1.0}/PKG-INFO +12 -12
- {egglog-6.0.1 → egglog-6.1.0}/docs/changelog.md +6 -0
- egglog-6.1.0/docs/explanation/2024_03_17_community_talk.ipynb +9538 -0
- egglog-6.1.0/docs/explanation/2024_03_17_map.svg +15 -0
- {egglog-6.0.1 → egglog-6.1.0}/pyproject.toml +5 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/bindings.pyi +22 -4
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/egraph.py +23 -14
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api.py +4 -4
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_numba.py +8 -11
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_bindings.py +27 -1
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_high_level.py +10 -6
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_modules.py +9 -6
- {egglog-6.0.1 → egglog-6.1.0}/src/conversions.rs +23 -10
- {egglog-6.0.1 → egglog-6.1.0}/src/serialize.rs +0 -1
- {egglog-6.0.1 → egglog-6.1.0}/src/utils.rs +1 -1
- {egglog-6.0.1 → egglog-6.1.0}/stubtest_allow +2 -0
- {egglog-6.0.1 → egglog-6.1.0}/.github/workflows/CI.yml +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/.gitignore +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/.pre-commit-config.yaml +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/.readthedocs.yaml +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/LICENSE +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/README.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/conftest.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/.gitignore +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/_templates/comments.html +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/conf.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/environment.yml +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/.gitignore +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_07_presentation.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_09_portland_state.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_17_pytensor.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_11_pydata_lightning_talk.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure-1.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure-2.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/2023_12_02_congruence_closure.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/big_graph.svg +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/define_and_define.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/ecosystem-graph.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/egg.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/indexing_pushdown.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/moa.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/optional_values.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation/pldi_2023_presentation.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/explanation.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/how-to-guides.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/index.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/bindings.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/contributing.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/egglog-translation.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/high-level.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/python-integration.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference/usage.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/reference.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/getting-started.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/screenshot-1.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/screenshot-2.png +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials/sklearn.ipynb +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/docs/tutorials.md +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/__init__.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/builtins.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/config.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/declarations.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/README.rst +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/__init__.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/bool.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/eqsat_basic.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/fib.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/lambda_.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/matrix.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/ndarrays.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/resolution.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/examples/schedule_demo.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/__init__.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_jit.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/array_api_program_gen.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/exp/program_gen.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/graphviz_widget.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/ipython_magic.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/py.typed +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/runtime.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/type_constraint_solver.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/widget.css +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/egglog/widget.js +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/__init__.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_optimize.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_source_optimized.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_array_api/TestLDA.test_trace.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/__snapshots__/test_program_gen/test_to_string.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/conftest.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_array_api.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_convert.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_program_gen.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_py_object_sort.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_runtime.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_type_constraint_solver.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/python/tests/test_typing.py +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/rust-toolchain +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/src/egraph.rs +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/src/error.rs +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/src/lib.rs +0 -0
- {egglog-6.0.1 → egglog-6.1.0}/src/py_object_sort.rs +0 -0
- {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=
|
|
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
|
|
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
|
|
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 = "
|
|
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
|
|
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:
|
|
30
|
-
Requires-Dist:
|
|
31
|
-
Requires-Dist:
|
|
32
|
-
Requires-Dist:
|
|
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:
|
|
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)
|