-
Notifications
You must be signed in to change notification settings - Fork 175
Issues: p-org/P
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
Issues list
Feature request: bitwise ops or expression syntax for set operations
#739
opened May 24, 2024 by
toddlipcon
Log monitor state or a custom message when it is in a hot state at the end of a schedule
#738
opened May 23, 2024 by
nvartolomei
Does P really no longer support generate C/C++ Language ? Or when can you turn this feature back on
#733
opened May 22, 2024 by
nichanggong
Case expressions
Feature Request
Feature Request or Enhancement
P Language Enhancement
New language features for P
#664
opened Oct 9, 2023 by
fintara
In trace logs enums are printed as integers and its annoying!
BUG: P Runtime
Bug in the P's C# Runtime
Feature Request
Feature Request or Enhancement
#627
opened Jul 20, 2023 by
ankushdesai
Simplify the module system requirements
P Module System (Compositional Reasoning)
Related to the P module system
#522
opened Nov 15, 2022 by
ankushdesai
Simplify the process of writing test cases.
P Language Enhancement
New language features for P
#521
opened Nov 15, 2022 by
ankushdesai
P Events has Feature Request or Enhancement
P Language Enhancement
New language features for P
source
and target
information by default
Feature Request
#360
opened Sep 20, 2021 by
ankushdesai
ProTip!
Find all open issues with in progress development work with linked:pr.