issues
search
utwente-fmt
/
vercors
The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
51
stars
24
forks
source link
Performance improvements
#1218
Closed
pieter-bos
closed
1 week ago
pieter-bos
commented
1 week ago
Checklist:
[ ] The wiki is updated in accordance with the changes in this PR. For example: syntax changes, semantics changes, VerCors flags changes, etc.
PR description
e.g. Fixes #1214
Checklist:
PR description
e.g. Fixes #1214