Skip to content
This repository was archived by the owner on Aug 26, 2022. It is now read-only.

P# 1.4.5

Choose a tag to compare

View all tags
@pdeligia pdeligia released this 14 Feb 02:16
· 51 commits to master since this release
1.4.5
904fa0d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release contains the 1.4.5 version of the P# language, runtime and testing infrastructure.

The release contains bug fixes related to printing the state names for logging and coverage reporting.

Assets 2
Loading