Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
examples
multiprecision
overlays
uint64gmp.h
Find file
Blame
History
Permalink
Update overlay for pure 64-bit mode.
· 7899c661
Guillaume Melquiond
authored
Jun 04, 2020
Add a definition for __builtin_expect along the way.
7899c661