This release contains the 1.7.0 version of the P# framework.

The release removes theTraceViewer (which has now moved to its own repository) and exposes theBugTrace (and related types) as public, which can be used by trace viewing tools (TraceViewer itself is using these types).

This is a maintenance only release that contains the 1.6.10 version of the P# framework.

This release contains the 1.6.9 version of the P# framework.

• Added theOnEventUnhandledAsync machine callback that is invoked when the machine receives an event that it is not prepared to handle.
• Coverage report includes uncovered events.
• Fixes in the P# syntax plugin related to brace matching and coloring.
• Refactored theILogger andMachineLogger intoILogger andRuntimeLogWriter to simplify the design, separate the concerns and support some extra scenarios. This required some minimal changes in a custom logger: primarily instead of trying to overrideMachineLogger, just implementILogger directly and then set it viaruntime.SetLogger(…) (as previously). If you need to override methods ofRuntimeLogWriter to modify the actual logging behavior of the runtime (previously these methods were part ofMachineLogger) then please read the new brief guidehere on how to do this.

This release contains the 1.6.8 version of the P# framework.

This is a minor release that fixes an issue where the P# high-level syntax rewriter was inserting a call to the removed methodSetCardinalityConstraints in the generated code. This version also removesassert/assume parsing from the P# high-level syntax, as it is not used nor supported any more.

This release contains the 1.6.7 version of the P# framework.

This is a minor release that adds exception handlers when invoking the theOnEventDequeue andOnEventHandled machine callbacks, as well as fixes the precision of activity coverage across multiple tests.

This release contains the 1.6.6 version of the P# framework.

This is a minor release that adds support for inheriting states and using the wildcard event in aMonitor.

This release contains the 1.6.4 version of the P# framework.

This is a minor release that fixes a race condition when using the built-in periodic timer API.

This release contains the 1.6.3 version of the P# framework.

This is a minor release that fixes a bug with the parallel tester.

This release contains the 1.6.2 version of the P# framework.

This is a minor release that does the following changes:

• Exposed the setter of theMachine.OperationGroupId property.
• Modified the internals of how the operation group id associated with event operations is maintained and propagated across the runtime, which allowed us to decouple theOperationGroupId from theEvent.
• Hardened the systematic testing runtime for someasync/await corner cases.

This release contains the 1.6.1 version of the P# framework.

This is a minor release that exposes some new APIs and updates the way that an operation group id can be optionally passed toCreate andSend related methods:

• TheMachine.Send method and theIMachineRuntime send event methods now receive an optionalGuid operationGroupId, which overrides the defaultOperationGroupId set by the event constructor.
• TheMachine.Raise method now receives an optionalGuid operationGroupId, similar to above.
• TheIMachineRuntime methods that receive an optional operation group id, now accept aGuid operationGroupId = default parameter instead ofGuid? operationGroupId = null.
• The logger interface is updated to receive aGuid parameter instead ofGuid? for logging sends.
• TheIMachineRuntime now exposes aStop method that terminates the runtime and notifies each active machine to halt execution.