Boogie.CodeContractsExtender 3.2.2

There is a newer version of this package available.
See the version list below for details.

dotnet add package Boogie.CodeContractsExtender --version 3.2.2

NuGet\Install-Package Boogie.CodeContractsExtender -Version 3.2.2

This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.

<PackageReference Include="Boogie.CodeContractsExtender" Version="3.2.2" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

paket add Boogie.CodeContractsExtender --version 3.2.2

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: Boogie.CodeContractsExtender, 3.2.2"

#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.

// Install Boogie.CodeContractsExtender as a Cake Addin
#addin nuget:?package=Boogie.CodeContractsExtender&version=3.2.2

// Install Boogie.CodeContractsExtender as a Cake Tool
#tool nuget:?package=Boogie.CodeContractsExtender&version=3.2.2

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Package Description

Product	Compatible and additional computed target framework versions.
.NET	net6.0 is compatible. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed.

Product

.NET

Compatible target framework(s)

Included target framework(s) (in package)

Learn more about Target Frameworks and .NET Standard.

net6.0
- No dependencies.

NuGet packages (14)

Showing the top 5 NuGet packages that depend on Boogie.CodeContractsExtender:

Package	Downloads
Boogie.Graph Package Description	472.7K
Boogie.BaseTypes Package Description	472.1K
Boogie.Core Package Description	463.3K
Boogie.Model Package Description	437.6K
Boogie.VCExpr Package Description	435.0K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
3.2.4	1,763	8/16/2024
3.2.3	4,876	7/30/2024
3.2.2	2,352	7/18/2024
3.2.0	240	7/4/2024
3.1.6	15,362	5/23/2024
3.1.5	245	4/23/2024
3.1.4	292	4/11/2024
3.1.3	19,625	3/13/2024
3.1.2	1,047	3/7/2024
3.1.1	970	3/5/2024
3.1.0	377	3/4/2024
3.0.12	2,957	2/19/2024
3.0.11	2,991	2/2/2024
3.0.10	3,556	1/22/2024
3.0.9	10,120	12/8/2023
3.0.8	2,220	11/29/2023
3.0.7	1,367	11/21/2023
3.0.6	620	11/16/2023
3.0.5	10,397	10/10/2023
3.0.4	4,354	9/14/2023
3.0.3	3,126	9/6/2023
3.0.2	711	9/5/2023
3.0.1	834	8/16/2023
3.0.0	15,857	7/20/2023
2.16.9	979	6/20/2023
2.16.8	17,480	6/1/2023
2.16.7	1,002	5/19/2023
2.16.5	10,108	4/10/2023
2.16.4	10,666	3/31/2023
2.16.3	5,651	3/9/2023
2.16.2	1,856	2/23/2023
2.16.1	1,345	2/21/2023
2.16.0	50,640	11/28/2022
2.15.9	16,134	10/25/2022
2.15.8	2,097	9/30/2022
2.15.7	48,328	7/22/2022
2.15.6	18,903	6/16/2022
2.15.5	2,364	6/15/2022
2.15.4	2,527	6/13/2022
2.15.3	2,491	6/10/2022
2.15.2	13,487	5/12/2022
2.15.1	2,664	5/5/2022
2.15.0	9,826	5/2/2022
2.14.0	2,760	4/19/2022
2.13.4	18,274	3/25/2022
2.13.3	2,375	3/23/2022
2.13.2	3,225	3/23/2022
2.13.1	4,119	3/17/2022
2.13.0	4,494	3/9/2022
2.12.1	5,050	2/28/2022
2.11.5	2,571	2/16/2022
2.11.4	11,505	2/4/2022
2.11.3	2,851	2/3/2022
2.11.2	6,872	1/10/2022
2.11.1	6,326	12/15/2021
2.11.0	2,697	12/9/2021
2.10.2	1,818	11/30/2021
2.10.0	1,809	11/30/2021
2.9.6	6,197	10/25/2021
2.9.5	1,996	10/21/2021
2.9.4	2,592	8/24/2021
2.9.3	10,872	8/10/2021
2.9.2	3,239	7/21/2021
2.9.1	2,288	7/5/2021
2.9.0	2,075	6/29/2021
2.8.33	2,392	6/14/2021
2.8.32	2,269	5/4/2021
2.8.31	2,325	4/21/2021
2.8.30	9,869	4/13/2021
2.8.29	2,354	3/29/2021
2.8.28	2,509	3/18/2021
2.8.27	2,483	3/11/2021
2.8.26	5,752	2/2/2021
2.8.25	2,404	2/2/2021
2.8.24	2,517	2/2/2021
2.8.23	2,574	1/22/2021
2.8.22	2,508	1/9/2021
2.8.21	6,878	1/5/2021
2.8.20	2,658	1/1/2021
2.8.18	2,617	12/29/2020
2.8.17	2,590	12/24/2020
2.8.16	2,555	12/23/2020
2.8.15	2,591	12/21/2020
2.8.14	2,710	12/19/2020
2.8.13	2,673	12/19/2020
2.8.12	2,585	12/13/2020
2.8.11	2,568	12/3/2020
2.8.10	2,625	12/2/2020
2.8.9	2,587	12/2/2020
2.8.8	2,604	11/26/2020
2.8.7	2,770	11/11/2020
2.8.6	2,784	11/5/2020
2.8.5	2,739	11/3/2020
2.8.4	2,819	10/30/2020
2.8.3	2,761	10/29/2020
2.8.2	2,843	10/24/2020
2.8.1	2,826	10/22/2020
2.8.0	2,852	10/20/2020
2.7.43	2,740	10/19/2020
2.7.42	2,823	10/15/2020
2.7.41	2,863	10/15/2020
2.7.40	2,788	10/14/2020
2.7.39	2,775	10/12/2020

Boogie.CodeContractsExtender 3.2.2

net6.0

NuGet packages (14)

GitHub repositories