Microsoft.Coyote 1.2.5

Coyote is a library for building reliable asynchronous software.

Install-Package Microsoft.Coyote -Version 1.2.5
dotnet add package Microsoft.Coyote --version 1.2.5
<PackageReference Include="Microsoft.Coyote" Version="1.2.5" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote --version 1.2.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote, 1.2.5"
#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.5

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

  • .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.5 32 4/13/2021
1.2.4 269 3/3/2021
1.2.3 422 12/10/2020
1.2.2 445 11/17/2020
1.2.1 584 10/27/2020
1.2.0 170 10/27/2020
1.1.5 5,621 10/14/2020
1.1.4 217 10/10/2020
1.1.2 200 10/6/2020
1.1.1 351 9/28/2020
1.1.0 241 9/24/2020
1.0.17 569 8/14/2020
1.0.16 210 8/3/2020
1.0.15 4,085 7/22/2020
1.0.14 362 7/21/2020
1.0.12 328 7/1/2020
1.0.11 1,386 6/6/2020
1.0.10 235 6/3/2020
1.0.8 277 5/27/2020
1.0.6 317 5/13/2020
1.0.5 414,027 4/24/2020
1.0.4 13,328 4/15/2020
1.0.3 261 4/7/2020
1.0.2 1,451 3/24/2020
1.0.1 288 3/22/2020