diff options
| author | Escherichia | 2024-03-21 12:34:40 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:24:42 +0100 |
| commit | 5209cea7012cfa3b39a5a289e65e2ea5e166d730 (patch) | |
| tree | b9f159ccc9dad0d24bd2dd619e77909b78578c20 /tests/fstar/betree/BetreeMain.Clauses.fst | |
| parent | 8f89bd8df9f382284eabb5a2020a2fa634f92fac (diff) | |
WIP: translate.ml and extract.ml do not compile. Some assert left to do and we need to see how translate_crate can give meta to the functions it calls
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions