Boogie.CodeContractsExtender 3.4.3

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher. 
dotnet add package Boogie.CodeContractsExtender --version 3.4.3                

                    
                

            
NuGet\Install-Package Boogie.CodeContractsExtender -Version 3.4.3
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.4.3" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add Boogie.CodeContractsExtender --version 3.4.3                

                    
                

            
#r "nuget: Boogie.CodeContractsExtender, 3.4.3"
#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.4.3

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

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.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.0-windows was computed. 
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
Boogie.BaseTypes

Package Description
Boogie.Core

Package Description
Boogie.Model

Package Description
Boogie.VCExpr

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
3.4.3 19,904 11/26/2024
3.4.2 2,782 11/14/2024
3.4.1 7,818 10/25/2024
3.4.0 345 10/24/2024
3.3.3 2,810 10/15/2024
3.3.2 294 10/12/2024
3.3.1 307 10/7/2024
3.3.0 269 10/8/2024
3.2.5 12,647 9/12/2024
3.2.4 5,799 8/16/2024
3.2.3 5,851 7/30/2024
3.2.2 2,984 7/18/2024
3.2.0 339 7/4/2024
3.1.6 21,576 5/23/2024
3.1.5 340 4/23/2024
3.1.4 400 4/11/2024
3.1.3 22,277 3/13/2024
3.1.2 1,210 3/7/2024
3.1.1 1,237 3/5/2024
3.1.0 454 3/4/2024
3.0.12 3,791 2/19/2024
3.0.11 4,066 2/2/2024
3.0.10 4,428 1/22/2024
3.0.9 12,636 12/8/2023
3.0.8 2,837 11/29/2023
3.0.7 1,751 11/21/2023
3.0.6 708 11/16/2023
3.0.5 12,147 10/10/2023
3.0.4 4,658 9/14/2023
3.0.3 3,459 9/6/2023
3.0.2 802 9/5/2023
3.0.1 913 8/16/2023
3.0.0 17,523 7/20/2023
2.16.9 1,073 6/20/2023
2.16.8 19,706 6/1/2023
2.16.7 1,101 5/19/2023
2.16.5 10,858 4/10/2023
2.16.4 11,821 3/31/2023
2.16.3 6,269 3/9/2023
2.16.2 1,959 2/23/2023
2.16.1 1,438 2/21/2023
2.16.0 53,295 11/28/2022
2.15.9 17,045 10/25/2022
2.15.8 2,197 9/30/2022
2.15.7 50,154 7/22/2022
2.15.6 19,043 6/16/2022
2.15.5 2,474 6/15/2022
2.15.4 2,627 6/13/2022
2.15.3 2,588 6/10/2022
2.15.2 13,623 5/12/2022
2.15.1 2,773 5/5/2022
2.15.0 11,229 5/2/2022
2.14.0 2,868 4/19/2022
2.13.4 18,365 3/25/2022
2.13.3 2,495 3/23/2022
2.13.2 3,324 3/23/2022
2.13.1 4,216 3/17/2022
2.13.0 4,589 3/9/2022
2.12.1 5,155 2/28/2022
2.11.5 2,689 2/16/2022
2.11.4 11,618 2/4/2022
2.11.3 2,945 2/3/2022
2.11.2 6,968 1/10/2022
2.11.1 6,430 12/15/2021
2.11.0 2,804 12/9/2021
2.10.2 1,933 11/30/2021
2.10.0 1,930 11/30/2021
2.9.6 6,308 10/25/2021
2.9.5 2,096 10/21/2021
2.9.4 2,716 8/24/2021
2.9.3 10,986 8/10/2021
2.9.2 3,361 7/21/2021
2.9.1 2,487 7/5/2021
2.9.0 2,192 6/29/2021
2.8.33 2,504 6/14/2021
2.8.32 2,418 5/4/2021
2.8.31 2,437 4/21/2021
2.8.30 9,988 4/13/2021
2.8.29 2,479 3/29/2021
2.8.28 2,646 3/18/2021
2.8.27 2,618 3/11/2021
2.8.26 5,913 2/2/2021
2.8.25 2,538 2/2/2021
2.8.24 2,647 2/2/2021
2.8.23 2,692 1/22/2021
2.8.22 2,630 1/9/2021
2.8.21 7,015 1/5/2021
2.8.20 2,775 1/1/2021
2.8.18 2,768 12/29/2020
2.8.17 2,705 12/24/2020
2.8.16 2,679 12/23/2020
2.8.15 2,730 12/21/2020
2.8.14 2,852 12/19/2020
2.8.13 2,830 12/19/2020
2.8.12 2,709 12/13/2020
2.8.11 2,699 12/3/2020
2.8.10 2,756 12/2/2020
2.8.9 2,717 12/2/2020
2.8.8 2,720 11/26/2020
2.8.7 2,901 11/11/2020
2.8.6 2,918 11/5/2020
2.8.5 2,866 11/3/2020
2.8.4 2,934 10/30/2020
2.8.3 2,887 10/29/2020
2.8.2 2,969 10/24/2020
2.8.1 2,950 10/22/2020
2.8.0 2,970 10/20/2020
2.7.43 2,868 10/19/2020
2.7.42 2,936 10/15/2020
2.7.41 2,978 10/15/2020
2.7.40 2,918 10/14/2020
2.7.39 2,901 10/12/2020