--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on December 2018 ---
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