issues
search
FStarLang
/
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394
stars
58
forks
source link
Allow a whitelist of functions that are known to not need the return …
#460
Closed
msprotz
closed
4 weeks ago
msprotz
commented
4 weeks ago
…type
…type