issues
search
utwente-fmt
/
vercors
The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
55
stars
26
forks
source link
VeyMont: stratified permissions
#1210
Closed
bobismijnnaam
closed
2 months ago
bobismijnnaam
commented
4 months ago
Checklist:
[x] The wiki is updated in accordance with the changes in this PR. For example: syntax changes, semantics changes, VerCors flags changes, etc.
PR description
[x] Support for stratified permissions
[x] Make case studies pass
[x] TTT
[x] TTTmsg
[x] TTTlast
[x] Implement postponed error reporting functionality
[x] Re-enabled all te tests that are disabled because of missing support
Fixes #840.
Checklist:
PR description
Fixes #840.