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

Print split warnings with the function that they're in #418

Closed msprotz closed 6 months ago

msprotz commented 6 months ago

Helpful for debugging hacl-rs compilation warnings