Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Issues
#162
Closed
Open
Issue created
Apr 22, 2016
by
Etienne Renault
@renault
Owner
add support for %%promela
As for %%dve, a support for promela (with Spins) would be nice in Python