PSharp
PSharp copied to clipboard
p-org
A framework for rapid development of reliable asynchronous software.
This PR adds a logger that clients of PSharp can use, called AsyncLogger. The logger places the messages it receives in a queue, and asynchronously dequeues and writes these messages...
Could you please provide a comparison and benchmarks that compare P# to other actor model inspired frameworks for .NET like Akka.NET and Orleans? What are the pros and cons for...
I think there is a bug in the coverage reporter, it is not taking into account the "default" transitions. I am 100% sure that the default transition is triggered during...
Support something line the following ``` state S { async entry { return foo(); } } ``` where `foo` returns a `Task`. This is slightly better in terms of performance...
Currently the OnException callback isn't async. It cannot be because it is called in a when clause, as the thrown exception is being propagated up the call stack. An alternative...
It'll be nice to provide a model of CancellationToken, along the lines of a SharedRegister.
Low-priority proposal. It would be nice to have attributes and syntax extensions that simplify using the new built-in timers. For example, instead of the user having to explicitly handle a...
Right now, liveness heuristics are setup at the `PSharpTester` level, we should instead setup them (as well as any other heuristics) inside the `TestingServices` library. The reason behind this is...
I am having issues trying to build PSharp-as-language samples on macOS. Building PSharp itself works without problems by executing: ``` dotnet build -c Release PSharp.sln ``` I can then build...
