Comments (3)
So to be clear, you'd leave all the filtering to the GHC plugin, and have Herbie just print all 512 sampled points?
from herbie.
Also, would it be easier to switch to JSON output instead of formatted test?
from herbie.
The new --print-points
flag does this. Here's some example output:
; sample (-1.6251566108891342e-14 3.0078495250425424e+233) exact 7.944133677301521e+205 input 7.9441336773015205e+205 output 7.944133677301521e+205 improvement 1.0
It's a bit long, but that should be no problem if you're parsing output anyway.
from herbie.
Related Issues (20)
- Variable names matter? HOT 1
- add-sqr-sqrt, really? HOT 3
- Online demo currently giving a 502 error HOT 1
- A question about herbie web version HOT 4
- How to get the bits error in the result HOT 2
- Incorrect optimization for x-sin(x) HOT 6
- Question about 8000 sampling points HOT 9
- question to confirm HOT 2
- How Herbie generates the equivalent expressions? HOT 8
- Which expressions are the set of equivalent expressions generated by Herbie for the input expression? HOT 1
- Better Cost Estimates & Free Optimizations HOT 1
- Any way to install a specific Herbie version using Racket ? HOT 24
- Clarificaitons for command-line options HOT 5
- Build issue: expected `i8`, found `u8` HOT 7
- Missing mailing list HOT 1
- 404 links HOT 5
- Version information HOT 1
- Manually found rearrangement appears to be faster HOT 1
- Demo page is down HOT 1
- Please commit your Cargo.lock file
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from herbie.