Large collection of number systems providing custom arithmetic and mixed...
Constraint solver based on coverage-guided fuzzing
Calculate with error-free, faithful, and compensated transforms and exte...
A dynamic analysis tool to detect floating-point errors in HPC applicati...