P# 1.6.1

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 to Create and Send related methods:

• The Machine.Send method and the IMachineRuntime send event methods now receive an optional Guid operationGroupId, which overrides the default OperationGroupId set by the event constructor.
• The Machine.Raise method now receives an optional Guid operationGroupId, similar to above.
• The IMachineRuntime methods that receive an optional operation group id, now accept a Guid operationGroupId = default parameter instead of Guid? operationGroupId = null.
• The logger interface is updated to receive a Guid parameter instead of Guid? for logging sends.
• The IMachineRuntime now exposes a Stop method that terminates the runtime and notifies each active machine to halt execution.