^ —————. —.— . . —.— . . .————— . .
——— | | | | | | || | | | |
—(o)— | | | | | | | | | |———— '————|
——————— | | | | | | | || | |
————————— —————' —'— ' —'— ' ' '————— '
home manual roadmap issues status papers download
- Timestamp:
-
02/03/2020 09:12:39 AM (4 years ago)
- Author:
-
Henrich Lauko
- Comment:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
-
initial
|
v1
|
|
1 | 1 | Hi, |
2 | 2 | |
3 | | The current divine does not provide symbolic verification with floating-point values. If you want to use it, you can try experimental implementation from SV-COMP 2020: https://divine.fi.muni.cz/2020/sv-comp/ |
| 3 | The current DIVINE does not provide symbolic verification with floating-point values. If you want to use it, you can try experimental implementation from SV-COMP 2020: https://divine.fi.muni.cz/2020/sv-comp/ |
4 | 4 | |
5 | 5 | Floating-point support should be merged into the current in the following weeks. |