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 instances of Bpred, Bsucc, and Bfma, for binary32 and binary64.
· df6c22ad
Guillaume Melquiond
authored
Jul 02, 2019
df6c22ad