-
Notifications
You must be signed in to change notification settings - Fork 175
Insights: p-org/P
Overview
-
0 Active issues
-
- 17 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
17 Pull requests merged by 5 people
-
[Cleanup] Remove state machine factory, runtime factory, and name resolver
#774 merged
Sep 12, 2024 -
[Cleanup] Minor cleanups
#773 merged
Sep 11, 2024 -
Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor
#772 merged
Sep 10, 2024 -
[PEx] Adds limiting data choices and sharing feedback to user
#771 merged
Sep 9, 2024 -
[Cleanup] Merging PMachine with StateMachine
#770 merged
Sep 5, 2024 -
[PEx] Implements multi-threaded PEx version
#768 merged
Sep 5, 2024 -
Adding test cases for 'raise' and 'goto' with payload
#767 merged
Aug 29, 2024 -
[Cleanup] Merging PMonitor with Monitor
#766 merged
Aug 29, 2024 -
[Cleanup] Merging PEvent with Event
#764 merged
Aug 23, 2024 -
[Cleanup] Merge P formatters to P checker formatters
#763 merged
Aug 21, 2024 -
Prototype Support For Verification
#762 merged
Aug 21, 2024 -
[clean-up] unnecessary option types
#761 merged
Aug 20, 2024 -
[Cleanup] Moving ActorRuntime into ControlledRuntime
#760 merged
Aug 20, 2024 -
[PEx] Updates to P tutorial and CLI for PEx, support interface refinement in PEx, refactoring
#758 merged
Aug 15, 2024 -
Remove the bug that allows function name and state name be same.
#759 merged
Aug 15, 2024 -
Merging Actor.cs with StateMachine.cs
#757 merged
Aug 15, 2024 -
Fixed a bug related to duplicate bindings
#756 merged
Aug 12, 2024