search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 8 forks source link

[minor] January 31st Update #224

Closed tnelson closed 7 months ago

tnelson commented 7 months ago

Various changes, mostly improvements to error handling. Gradually replacing old errors with raise-forge-error use.