Make diff tool work in nightly again

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed oflatt closed 4 months ago

oflatt commented 4 months ago

This PR does three things (sorry)

It makes the diff tool work again by adding text to the table
It generates warnings for missing benchmarks
It adds a localnightly.sh script that you can use to run a local nightly on a particular directory

Here's my local output of bash localnightly.sh benchmarks/passing/bril/core/gcd.bril

oflatt commented 4 months ago

Don't review yet! Fixing conflicts

oflatt commented 4 months ago

new screenshot