extraction: krml: check for CInline attribute in letbindings, set an inlining flag in the binder - Githubissues

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

extraction: krml: check for CInline attribute in letbindings, set an inlining flag in the binder #3418

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

See https://github.com/FStarLang/karamel/pull/470