Skip to content

Conversation

@saulshanabrook
Copy link
Member

Upgrades the egglog version to use the new parser as well as the experimental repo.

Upgrades the egglog version to use the new parser as well as the
experimental repo.
saulshanabrook added a commit to saulshanabrook/egg-smol that referenced this pull request Feb 17, 2025
This PR makes public the fields on the egglog span so that we can access
them from the Python bindings. In Python, I have been generally converting
to/from egglog sructs by creating a corresponding Python class and copying
all of their fields. To do so , it has to be public.

I also use the debug formatting to allow pretty printing in Python as
the rust struct.

See egraphs-good/egglog-python#258 for the
corresponding PR on the Python side.
saulshanabrook added a commit to saulshanabrook/egg-smol that referenced this pull request Feb 17, 2025
This PR makes public the fields on the egglog span so that we can access
them from the Python bindings. In Python, I have been generally converting
to/from egglog sructs by creating a corresponding Python class and copying
all of their fields. To do so , it has to be public.

I also use the debug formatting to allow pretty printing in Python as
the rust struct.

See egraphs-good/egglog-python#258 for the
corresponding PR on the Python side.
@saulshanabrook saulshanabrook marked this pull request as ready for review February 17, 2025 18:23
@codspeed-hq
Copy link

codspeed-hq bot commented Feb 17, 2025

CodSpeed Performance Report

Merging #258 will improve performances by ×57

Comparing upgrade-egglog (e58bd2f) with main (e81e641)

Summary

⚡ 3 improvements
✅ 5 untouched benchmarks

Benchmarks breakdown

Benchmark BASE HEAD Change
test_optimize 1,159.4 ms 53.1 ms ×22
test_source_optimized 1,775.8 ms 31.2 ms ×57
test_trace 2.9 s 1.2 s ×2.4

@saulshanabrook saulshanabrook merged commit 12bb4cc into main Feb 17, 2025
13 checks passed
@saulshanabrook saulshanabrook deleted the upgrade-egglog branch February 17, 2025 20:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants