Debugging and Detecting Numerical Errors in Computation with Posits
Description
This is the artifact of the PLDI-2020 paper, Debugging and Detecting Numerical Errors in Computation with Posits.
The compressed file contains both PositDebug and fpsanitizer.
PositDebug is a tool to analyze the error in programs using posits.
fpsanitizer is a tool to analyze the error in programs using floating point.
For instructions on how to install, use, and test PositDebug and fpsanitizer, please consult the README.txt file found in the compressed file.
In order to decompress the attached file, please use the command:
tar -xvf PositDebug.tar.gz
Files
Files
(706.6 kB)
| Name | Size | |
|---|---|---|
|
md5:d1423a0c117bee3dc71b682597155d59
|
706.6 kB | Download |