├── .github ├── dependabot.yml ├── logo.png └── workflows │ ├── ci_linux.yml │ ├── ci_mac.yml │ └── python-checks.yml ├── .gitignore ├── LICENSE ├── README.md ├── example_basic.py ├── example_rewrite.py ├── example_tutorial.py ├── poetry.lock ├── pyproject.toml ├── src └── mlir_egglog │ ├── __init__.py │ ├── dispatcher.py │ ├── egglog_optimizer.py │ ├── jit_engine.py │ ├── llvm_runtime.py │ ├── memory_descriptors.py │ ├── mlir_backend.py │ ├── mlir_gen.py │ ├── optimization_rules.py │ ├── python_to_ir.py │ ├── term_ir.py │ └── tutorial.py ├── tests ├── test_basic_expressions.py ├── test_dispatch.py └── test_simplify.py └── uv.lock /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.github/logo.png -------------------------------------------------------------------------------- /.github/workflows/ci_linux.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.github/workflows/ci_linux.yml -------------------------------------------------------------------------------- /.github/workflows/ci_mac.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.github/workflows/ci_mac.yml -------------------------------------------------------------------------------- /.github/workflows/python-checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.github/workflows/python-checks.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/README.md -------------------------------------------------------------------------------- /example_basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/example_basic.py -------------------------------------------------------------------------------- /example_rewrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/example_rewrite.py -------------------------------------------------------------------------------- /example_tutorial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/example_tutorial.py -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/pyproject.toml -------------------------------------------------------------------------------- /src/mlir_egglog/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/__init__.py -------------------------------------------------------------------------------- /src/mlir_egglog/dispatcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/dispatcher.py -------------------------------------------------------------------------------- /src/mlir_egglog/egglog_optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/egglog_optimizer.py -------------------------------------------------------------------------------- /src/mlir_egglog/jit_engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/jit_engine.py -------------------------------------------------------------------------------- /src/mlir_egglog/llvm_runtime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/llvm_runtime.py -------------------------------------------------------------------------------- /src/mlir_egglog/memory_descriptors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/memory_descriptors.py -------------------------------------------------------------------------------- /src/mlir_egglog/mlir_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/mlir_backend.py -------------------------------------------------------------------------------- /src/mlir_egglog/mlir_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/mlir_gen.py -------------------------------------------------------------------------------- /src/mlir_egglog/optimization_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/optimization_rules.py -------------------------------------------------------------------------------- /src/mlir_egglog/python_to_ir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/python_to_ir.py -------------------------------------------------------------------------------- /src/mlir_egglog/term_ir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/term_ir.py -------------------------------------------------------------------------------- /src/mlir_egglog/tutorial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/src/mlir_egglog/tutorial.py -------------------------------------------------------------------------------- /tests/test_basic_expressions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/tests/test_basic_expressions.py -------------------------------------------------------------------------------- /tests/test_dispatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/tests/test_dispatch.py -------------------------------------------------------------------------------- /tests/test_simplify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/tests/test_simplify.py -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/mlir-egglog/HEAD/uv.lock --------------------------------------------------------------------------------