Skip to content

GitLab

Spot
Spot
Closed
Opened by Etienne Renault@renaultOwner

add support for %%promela

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

To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information