Mentions légales du service

Skip to content

why3execute: adding support for MPFR (floats and reals)

DAILLER Sylvain requested to merge computing_reals into master

This merge request adds:

  • support for MPFR,
  • support for Float computation,
  • support for Real computation using interval of floats (precision given by the user)

The standard library coverage is still partial.

Edited by MARCHE Claude

Merge request reports