tree b74389580837b5eecf7332edaec82ed087cd2252
parent ad6be28b38f98421988ac2f787760f9b93b092e6
author Andrew Waterman <waterman@cs.berkeley.edu> 1453008166 -0800
committer Andrew Waterman <waterman@cs.berkeley.edu> 1453008166 -0800

Employ new RISC-V NaN encoding