search

FStarLang / pulse

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

Some improvements to tracing/printing #207

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

The snapshot has a huge diff after https://github.com/FStarLang/FStar/pull/3460...