Explore projects

Uniform precision variant

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

Control of accuracy and debugging for Python applications

Control of accuracy and debugging for CUDA applications

The BoolEAN POLynomial Evaluation library