search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Parser.ml: handle PRAGMA_SHOW_OPTIONS token #211

Closed mtzguido closed 1 month ago