Skip to content
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.

Sign up for GitHub

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

17 Open 188 Closed
17 Open 188 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Question: How to run unfair schedule
#423 opened Apr 28, 2022 by mroohitavaf
Semantics of receive in global function?
#418 opened Apr 7, 2022 by nicolagi
Add documentation for equality == for all data types
#417 opened Mar 30, 2022 by nicolagi
@ankushdesai
1
Working with Tuple and NamedTuple types in the Foreign code is really painful! Feature Request P Language Enhancement
#377 opened Oct 18, 2021 by ankushdesai
@ankushdesai
P Events has source and target information by default Feature Request P Language Enhancement
#360 opened Sep 20, 2021 by ankushdesai
@ankushdesai
PTst for SimplePaxos missing
#358 opened Sep 15, 2021 by wutka
1
Extract a common interface from PMachine and PMonitor BUG: P C# Runtime Feature Request
#303 opened Dec 7, 2020 by JankoJerinic
@ankushdesai
Create an ability to initialize a variable inline Feature Request P Language Enhancement
#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
@ankushdesai
Make P/C# transpiler obfuscate C# reserved words BUG: P C# Runtime
#289 opened Nov 24, 2020 by JankoJerinic
@ankushdesai
Rename test to check when declaring the scenarios P Module System (Compositional Reasoning)
#286 opened Nov 19, 2020 by ankushdesai
@ankushdesai
Add support for Invariants in P P Language Enhancement
#272 opened Nov 4, 2020 by ankushdesai
@FedericoAureliano
"KeyNotFoundException" when instantiating machines from C# without "creates" declaration BUG: P C# Runtime
#263 opened Sep 30, 2020 by KelvinLi2020
@ankushdesai
1
Separate Compilation in P P Language Enhancement
#216 opened Sep 3, 2019 by ankushdesai
@shazqadeer
1
Shared Memory Concurrency in P Feature Request Help! Information P Language Enhancement Question
#207 opened Aug 6, 2019 by ankushdesai
@ankushdesai
1
Improve the support for renaming of interfaces Feature Request P Module System (Compositional Reasoning)
#156 opened Sep 8, 2017 by shazqadeer
Provide support for safe and assume module constructors Feature Request P Module System (Compositional Reasoning)
#112 opened Apr 18, 2017 by ankushdesai
@ankushdesai
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.