egglog 11.2.0__tar.gz → 11.3.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 (149) hide show
  1. egglog-11.3.0/CITATION.cff +25 -0
  2. {egglog-11.2.0 → egglog-11.3.0}/Cargo.lock +269 -293
  3. {egglog-11.2.0 → egglog-11.3.0}/Cargo.toml +9 -9
  4. {egglog-11.2.0 → egglog-11.3.0}/PKG-INFO +19 -1
  5. {egglog-11.2.0 → egglog-11.3.0}/README.md +17 -0
  6. {egglog-11.2.0 → egglog-11.3.0}/docs/changelog.md +4 -0
  7. {egglog-11.2.0 → egglog-11.3.0}/docs/conf.py +11 -11
  8. {egglog-11.2.0 → egglog-11.3.0}/docs/index.md +15 -0
  9. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/egglog-translation.md +56 -0
  10. egglog-11.3.0/docs/tutorials/__init__.py +3 -0
  11. egglog-11.3.0/docs/tutorials/tut_1_basics.py +183 -0
  12. egglog-11.3.0/docs/tutorials/tut_2_datalog.py +253 -0
  13. egglog-11.3.0/docs/tutorials/tut_3_analysis.py +219 -0
  14. egglog-11.3.0/docs/tutorials/tut_4_scheduling.py +248 -0
  15. egglog-11.3.0/docs/tutorials/tut_5_extraction.py +151 -0
  16. egglog-11.3.0/docs/tutorials.md +12 -0
  17. {egglog-11.2.0 → egglog-11.3.0}/pyproject.toml +2 -0
  18. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/builtins.py +4 -0
  19. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/declarations.py +19 -1
  20. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/egraph.py +42 -5
  21. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/egraph_state.py +129 -6
  22. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/jointree.py +0 -3
  23. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/pretty.py +32 -7
  24. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/runtime.py +11 -2
  25. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_high_level.py +91 -0
  26. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_pretty.py +12 -0
  27. {egglog-11.2.0 → egglog-11.3.0}/uv.lock +21 -1
  28. egglog-11.2.0/CITATION.cff +0 -35
  29. egglog-11.2.0/docs/tutorials.md +0 -7
  30. {egglog-11.2.0 → egglog-11.3.0}/.cargo/config.toml +0 -0
  31. {egglog-11.2.0 → egglog-11.3.0}/.github/dependabot.yml +0 -0
  32. {egglog-11.2.0 → egglog-11.3.0}/.github/workflows/CI.yml +0 -0
  33. {egglog-11.2.0 → egglog-11.3.0}/.github/workflows/update-changelog.yml +0 -0
  34. {egglog-11.2.0 → egglog-11.3.0}/.github/workflows/version.yml +0 -0
  35. {egglog-11.2.0 → egglog-11.3.0}/.gitignore +0 -0
  36. {egglog-11.2.0 → egglog-11.3.0}/.pre-commit-config.yaml +0 -0
  37. {egglog-11.2.0 → egglog-11.3.0}/.python-version +0 -0
  38. {egglog-11.2.0 → egglog-11.3.0}/.readthedocs.yaml +0 -0
  39. {egglog-11.2.0 → egglog-11.3.0}/LICENSE +0 -0
  40. {egglog-11.2.0 → egglog-11.3.0}/Makefile +0 -0
  41. {egglog-11.2.0 → egglog-11.3.0}/conftest.py +0 -0
  42. {egglog-11.2.0 → egglog-11.3.0}/docs/.gitignore +0 -0
  43. {egglog-11.2.0 → egglog-11.3.0}/docs/_templates/comments.html +0 -0
  44. {egglog-11.2.0 → egglog-11.3.0}/docs/environment.yml +0 -0
  45. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/.gitignore +0 -0
  46. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_07_presentation.ipynb +0 -0
  47. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_11_09_portland_state.ipynb +0 -0
  48. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_11_17_pytensor.ipynb +0 -0
  49. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_11_pydata_lightning_talk.ipynb +0 -0
  50. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_12_02_congruence_closure-1.png +0 -0
  51. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_12_02_congruence_closure-2.png +0 -0
  52. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2023_12_02_congruence_closure.md +0 -0
  53. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2024_03_17_community_talk.ipynb +0 -0
  54. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/2024_03_17_map.svg +0 -0
  55. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/big_graph.svg +0 -0
  56. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/define_and_define.md +0 -0
  57. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/ecosystem-graph.png +0 -0
  58. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/egg.png +0 -0
  59. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/indexing_pushdown.ipynb +0 -0
  60. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/moa.png +0 -0
  61. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/optional_values.md +0 -0
  62. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation/pldi_2023_presentation.ipynb +0 -0
  63. {egglog-11.2.0 → egglog-11.3.0}/docs/explanation.md +0 -0
  64. {egglog-11.2.0 → egglog-11.3.0}/docs/how-to-guides.md +0 -0
  65. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/bindings.md +0 -0
  66. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/contributing.md +0 -0
  67. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/high-level.md +0 -0
  68. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/python-integration.md +0 -0
  69. {egglog-11.2.0 → egglog-11.3.0}/docs/reference/usage.md +0 -0
  70. {egglog-11.2.0 → egglog-11.3.0}/docs/reference.md +0 -0
  71. {egglog-11.2.0 → egglog-11.3.0}/docs/tutorials/getting-started.ipynb +0 -0
  72. {egglog-11.2.0 → egglog-11.3.0}/docs/tutorials/screenshot-1.png +0 -0
  73. {egglog-11.2.0 → egglog-11.3.0}/docs/tutorials/screenshot-2.png +0 -0
  74. {egglog-11.2.0 → egglog-11.3.0}/docs/tutorials/sklearn.ipynb +0 -0
  75. {egglog-11.2.0 → egglog-11.3.0}/modify_changelog.py +0 -0
  76. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/__init__.py +0 -0
  77. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/bindings.pyi +0 -0
  78. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/config.py +0 -0
  79. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/conversion.py +0 -0
  80. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/deconstruct.py +0 -0
  81. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/README.rst +0 -0
  82. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/__init__.py +0 -0
  83. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/bignum.py +0 -0
  84. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/bool.py +0 -0
  85. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/eqsat_basic.py +0 -0
  86. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/fib.py +0 -0
  87. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/higher_order_functions.py +0 -0
  88. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/lambda_.py +0 -0
  89. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/matrix.py +0 -0
  90. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/multiset.py +0 -0
  91. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/ndarrays.py +0 -0
  92. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/resolution.py +0 -0
  93. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/examples/schedule_demo.py +0 -0
  94. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/__init__.py +0 -0
  95. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/array_api.py +0 -0
  96. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/array_api_jit.py +0 -0
  97. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/array_api_loopnest.py +0 -0
  98. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/array_api_numba.py +0 -0
  99. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/array_api_program_gen.py +0 -0
  100. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/program_gen.py +0 -0
  101. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/exp/siu_examples.py +0 -0
  102. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/ipython_magic.py +0 -0
  103. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/py.typed +0 -0
  104. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/thunk.py +0 -0
  105. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/type_constraint_solver.py +0 -0
  106. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/version_compat.py +0 -0
  107. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/visualizer.css +0 -0
  108. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/visualizer.js +0 -0
  109. {egglog-11.2.0 → egglog-11.3.0}/python/egglog/visualizer_widget.py +0 -0
  110. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[code].py +0 -0
  111. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/TestLoopNest.test_index_codegen[expr].py +0 -0
  112. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[add][code].py +0 -0
  113. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[add][expr].py +0 -0
  114. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[add][initial_expr].py +0 -0
  115. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][code].py +0 -0
  116. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][expr].py +0 -0
  117. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[lda][initial_expr].py +0 -0
  118. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][code].py +0 -0
  119. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][expr].py +0 -0
  120. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_jit[tuple][initial_expr].py +0 -0
  121. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_program_compile[tuple][code].py +0 -0
  122. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_array_api/test_program_compile[tuple][expr].py +0 -0
  123. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_bindings/TestEGraph.test_parse_program.py +0 -0
  124. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_program_gen/test_to_string.py +0 -0
  125. {egglog-11.2.0 → egglog-11.3.0}/python/tests/__snapshots__/test_program_gen/test_to_string_function_three.py +0 -0
  126. {egglog-11.2.0 → egglog-11.3.0}/python/tests/conftest.py +0 -0
  127. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_array_api.py +0 -0
  128. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_bindings.py +0 -0
  129. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_convert.py +0 -0
  130. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_deconstruct.py +0 -0
  131. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_modify_changelog.py +0 -0
  132. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_no_import_star.py +0 -0
  133. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_program_gen.py +0 -0
  134. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_py_object_sort.py +0 -0
  135. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_runtime.py +0 -0
  136. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_type_constraint_solver.py +0 -0
  137. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_typing.py +0 -0
  138. {egglog-11.2.0 → egglog-11.3.0}/python/tests/test_unstable_fn.py +0 -0
  139. {egglog-11.2.0 → egglog-11.3.0}/rust-toolchain.toml +0 -0
  140. {egglog-11.2.0 → egglog-11.3.0}/src/conversions.rs +0 -0
  141. {egglog-11.2.0 → egglog-11.3.0}/src/egraph.rs +0 -0
  142. {egglog-11.2.0 → egglog-11.3.0}/src/error.rs +0 -0
  143. {egglog-11.2.0 → egglog-11.3.0}/src/lib.rs +0 -0
  144. {egglog-11.2.0 → egglog-11.3.0}/src/py_object_sort.rs +0 -0
  145. {egglog-11.2.0 → egglog-11.3.0}/src/serialize.rs +0 -0
  146. {egglog-11.2.0 → egglog-11.3.0}/src/termdag.rs +0 -0
  147. {egglog-11.2.0 → egglog-11.3.0}/src/utils.rs +0 -0
  148. {egglog-11.2.0 → egglog-11.3.0}/stubtest_allow +0 -0
  149. {egglog-11.2.0 → egglog-11.3.0}/test-data/unit/check-high-level.test +0 -0
egglog-11.3.0/CITATION.cff ADDED
@@ -0,0 +1,25 @@
1
+ cff-version: 1.2.0
2
+ message: "If you use egglog-python, please cite the paper below. If you also need to cite the software, include the version."
3
+ title: "egglog-python"
4
+ type: software
5
+ authors:
6
+ - given-names: Saul
7
+ family-names: Shanabrook
8
+ email: s.shanabrook@gmail.com
9
+ orcid: "https://orcid.org/0000-0002-0258-4236"
10
+ license: MIT
11
+ repository-code: "https://github.com/egraphs-good/egglog-python"
12
+ url: "https://egglog-python.readthedocs.io/"
13
+ keywords: [e-graph, equality-saturation, DSL, Python, egglog]
14
+
15
+ preferred-citation:
16
+ type: conference-paper
17
+ title: "Egglog Python: A Pythonic Library for E-graphs"
18
+ authors:
19
+ - given-names: Saul
20
+ family-names: Shanabrook
21
+ orcid: "https://orcid.org/0000-0002-0258-4236"
22
+ year: 2023
23
+ collection-title: "EGRAPHS@PLDI 2023"
24
+ doi: "10.48550/arXiv.2305.04311"
25
+ url: "https://arxiv.org/abs/2305.04311"