This repository has been archived by the owner on Aug 26, 2022. It is now read-only.
This release contains the 1.7.0 version of the P# framework.
The release removes the TraceViewer (which has now moved to its own repository) and exposes the BugTrace (and related types) as public, which can be used by trace viewing tools (TraceViewer itself is using these types).