GitHub / egraphs-good/egglog-python / commits
Python bindings for the egg-smol rust library
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 6b2016e5 | merge Merge pull request #419 from AYadrov/patch-1 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
2 months ago | |
| 59b22280 | Fix typo in pyproject.toml description |
AYadrov <4****v@u****m>
Committed by: GitHub <n****y@g****m> |
2 months ago | |
| 0c25eaf5 | merge Merge pull request #418 from egraphs-good/codex/new-user-usability-docs |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
2 months ago | |
| 295cfbd7 | Improve new user install and scheduling docs | Saul Shanabrook <s****k@g****m> | 2 months ago | |
| 590864ab | merge Merge pull request #417 from egraphs-good/version-13.2.0 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
3 months ago | |
| 628d4418 | Version 13.2.0 | github-actions[bot] <4****]@u****m> | 3 months ago | |
| b8383a66 | merge Merge pull request #416 from kaeun97/kaeun97/pretty-report |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
3 months ago | |
| 568d6bfd | chore: update changelog | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 5182addd | chore: skip eggcc-2mm | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 3603683b | chore: remove _format_rule_key | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 7ecc467f | chore: test_run_report is functional style | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 3e45d9cc | chore: clean up by removing egg_rule_to_command_decl fallback and clear type | Kaeun Kim <k****0@g****m> | 3 months ago | |
| e217a3f0 | fix: add assertion for specific text in test | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 8ca9d100 | chore: better types | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 01802ec8 | fix: numberic name approach for better performance | Kaeun Kim <k****0@g****m> | 3 months ago | |
| ff7f6883 | chore: use 2e5657b egglog | Kaeun Kim <k****0@g****m> | 3 months ago | |
| 3d7bec7c | feat: update changelog | Kaeun Kim <k****0@g****m> | 4 months ago | |
| c09c7de3 | fix: make methods private | Kaeun Kim <k****0@g****m> | 4 months ago | |
| 810bd958 | fix: store CommandDecl | Kaeun Kim <k****0@g****m> | 4 months ago | |
| c554d1ad | chore: pre-commit | Kaeun Kim <k****0@g****m> | 4 months ago | |
| f554bb20 | chore: rename to runreport | Kaeun Kim <k****0@g****m> | 4 months ago | |
| 86133fa2 | feat: add test for pretty run report | Kaeun Kim <k****0@g****m> | 4 months ago | |
| 2007b1af | feat: add pretty run report | Kaeun Kim <k****0@g****m> | 4 months ago | |
| 8812ec95 | merge Merge pull request #413 from egraphs-good/copilot/update-rtd-build-image |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| 333e6a3d |
Update RTD build image from ubuntu-20.04 to ubuntu-24.04
Co-authored-by: saulshanabrook <1****k@u****m> |
copilot-swe-agent[bot] <1****t@u****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| f6416dc1 | Initial plan |
copilot-swe-agent[bot] <1****t@u****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| 8b6fe1e8 | merge Merge pull request #411 from egraphs-good/version-13.1.0 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| 0c784baa | Version 13.1.0 | github-actions[bot] <4****]@u****m> | 5 months ago | |
| d731fece | merge Merge pull request #397 from egraphs-good/polynomials |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| 60eb9db7 | Update to newest version | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| 11185b7d | bump egglog to preserve semi naive on some primitives | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| 237c57b3 | Update egglog lockfile | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| dbc9ade3 | Try fixing bug to avoid second eval | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| 19ed5d70 | Fix tests | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| 598e9e53 | Add program tracing | Saul Shanabrook <s****k@g****m> | 5 months ago | |
| 81546ccc | Cap CodSpeed walltime benchmark rounds | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| ee5ab911 | Keep benchmark uv env on Python 3.12 | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| b95a3a2b | Pin CodSpeed benchmark job to Python 3.12 | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 4e0dfb09 | Respond to review notes and try to fix codspeed crash | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| d1a9f04c | Add changelog and update docs | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 37c81e4a | Fix all review comments | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| b0daea43 | Fix test failures | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| e2deb1f3 | Fix schedules | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 67d15bab | Update containers blog post with PLSE blog post contents | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 658ed005 | Fix let bindings and array api tests | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 32c60c66 | Fix notebook bug | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| c7711b51 | merge Merge fix-lookup-value into polynomials | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| f5d993be | Add freeze! | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 3a9b8d94 | Upgrade support to new egglog version | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 27f70d1e | merge Merge pull request #406 from egraphs-good/version-13.0.1 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| 40137ad0 | Version 13.0.1 | github-actions[bot] <4****]@u****m> | 6 months ago | |
| 40e5e38e | merge Merge pull request #405 from egraphs-good/cloudpickle-install |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| 0b537ff2 | Add changelog entry for PR #405 | GitHub Action <a****n@g****m> | 6 months ago | |
| b3efc540 | version bump cargo lock | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 35bf6a07 | Add cloudpickle as required dependency | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 8d15c1c5 | merge Merge pull request #403 from egraphs-good/saulshanabrook-patch-3 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| c2a26c80 | Add changelog entry for PR #403 | GitHub Action <a****n@g****m> | 6 months ago | |
| a38f61df | Add __classdictcell__ to ignored attributes (Python 3.14 support) |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| 41a910cb | Fix changelog |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| aefa2199 | merge Merge pull request #402 from egraphs-good/version-13.0.0 |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| 8057b571 | Version 13.0.0 | github-actions[bot] <4****]@u****m> | 6 months ago | |
| 89d0d823 | merge Merge pull request #401 from egraphs-good/fix-cost-function |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| d38a1701 | Fix mypy | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| b18d3e70 | Fix lookup of value in cost model | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 83e73c32 | Add additional examples | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 58ccda38 | Change output to not use widget when just running as HTML | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| 270a1876 | Update notebook | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| a1e9a71c | Tweaks on my blog post | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| cb263b16 | See if it is reproducable | Saul Shanabrook <s****k@g****m> | 6 months ago | |
| ef515392 | Working! | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 24499e7d | working | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 7f0edcce | sort of working | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 5b5f2d24 | Working | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| c089e169 | Done? | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| f38b1856 | fixes | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| a4fa8558 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 06f2d829 | before change | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 338649ac | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 6afb528e | simplify | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| cfc87e4f | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 3aab22f4 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 1aecccb2 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| afe9c824 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 6b3aabc4 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| de2f0a8d | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 75f69abb | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| b08088a8 | spelling | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| a2f5123c | abs | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 8ded220e | Add sum | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 81113884 | fix abs | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| a19aa868 | Add context data with URL and public key |
Saul Shanabrook <s****k@g****m>
Committed by: GitHub <n****y@g****m> |
7 months ago | |
| e21d7d40 | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| c282b592 | Try fixing type resolution again | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| a4f58a24 | Fix type analysis | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| e391e1eb | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 529fbf4a | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| c2112a4e | tmp | Saul Shanabrook <s****k@g****m> | 7 months ago | |
| 8795aabe | tmp | Saul Shanabrook <s****k@g****m> | 8 months ago | |
| c13a54f9 | Add reshape | Saul Shanabrook <s****k@g****m> | 8 months ago | |
| 1a1d2504 | switch line length to 88 for pretty printing | Saul Shanabrook <s****k@g****m> | 8 months ago |