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-herbiein this folder