Snippets Groups Projects

CHANGELOG.md

3 years ago

Fix local variables in Event-B mode · d7c9a23d

dgelessus authored 3 years ago

Event-B/Rodin does not support LET like ProB does, so we need to use
some workarounds to provide similar functionality in Event-B mode.

d7c9a23d

Fix local variables in Event-B mode

dgelessus authored 3 years ago

Event-B/Rodin does not support LET like ProB does, so we need to use
some workarounds to provide similar functionality in Event-B mode.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

To find the state of this project's repository at the time of any of these versions, check out the tags.