hacspec
Make Rust code executable via F* extraction
One of the goals here is to test the engine via extraction.
Related to #526, being able to exact all the tests executed by cargo test to F* and to run via OCaml compilation would be great.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This is in progress with the new annotated core library, thus still relevant.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
