Brett Saiki
Brett Saiki
Double.fma doesn't return a value and breaks subsequent code in certain cases. It does, however, always compile. Example program: ``` fun main () = let val a = (Double.fromString "1.0")...
FPBench currently has a job within GitHub Actions that tests the FPCore to Daisy compiler. It began failing a few week ago with the following message: ``` Cloning into '/home/runner/.sbt/1.0/staging/fac1130dcabb01fad620/scala-smtlib'......
I'm currently improving Daisy support for FPBench. I encountered an issue where benchmarks with if statements work with uniform precision but break with the --mixed-precision flag (and necessary file with...
Adding the Herbie part of the OOPSLA '23 artifact. All files are under `scripts/oopsla23/herbie` so it should integrate nicely with the Szalinski artifact (#220). A README file has been included...
This PR splits the platform evaluation infrastructure into a few different entry points: - `infra/platforms/tune.py`: produces a cost model (in table form) for a given platform - `infra/platforms/improve.py`: runs Herbie...
This PR adapts Zach's Herbie seed [survey](https://github.com/ztatlock/herbie-stats/blob/main/seed-variance.sh). The code is under `infra/survey`.
This PR contains all relevant changes from our recent paper push ("Herbie platforms"). This is a mega-PR and contains the following: - egraph serialization from egg - simplification of egg...
Adds two optimizations to the alt table: - `point->alt` map is a vector from index (in the pcontext) to alt since the number of points is fixed - deduplication when...
Rust builds are more mysterious than I thought. Adding the `--locked` option when installing egglog to use the precise set of dependencies in the `Cargo.lock` file.
Updates egglog to the most recent commit (egraphs-good/egglog#613). The minimum Rust version was increased to 1.87. To ensure the right version is used, the Makefile now builds egglog locally.