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: name refactoring, implementation generation, endpoint context, channel invariant partial support #1188

Closed bobismijnnaam closed 4 months ago

bobismijnnaam commented 5 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

Implement & improve various aspects of VeyMont. This PR is more or less in an intermediate state, with some tests disabled, to accomodate the reformatting window next tuesday. The other parts of VerCors should not be affected by the intermediate nature of the changes included in this PR.