search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Nightly fix for benchmarks #480

Closed glenn-sun closed 6 months ago

glenn-sun commented 6 months ago

Now all passing benchmarks and tests should appear in nightly. Nightly may take significantly longer to run.

oflatt commented 6 months ago

Looks like the nightly for this branch is quite slow- we'll want to tackle that issue before merging

glenn-sun commented 6 months ago

@oflatt Runs in 12 minutes now, with hyperfine running ~100-200 iterations on only the /benchmarks folder. Plenty of buffer within the 1 hr target for when I add more benchmarks. Though the numbers for bril benchmarks are a bit too noisy to be meaningful. I'll click merge if it's okay with you now.

oflatt commented 6 months ago

Awesome!