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

Protz rs unroll #422

Closed msprotz closed 5 months ago

msprotz commented 5 months ago

Support for macro-based loop unrolling, relying on a proc macro (currently defined in HACL*).