search

FStarLang / pulse

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

Factoring out the snapshot diff check #197

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

To be called by check-world, too