-
Notifications
You must be signed in to change notification settings - Fork 4.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add support for Promela #5659
Add support for Promela #5659
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Usage looks widespread enough for inclusion, however your last two samples aren't examples of real-world representative usage of the language.
Please replace these with real-world files.
@lildude I went and collected the samples for him, as it was particularly difficult to find real-world uses that weren't university coursework (and students hardly ever elucidate the license of their assignments… given that that would be kinda weird and all…) |
Source code used in the paper linked from Promela's official website
I added the source code used in the paper that was linked from the official Promela website. |
Can you confirm this was released under a license that permits redistribution? Though Linguist's licensing requirements are less strict for language samples than they are for grammars, we still need to assert that these samples aren't copyrighted (non-free) material. |
These source codes are under the Apache 2.0 license (added to the checklist). |
@ishowta What do you think about using |
I couldn't find the Promela logo either, but I think its color is good. |
Description
Checklist:
attacker_4_FINITE.pml
: MITbare_signals.pml
: GPL v3ex.1.pml
: MITTCP.pml
: MITThread.pml
,Supervisor.pml
,Session.pml
: Apache 2.0Preview