search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

highlight min and max in each column #515

Closed ajpal closed 6 months ago

ajpal commented 6 months ago
image

Kind of a hack in table.js, but I think it's probably fine (esp given deadline etc)