├── .cargo └── config.toml ├── .github ├── AGENTS.md ├── dependabot.yml └── workflows │ ├── CI.yml │ ├── update-changelog.yml │ └── version.yml ├── .gitignore ├── .pre-commit-config.yaml ├── .python-version ├── .readthedocs.yaml ├── CITATION.cff ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── conftest.py ├── docs ├── .gitignore ├── _templates │ └── comments.html ├── changelog.md ├── conf.py ├── environment.yml ├── explanation.md ├── explanation │ ├── .gitignore │ ├── 2023_07_presentation.ipynb │ ├── 2023_11_09_portland_state.ipynb │ ├── 2023_11_17_pytensor.ipynb │ ├── 2023_11_pydata_lightning_talk.ipynb │ ├── 2023_12_02_congruence_closure-1.png │ ├── 2023_12_02_congruence_closure-2.png │ ├── 2023_12_02_congruence_closure.md │ ├── 2024_03_17_community_talk.ipynb │ ├── 2024_03_17_map.svg │ ├── big_graph.svg │ ├── define_and_define.md │ ├── ecosystem-graph.png │ ├── egg.png │ ├── indexing_pushdown.ipynb │ ├── moa.png │ ├── optional_values.md │ └── pldi_2023_presentation.ipynb ├── how-to-guides.md ├── index.md ├── reference.md ├── reference │ ├── bindings.md │ ├── contributing.md │ ├── egglog-translation.md │ ├── high-level.md │ ├── python-integration.md │ └── usage.md ├── tutorials.md └── tutorials │ ├── __init__.py │ ├── getting-started.ipynb │ ├── screenshot-1.png │ ├── screenshot-2.png │ ├── sklearn.ipynb │ ├── tut_1_basics.py │ ├── tut_2_datalog.py │ ├── tut_3_analysis.py │ ├── tut_4_scheduling.py │ └── tut_5_extraction.py ├── modify_changelog.py ├── pyproject.toml ├── python ├── egglog │ ├── __init__.py │ ├── bindings.pyi │ ├── builtins.py │ ├── config.py │ ├── conversion.py │ ├── declarations.py │ ├── deconstruct.py │ ├── egraph.py │ ├── egraph_state.py │ ├── examples │ │ ├── README.rst │ │ ├── __init__.py │ │ ├── bignum.py │ │ ├── bool.py │ │ ├── eqsat_basic.py │ │ ├── fib.py │ │ ├── higher_order_functions.py │ │ ├── jointree.py │ │ ├── lambda_.py │ │ ├── matrix.py │ │ ├── multiset.py │ │ ├── ndarrays.py │ │ ├── resolution.py │ │ └── schedule_demo.py │ ├── exp │ │ ├── MoA.ipynb │ │ ├── __init__.py │ │ ├── any_expr.py │ │ ├── any_expr_example.ipynb │ │ ├── array_api.py │ │ ├── array_api_jit.py │ │ ├── array_api_loopnest.py │ │ ├── array_api_numba.py │ │ ├── array_api_program_gen.py │ │ ├── program_gen.py │ │ └── siu_examples.py │ ├── ipython_magic.py │ ├── pretty.py │ ├── py.typed │ ├── runtime.py │ ├── thunk.py │ ├── type_constraint_solver.py │ ├── visualizer.css │ ├── visualizer.js │ └── visualizer_widget.py └── tests │ ├── __snapshots__ │ ├── test_array_api │ │ ├── TestLoopNest.test_index_codegen[code].py │ │ ├── TestLoopNest.test_index_codegen[expr].py │ │ ├── test_jit[add][code].py │ │ ├── test_jit[add][expr].py │ │ ├── test_jit[add][initial_expr].py │ │ ├── test_jit[lda][code].py │ │ ├── test_jit[lda][expr].py │ │ ├── test_jit[lda][initial_expr].py │ │ ├── test_jit[tuple][code].py │ │ ├── test_jit[tuple][expr].py │ │ ├── test_jit[tuple][initial_expr].py │ │ ├── test_program_compile[tuple][code].py │ │ └── test_program_compile[tuple][expr].py │ ├── test_bindings │ │ └── TestEGraph.test_parse_program.py │ └── test_program_gen │ │ ├── test_to_string.py │ │ └── test_to_string_function_three.py │ ├── conftest.py │ ├── test_array_api.py │ ├── test_bindings.py │ ├── test_convert.py │ ├── test_deconstruct.py │ ├── test_high_level.py │ ├── test_modify_changelog.py │ ├── test_no_import_star.py │ ├── test_pretty.py │ ├── test_program_gen.py │ ├── test_py_object_sort.py │ ├── test_runtime.py │ ├── test_type_constraint_solver.py │ ├── test_typing.py │ └── test_unstable_fn.py ├── rust-toolchain.toml ├── src ├── conversions.rs ├── egraph.rs ├── error.rs ├── extract.rs ├── lib.rs ├── py_object_sort.rs ├── serialize.rs ├── termdag.rs └── utils.rs ├── stubtest_allow ├── test-data └── unit │ └── check-high-level.test └── uv.lock /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.github/AGENTS.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/CI.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.github/workflows/CI.yml -------------------------------------------------------------------------------- /.github/workflows/update-changelog.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.github/workflows/update-changelog.yml -------------------------------------------------------------------------------- /.github/workflows/version.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.github/workflows/version.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.python-version: -------------------------------------------------------------------------------- 1 | 3.13 2 | -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/README.md -------------------------------------------------------------------------------- /conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/conftest.py -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/_templates/comments.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/_templates/comments.html -------------------------------------------------------------------------------- /docs/changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/changelog.md -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/environment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/environment.yml -------------------------------------------------------------------------------- /docs/explanation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation.md -------------------------------------------------------------------------------- /docs/explanation/.gitignore: -------------------------------------------------------------------------------- 1 | big_graph.gv 2 | -------------------------------------------------------------------------------- /docs/explanation/2023_07_presentation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_07_presentation.ipynb -------------------------------------------------------------------------------- /docs/explanation/2023_11_09_portland_state.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_11_09_portland_state.ipynb -------------------------------------------------------------------------------- /docs/explanation/2023_11_17_pytensor.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_11_17_pytensor.ipynb -------------------------------------------------------------------------------- /docs/explanation/2023_11_pydata_lightning_talk.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_11_pydata_lightning_talk.ipynb -------------------------------------------------------------------------------- /docs/explanation/2023_12_02_congruence_closure-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_12_02_congruence_closure-1.png -------------------------------------------------------------------------------- /docs/explanation/2023_12_02_congruence_closure-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_12_02_congruence_closure-2.png -------------------------------------------------------------------------------- /docs/explanation/2023_12_02_congruence_closure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2023_12_02_congruence_closure.md -------------------------------------------------------------------------------- /docs/explanation/2024_03_17_community_talk.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2024_03_17_community_talk.ipynb -------------------------------------------------------------------------------- /docs/explanation/2024_03_17_map.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/2024_03_17_map.svg -------------------------------------------------------------------------------- /docs/explanation/big_graph.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/big_graph.svg -------------------------------------------------------------------------------- /docs/explanation/define_and_define.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/define_and_define.md -------------------------------------------------------------------------------- /docs/explanation/ecosystem-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/ecosystem-graph.png -------------------------------------------------------------------------------- /docs/explanation/egg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/egg.png -------------------------------------------------------------------------------- /docs/explanation/indexing_pushdown.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/indexing_pushdown.ipynb -------------------------------------------------------------------------------- /docs/explanation/moa.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/moa.png -------------------------------------------------------------------------------- /docs/explanation/optional_values.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/optional_values.md -------------------------------------------------------------------------------- /docs/explanation/pldi_2023_presentation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/explanation/pldi_2023_presentation.ipynb -------------------------------------------------------------------------------- /docs/how-to-guides.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/how-to-guides.md -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/reference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference.md -------------------------------------------------------------------------------- /docs/reference/bindings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/bindings.md -------------------------------------------------------------------------------- /docs/reference/contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/contributing.md -------------------------------------------------------------------------------- /docs/reference/egglog-translation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/egglog-translation.md -------------------------------------------------------------------------------- /docs/reference/high-level.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/high-level.md -------------------------------------------------------------------------------- /docs/reference/python-integration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/python-integration.md -------------------------------------------------------------------------------- /docs/reference/usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/reference/usage.md -------------------------------------------------------------------------------- /docs/tutorials.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials.md -------------------------------------------------------------------------------- /docs/tutorials/__init__.py: -------------------------------------------------------------------------------- 1 | """ 2 | Tutorials 3 | """ 4 | -------------------------------------------------------------------------------- /docs/tutorials/getting-started.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/getting-started.ipynb -------------------------------------------------------------------------------- /docs/tutorials/screenshot-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/screenshot-1.png -------------------------------------------------------------------------------- /docs/tutorials/screenshot-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/screenshot-2.png -------------------------------------------------------------------------------- /docs/tutorials/sklearn.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/sklearn.ipynb -------------------------------------------------------------------------------- /docs/tutorials/tut_1_basics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/tut_1_basics.py -------------------------------------------------------------------------------- /docs/tutorials/tut_2_datalog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/tut_2_datalog.py -------------------------------------------------------------------------------- /docs/tutorials/tut_3_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/tut_3_analysis.py -------------------------------------------------------------------------------- /docs/tutorials/tut_4_scheduling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/tut_4_scheduling.py -------------------------------------------------------------------------------- /docs/tutorials/tut_5_extraction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/docs/tutorials/tut_5_extraction.py -------------------------------------------------------------------------------- /modify_changelog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/modify_changelog.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/pyproject.toml -------------------------------------------------------------------------------- /python/egglog/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/__init__.py -------------------------------------------------------------------------------- /python/egglog/bindings.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/bindings.pyi -------------------------------------------------------------------------------- /python/egglog/builtins.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/builtins.py -------------------------------------------------------------------------------- /python/egglog/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/config.py -------------------------------------------------------------------------------- /python/egglog/conversion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/conversion.py -------------------------------------------------------------------------------- /python/egglog/declarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/declarations.py -------------------------------------------------------------------------------- /python/egglog/deconstruct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/deconstruct.py -------------------------------------------------------------------------------- /python/egglog/egraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/egraph.py -------------------------------------------------------------------------------- /python/egglog/egraph_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/egraph_state.py -------------------------------------------------------------------------------- /python/egglog/examples/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/README.rst -------------------------------------------------------------------------------- /python/egglog/examples/__init__.py: -------------------------------------------------------------------------------- 1 | """ 2 | Examples using egglog. 3 | """ 4 | -------------------------------------------------------------------------------- /python/egglog/examples/bignum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/bignum.py -------------------------------------------------------------------------------- /python/egglog/examples/bool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/bool.py -------------------------------------------------------------------------------- /python/egglog/examples/eqsat_basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/eqsat_basic.py -------------------------------------------------------------------------------- /python/egglog/examples/fib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/fib.py -------------------------------------------------------------------------------- /python/egglog/examples/higher_order_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/higher_order_functions.py -------------------------------------------------------------------------------- /python/egglog/examples/jointree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/jointree.py -------------------------------------------------------------------------------- /python/egglog/examples/lambda_.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/lambda_.py -------------------------------------------------------------------------------- /python/egglog/examples/matrix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/matrix.py -------------------------------------------------------------------------------- /python/egglog/examples/multiset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/multiset.py -------------------------------------------------------------------------------- /python/egglog/examples/ndarrays.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/ndarrays.py -------------------------------------------------------------------------------- /python/egglog/examples/resolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/resolution.py -------------------------------------------------------------------------------- /python/egglog/examples/schedule_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/examples/schedule_demo.py -------------------------------------------------------------------------------- /python/egglog/exp/MoA.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/MoA.ipynb -------------------------------------------------------------------------------- /python/egglog/exp/__init__.py: -------------------------------------------------------------------------------- 1 | """ 2 | Experimental interfaces built on egglog. 3 | """ 4 | -------------------------------------------------------------------------------- /python/egglog/exp/any_expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/any_expr.py -------------------------------------------------------------------------------- /python/egglog/exp/any_expr_example.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/any_expr_example.ipynb -------------------------------------------------------------------------------- /python/egglog/exp/array_api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/array_api.py -------------------------------------------------------------------------------- /python/egglog/exp/array_api_jit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/array_api_jit.py -------------------------------------------------------------------------------- /python/egglog/exp/array_api_loopnest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/array_api_loopnest.py -------------------------------------------------------------------------------- /python/egglog/exp/array_api_numba.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/array_api_numba.py -------------------------------------------------------------------------------- /python/egglog/exp/array_api_program_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/array_api_program_gen.py -------------------------------------------------------------------------------- /python/egglog/exp/program_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/program_gen.py -------------------------------------------------------------------------------- /python/egglog/exp/siu_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/exp/siu_examples.py -------------------------------------------------------------------------------- /python/egglog/ipython_magic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/ipython_magic.py -------------------------------------------------------------------------------- /python/egglog/pretty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/pretty.py -------------------------------------------------------------------------------- /python/egglog/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /python/egglog/runtime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/runtime.py -------------------------------------------------------------------------------- /python/egglog/thunk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/thunk.py -------------------------------------------------------------------------------- /python/egglog/type_constraint_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/type_constraint_solver.py -------------------------------------------------------------------------------- /python/egglog/visualizer.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/visualizer.css -------------------------------------------------------------------------------- /python/egglog/visualizer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/visualizer.js -------------------------------------------------------------------------------- /python/egglog/visualizer_widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/egglog/visualizer_widget.py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[code].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[code].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[add][code].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[add][code].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[add][expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[add][expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[add][initial_expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[add][initial_expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[lda][code].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[lda][code].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[lda][expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[lda][expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[lda][initial_expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[lda][initial_expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[tuple][code].py: -------------------------------------------------------------------------------- 1 | def __fn(x, y): 2 | return x[(x.shape + (1, 2, ))[100]] 3 | -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[tuple][expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[tuple][expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_jit[tuple][initial_expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_jit[tuple][initial_expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_program_compile[tuple][code].py: -------------------------------------------------------------------------------- 1 | 2 | (1, 2, ) -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_array_api/test_program_compile[tuple][expr].py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_array_api/test_program_compile[tuple][expr].py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_bindings/TestEGraph.test_parse_program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_bindings/TestEGraph.test_parse_program.py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_program_gen/test_to_string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_program_gen/test_to_string.py -------------------------------------------------------------------------------- /python/tests/__snapshots__/test_program_gen/test_to_string_function_three.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/__snapshots__/test_program_gen/test_to_string_function_three.py -------------------------------------------------------------------------------- /python/tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/conftest.py -------------------------------------------------------------------------------- /python/tests/test_array_api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_array_api.py -------------------------------------------------------------------------------- /python/tests/test_bindings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_bindings.py -------------------------------------------------------------------------------- /python/tests/test_convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_convert.py -------------------------------------------------------------------------------- /python/tests/test_deconstruct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_deconstruct.py -------------------------------------------------------------------------------- /python/tests/test_high_level.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_high_level.py -------------------------------------------------------------------------------- /python/tests/test_modify_changelog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_modify_changelog.py -------------------------------------------------------------------------------- /python/tests/test_no_import_star.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_no_import_star.py -------------------------------------------------------------------------------- /python/tests/test_pretty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_pretty.py -------------------------------------------------------------------------------- /python/tests/test_program_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_program_gen.py -------------------------------------------------------------------------------- /python/tests/test_py_object_sort.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_py_object_sort.py -------------------------------------------------------------------------------- /python/tests/test_runtime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_runtime.py -------------------------------------------------------------------------------- /python/tests/test_type_constraint_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_type_constraint_solver.py -------------------------------------------------------------------------------- /python/tests/test_typing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_typing.py -------------------------------------------------------------------------------- /python/tests/test_unstable_fn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/python/tests/test_unstable_fn.py -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "1.89.0" 3 | -------------------------------------------------------------------------------- /src/conversions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/conversions.rs -------------------------------------------------------------------------------- /src/egraph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/egraph.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/extract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/extract.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/py_object_sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/py_object_sort.rs -------------------------------------------------------------------------------- /src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/serialize.rs -------------------------------------------------------------------------------- /src/termdag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/termdag.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/src/utils.rs -------------------------------------------------------------------------------- /stubtest_allow: -------------------------------------------------------------------------------- 1 | # empty for now 2 | -------------------------------------------------------------------------------- /test-data/unit/check-high-level.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/test-data/unit/check-high-level.test -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/egglog-python/HEAD/uv.lock --------------------------------------------------------------------------------