search

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394 stars 59 forks source link

Upcast SizeT since the UZ suffix isn't yet widely available #389

Closed msprotz closed 11 months ago

msprotz commented 11 months ago

Ideally we would emit UZ but this is C++23 and unclear whether it's in the C standard, even.