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 an admin enable hashed storage. More information
As for %%dve, a support for promela (with Spins) would be nice in Python