Every 25th of the month, LIP6 supports the “Orange Day”» to end violences against women!
SAFE estimates rounding errors and detects numerical instabilities in programs using floating-point numbers with arbitrary mantissa-length and arbitrary exponent-length.