search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.68k stars 231 forks source link

Some fixes #3431

Closed mtzguido closed 4 weeks ago

mtzguido commented 4 weeks ago

Most importantly making sure that Pulse code can show diagnostics by https://github.com/FStarLang/FStar/commit/6120c43d0333c96fb21f5626118d25664fa6ce08