p-org / P Public

Notifications
Star 2.2k
Fork 130

Code
Issues 20
Pull requests
Discussions
Actions
Projects 1
Security
Insights

Code
Issues
Pull requests
Discussions
Actions
Projects
Security
Insights

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

20 Open 178 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

Confused on the purpose of P Information Question

#396 opened Nov 3, 2021 by Pyrolistical

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

Add support for SharedMemory and RPC calls across machines P Language Enhancement

#375 opened Oct 15, 2021 by ankushdesai

Add % operation support Feature Request P Language Enhancement

#370 opened Oct 6, 2021 by ankushdesai

P Events has source and target information by default Feature Request P Language Enhancement

#360 opened Sep 20, 2021 by ankushdesai

PTst for SimplePaxos missing

#358 opened Sep 15, 2021 by wutka

Extract a common interface from PMachine and PMonitor BUG: P C# Runtime Feature Request

#303 opened Dec 7, 2020 by JankoJerinic

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

#301 opened Dec 7, 2020 by JankoJerinic

Make P/C# transpiler obfuscate C# reserved words BUG: P C# Runtime

#289 opened Nov 24, 2020 by JankoJerinic

Rename test to check when declaring the scenarios P Module System (Compositional Reasoning)

#286 opened Nov 19, 2020 by ankushdesai

Wrong namespace for foreign code in TwoPhaseCommit example

#284 opened Nov 13, 2020 by BusyJay

Add support for Invariants in P P Language Enhancement

#272 opened Nov 4, 2020 by ankushdesai

"KeyNotFoundException" when instantiating machines from C# without "creates" declaration BUG: P C# Runtime

#263 opened Sep 30, 2020 by KelvinLi2020

Separate Compilation in P P Language Enhancement

#216 opened Sep 3, 2019 by ankushdesai

Adding Generics to P P Language Enhancement

#214 opened Aug 31, 2019 by ankushdesai

Shared Memory Concurrency in P Feature Request Help! Information P Language Enhancement Question

#207 opened Aug 6, 2019 by ankushdesai

Remove the linear types from the current implementation [Clean up!] BUG: P Compiler P Language Enhancement

#203 opened Jun 25, 2019 by ankushdesai

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

ProTip! Follow long discussions with comments:>50.