P
P copied to clipboard
p-org
The P programming language.
- Updated nuget dependencies - Worked around VS 2022's finding antlr-generated code twice - Updated unit test template project to use .NET 6
The Java backend only emits events that are actually used in monitors - in particular, if an event never appears in an `observes` clause, then a class definition is not...
A suggestion from Jigar: with P projects where more than one target might be used, it might make sense to extract e.g. all generated C# files into `PGenerated/dotnet`, all generated...
### Discussed in https://github.com/p-org/P/discussions/450 Originally posted by **anupgithub** June 18, 2022 For larger and faster adoption of P Programming, tutorials on following topics would be very helpful. 1. Single Node...
Right now, creating ``seq`` objects (i.e. lists) is a bit cumbersome, as you have to declare them, then append to them in a relatively awkward syntax, which forces you to...
The SimplePaxos tutorial is missing the Ptst folder even though it is mentioned in the .pproj. I wasn't sure if it was just forgotten in the commit or if that...
Hello, in the Client Server example of the P tutorial, AbstractBankServer is supposed to be an abstraction of the composition of BankServer and Database. Is it possible to test whether...
Not a pressing issue, but something I noticed this morning that might be worth fixing one afternoon: The CompilationContext base class is responsible for auto-indenting the extracted code. However, it...
In the following event handler (part of the ClientServer tutorial), ``` 103 on eWithDrawResp do (resp: tWithDrawResp) { 104 assert resp.rId in pendingWDReqs, 105 format ("unexpected rId: {0} received, expected...
I noticed one can use send/receive in a global function but I don't know if it's intended because THIS is not allowed in global functions, and I would expect it...
