search

FStarLang / steel

The Steel separation logic library for F*
Apache License 2.0
31 stars 5 forks source link

Moving FStar->FStarC #180

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

Fixes for F* PR https://github.com/FStarLang/FStar/pull/3557, needed since the extraction plugin is written against an internal API.