Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
examples
Average.v
Find file
Blame
History
Permalink
Improved underflow condition: 2p+2 -> 2p+1
· f57dc834
BOLDO Sylvie
authored
Jun 16, 2015
f57dc834