Mentions légales du service

Skip to content
  • BONNOT Paul's avatar
    Improve the support for unbounded floats and forward error propagation strategy · 2e4dad71
    BONNOT Paul authored and MARCHE Claude's avatar MARCHE Claude committed
    Unbounded floats theories for single resp double precision are now clones of a
    generic module parameterized by epsilon and eta
    
    Add support for exp and log in the strategy
    
    Add more examples of use in examples/numeric
    
    Documentation of the strategy in the manual
    
    Documentation of ufloat in the stdlib
    
    Documentation of session/strategy.mli in the API doc
    2e4dad71