search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Extraction: add OCaml extension passes as for Krml #3614

Closed mtzguido closed 1 week ago

mtzguido commented 1 week ago

This will be used by Pulse. Ideally, again, this would be a more well-defined reflection API.

mtzguido commented 1 week ago

https://github.com/mtzguido/FStar/actions/runs/11752020857