Explore projects

Mixed precision variant

Control of accuracy and debugging for C/C++ and Fortran applications

Automatic identification of instructions responsible for numerical instabilities in a source code

Control of accuracy and debugging for Fortran applications

Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic

The BoolEAN POLynomial Evaluation library

Static Timing Analyser