ajpal
commented
1 year ago Are we just taking out the Latex because we're finished with baseline / Herbie eval tables?
see https://uw-cse.slack.com/archives/C01749FQE4U/p1681418179967689. we've manually changed the formatting (column names, ordering, etc) so i don't want people to drop in the generated latex and break things I will go back and update the auto-gen but not before deadline
run both lhs and lhs-rhs derivability also include time