search

tnelson / Forge

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

Updates for week of 01/21/2024 #222

Closed tnelson closed 9 months ago

tnelson commented 9 months ago

Various additions in preparation for Spring 2024 semester. E.g., ABAC language, improved error handling, ...