berkeley-hardfloat patches (stable-v0.1.0)

This repository is a slightly modified version of UC Berkeley's Hardfloat library. All modifications can be found in patches under patches/, applied in lexicographical order. It's the version that powers the Spade hardfloat library.

Usage

Head over to the Releases page and download one of the .zip files. For example, you can get v0.1.0 by running

wget https://github.com/ethanuppal/berkeley-hardfloat/archive/refs/tags/v0.1.0.zip

Local Development

First, clone the repository:

git clone https://github.com/ethanuppal/berkeley-hardfloat.git

Everything should be ready to use.

You can repair locally by running the build script:

chmod u+x ./build.sh
./build.sh

The build script assumes you have a valid Python installation with the python binary in your PATH and a working internet connection.

Rationale

The Verilog downloaded by build.sh has certain compilation issues fixed by this repository.

Changelog

This changelog is automatically generated.

1. Icarus fix (see changes)

This patch fixes an issue with Icarus Verilog:

error: 'sqrtOpOut' has already been declared in this scope.
It was declared here as a net.