Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Branches performance

Pull requests

Egglog proof format and checker#539
last run
8 days ago
a bunch of warnings
8 days ago
8851a27
oflatt-proof-format
CodSpeed Performance Gauge
0%
fix up example
9 days ago
fffc4e9
oflatt-fn-encoding
CodSpeed Performance Gauge
0%
add docstring
29 days ago
23b5f90
bksaiki:extract-variants
CodSpeed Performance Gauge
0%
Update python_array_optimize.egg#529
last run
1 month ago
Update python_array_optimize.egg This PR updates the array optimize example from Python. Now we can create this file directly with no changes running the command at the top in the Python repo. The updated file uses a different strategy for dealing with lists that are based more heavily on functions, so having this should be a good test case as well as benchmark for some of that.
1 month ago
f059b61
saulshanabrook-patch-1
CodSpeed Performance Gauge
-46%
© 2025 CodSpeed Technology
Home Terms PrivacyDocs