This repository has been archived by the owner on Aug 26, 2022. It is now read-only.
P# 1.5.0
This release contains the 1.5.0 version of the P# framework.
Changes:
- Redesigned the built-in timer APIs to make them easier to use and more efficient (see documentation here)
- Previous timer APIs are now deprecated and moved under the
Microsoft.PSharp.Deprecated.Timers
namespace - The
FairRandom
API is exposed by the runtime - Fixed a bug where the
SharedObjects
library was not included for .NET Core targets - Removed support for net45