Skip to content

Add proof system integration

Choose a tag to compare

View all tags
@Calvin-L Calvin-L released this 22 Aug 00:49
· 7 commits to main since this release
1.0.4
18a363b
This commit was signed with the committer’s verified signature.
Calvin-L Calvin Loncaric
GPG key ID: 4E19A0881F6642A8
Verified
Learn about vigilant mode.

This release adds integration with the TLA+ proof system (TLAPS). Proof obligations will be highlighted in green or red, and missing obligations will be noted as well.

Note that not all files can be parsed by TLAPS; such files will not have highlighting.

Full Changelog: 1.0.3...1.0.4

Assets 2
Loading