Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
0e2c6aef138e194013e144c188752d0e33d5b9ce
Switch branch/tag
why3
theories
floating_point.why
Find file
Blame
History
Permalink
Fix specification of the sign of FP result in presence of NaNs.
· 0e2c6aef
Guillaume Melquiond
authored
Jan 03, 2017
0e2c6aef
floating_point.why
18.8 KB
Replace floating_point.why
×
Attach a file by drag & drop or
click to upload
Commit message
Replace floating_point.why
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
