Support .pml (Promela) files

[jakerenzella]

No description provided.

[maddernd]

Hi Jake, what level of support and what are we looking to do with pml, just upload them, render them, parse them? @jakerenzella

[jakerenzella]

Yes exactly!

…

On Fri, 15 Dec 2023 at 3:49 pm, maddernd ***@***.***> wrote: Hi Jake, what level of support and what are we looking to do with pml, just upload them, render them, parse them? @jakerenzella <https://github.com/jakerenzella> — Reply to this email directly, view it on GitHub <#708 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABHGOKTNOY2VF3HLANEAVKLYJPJDZAVCNFSM6AAAAAA2NUHLGOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNJXGI3TENJYGE> . You are receiving this because you were mentioned.Message ID: ***@***.***>