This website requires JavaScript.
Explore
Help
Sign In
ada
/
why3
Watch
0
Star
0
Fork
0
You've already forked why3
mirror of
https://github.com/AdaCore/why3.git
synced
2026-02-12 12:34:55 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
25-sustained
Add File
New File
Upload File
Apply Patch
why3
/
examples
/
numeric
History
BONNOT Paul
85c4b4917a
Forward propagation of rounding errors
...
New theory for unbounded floats, with propagation lemmas Examples of use
2024-01-18 10:31:14 +00:00
..
add_sub_mul
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
addition
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
multiplication
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
substraction
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
add_sub_mul.mlw
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
addition.mlw
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
multiplication.mlw
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
substraction.mlw
Forward propagation of rounding errors
2024-01-18 10:31:14 +00:00
