--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on December 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] 128-bit integers?



Hi

Are there any plans to support 128-bit integers in Frama-C? I searched
the documentation but found at most 64-bit stuff.

Background: I watched the presentation of OTRv4 at 35C3, and I'm giving
libgoldilocks a quick check to see if it might be a good candidate for
some ACSL love. The 64-bit build uses __int128_t and __uint128_t which
Frama-C/WP doesn't seem to support, so I'm restricted to the 32-bit
build for now.

/Tomas