Published April 6, 2020 | Version v1

Debugging and Detecting Numerical Errors in Computation with Posits

  • 1. Rutgers University

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