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
Author
Label
Projects
Milestones
Assignee
Sort
Working with Tuple and NamedTuple types in the Foreign code is really painful!
Feature Request
P Language Enhancement
New language features for P
#377
opened Oct 18, 2021 by
ankushdesai
P Events has New language features for P
source and target information by default
Feature Request
P Language Enhancement
#360
opened Sep 20, 2021 by
ankushdesai
Extract a common interface from PMachine and PMonitor
BUG: P C# Runtime
Bug in the P's C# Runtime
Feature Request
#303
opened Dec 7, 2020 by
JankoJerinic
Create an ability to initialize a variable inline
Feature Request
P Language Enhancement
New language features for P
#302
opened Dec 7, 2020 by
JankoJerinic
Create an ability to instantiate sequences as a literal
Feature Request
#301
opened Dec 7, 2020 by
JankoJerinic
Make P/C# transpiler obfuscate C# reserved words
BUG: P C# Runtime
Bug in the P's C# Runtime
#289
opened Nov 24, 2020 by
JankoJerinic
Rename Related to the P module system
test to check when declaring the scenarios
P Module System (Compositional Reasoning)
#286
opened Nov 19, 2020 by
ankushdesai
Add support for Invariants in P
P Language Enhancement
New language features for P
#272
opened Nov 4, 2020 by
ankushdesai
"KeyNotFoundException" when instantiating machines from C# without "creates" declaration
BUG: P C# Runtime
Bug in the P's C# Runtime
#263
opened Sep 30, 2020 by
KelvinLi2020
Separate Compilation in P
P Language Enhancement
New language features for P
#216
opened Sep 3, 2019 by
ankushdesai
Shared Memory Concurrency in P
Feature Request
Help!
Helpful Information
Information
P Language Enhancement
New language features for P
Question
Question!
#207
opened Aug 6, 2019 by
ankushdesai
Improve the support for renaming of interfaces
Feature Request
P Module System (Compositional Reasoning)
Related to the P module system
#156
opened Sep 8, 2017 by
shazqadeer
Provide support for safe and assume module constructors
Feature Request
P Module System (Compositional Reasoning)
Related to the P module system
#112
opened Apr 18, 2017 by
ankushdesai
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.