This repository contains a plugin for Herbie to support generic IEEE-754 floating-point numbers
Floating-point numbers are defined with es
exponent bits and n
total bits. Use in Herbie by specifying :precision (float es n)
.
This package contains:
- Definitions of generic floating-point numbers and their operators for Herbie
- Rewrite rules for these operators
Installation:
- Clone this repository
- Run
raco pkg install -n float-herbie
in this folder