Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
IEEE754
Bits.v
Find file
Blame
History
Permalink
Add b*_abs and b*_compare. Enforce the signatures.
· 7d4b2df1
Guillaume Melquiond
authored
Mar 06, 2018
7d4b2df1