Skip to content

GitLab

Explore

Sign in

add support for %%promela

As for %%dve, a support for promela (with Spins) would be nice in Python

Assignee Loading

Time tracking Loading

Confidentiality

Confidentiality controls have moved to the issue actions menu () at the top of the page.