Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Flocq
flocq
Repository
0a6a2cd163596dde8166455ff71419047464934b
Switch branch/tag
flocq
src
Core
Fcore_Raux.v
Find file
Blame
History
Permalink
Properties about innocuous double rounding of usual arithmetic operations.
· 0a6a2cd1
Pierre Roux
authored
Apr 12, 2014
0a6a2cd1
