Changes between Initial Version and Version 1 of Ticket #107, comment 1


Ignore:
Timestamp:
02/03/2020 09:12:39 AM (8 months ago)
Author:
Henrich Lauko
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #107, comment 1

    initial v1  
    11Hi,
    22
    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/
     3The 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/
    44
    55Floating-point support should be merged into the current in the following weeks.