Extraction nits - Githubissues

FStarLang / pulse

The Pulse separation logic DSL for F*

Apache License 2.0

6 stars 7 forks source link

Extraction nits #132

Closed mtzguido closed 4 months ago

mtzguido commented 4 months ago

Fix make boot-checker rule to also bootstrap extraction
Fix config.json file (was missing src/data from F*)