Microsoft.Coyote 1.2.8

Coyote is a library for building reliable asynchronous software.

Install-Package Microsoft.Coyote -Version 1.2.8
dotnet add package Microsoft.Coyote --version 1.2.8
<PackageReference Include="Microsoft.Coyote" Version="1.2.8" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote --version 1.2.8
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote, 1.2.8"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Microsoft.Coyote as a Cake Addin
#addin nuget:?package=Microsoft.Coyote&version=1.2.8

// Install Microsoft.Coyote as a Cake Tool
#tool nuget:?package=Microsoft.Coyote&version=1.2.8
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

  • .NETFramework 4.6.2

    • No dependencies.
  • .NETStandard 2.0

    • No dependencies.
  • .NETStandard 2.1

    • No dependencies.
  • net5.0

    • No dependencies.

NuGet packages (2)

Showing the top 2 NuGet packages that depend on Microsoft.Coyote:

Package Downloads
PCSharpRuntime
The P Programming Language C# Runtime
Microsoft.Coyote.Test
The Coyote systematic testing library and tools.

GitHub repositories (1)

Showing the top 1 popular GitHub repositories that depend on Microsoft.Coyote:

Repository Stars
p-org/P
The P programming language.

Version History

Version Downloads Last updated
1.2.8 168 6/4/2021
1.2.7 148 5/24/2021
1.2.6 227 4/22/2021
1.2.5 85 4/13/2021
1.2.4 326 3/3/2021
1.2.3 441 12/10/2020
1.2.2 464 11/17/2020
1.2.1 606 10/27/2020
1.2.0 186 10/27/2020
1.1.5 5,639 10/14/2020
1.1.4 230 10/10/2020
1.1.2 221 10/6/2020
1.1.1 368 9/28/2020
1.1.0 259 9/24/2020
1.0.17 592 8/14/2020
1.0.16 228 8/3/2020
1.0.15 4,104 7/22/2020
1.0.14 392 7/21/2020
1.0.12 350 7/1/2020
1.0.11 1,406 6/6/2020
1.0.10 253 6/3/2020
1.0.8 289 5/27/2020
1.0.6 331 5/13/2020
1.0.5 585,741 4/24/2020
1.0.4 13,340 4/15/2020
1.0.3 273 4/7/2020
1.0.2 1,466 3/24/2020
1.0.1 303 3/22/2020