Explore projects

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

Mixed precision variant

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