DafnyBenchmarkingPlugin 4.2.0-nightly-2023-08-17-9e18bfc

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
This is a prerelease version of DafnyBenchmarkingPlugin.
There is a newer version of this package available.
See the version list below for details. 
dotnet add package DafnyBenchmarkingPlugin --version 4.2.0-nightly-2023-08-17-9e18bfc
NuGet\Install-Package DafnyBenchmarkingPlugin -Version 4.2.0-nightly-2023-08-17-9e18bfc
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="DafnyBenchmarkingPlugin" Version="4.2.0-nightly-2023-08-17-9e18bfc" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add DafnyBenchmarkingPlugin --version 4.2.0-nightly-2023-08-17-9e18bfc
#r "nuget: DafnyBenchmarkingPlugin, 4.2.0-nightly-2023-08-17-9e18bfc"
#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 DafnyBenchmarkingPlugin as a Cake Addin
#addin nuget:?package=DafnyBenchmarkingPlugin&version=4.2.0-nightly-2023-08-17-9e18bfc&prerelease

// Install DafnyBenchmarkingPlugin as a Cake Tool
#tool nuget:?package=DafnyBenchmarkingPlugin&version=4.2.0-nightly-2023-08-17-9e18bfc&prerelease

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. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

  • net6.0

    • DafnyCore (>= 4.2.0-nightly-2023-08-17-9e18bfc)

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.6.0 99 3/28/2024
4.6.0-nightly-2024-05-20-7e... 0 5/20/2024
4.6.0-nightly-2024-05-18-2f... 34 5/18/2024
4.6.0-nightly-2024-05-17-80... 41 5/17/2024
4.6.0-nightly-2024-05-16-8d... 42 5/16/2024
4.6.0-nightly-2024-05-15-af... 64 5/15/2024
4.6.0-nightly-2024-05-14-8d... 67 5/14/2024
4.6.0-nightly-2024-05-13-70... 64 5/13/2024
4.6.0-nightly-2024-05-12-70... 62 5/12/2024
4.6.0-nightly-2024-05-11-70... 60 5/11/2024
4.6.0-nightly-2024-05-10-cc... 69 5/10/2024
4.6.0-nightly-2024-05-09-84... 70 5/9/2024
4.6.0-nightly-2024-05-08-1c... 67 5/8/2024
4.6.0-nightly-2024-05-07-55... 72 5/7/2024
4.6.0-nightly-2024-05-06-55... 66 5/6/2024
4.6.0-nightly-2024-05-05-55... 72 5/5/2024
4.6.0-nightly-2024-05-04-55... 75 5/4/2024
4.6.0-nightly-2024-05-03-55... 33 5/3/2024
4.6.0-nightly-2024-05-02-07... 31 5/3/2024
4.6.0-nightly-2024-05-01-8e... 37 5/1/2024
4.6.0-nightly-2024-05-01-88... 42 5/1/2024
4.6.0-nightly-2024-04-29-ea... 62 4/29/2024
4.6.0-nightly-2024-04-26-bc... 60 4/26/2024
4.6.0-nightly-2024-04-25-b4... 64 4/25/2024
4.6.0-nightly-2024-04-24-06... 63 4/24/2024
4.6.0-nightly-2024-04-22-00... 71 4/22/2024
4.6.0-nightly-2024-04-21-2e... 61 4/21/2024
4.6.0-nightly-2024-04-20-2e... 58 4/21/2024
4.6.0-nightly-2024-04-19-0c... 65 4/19/2024
4.6.0-nightly-2024-04-18-0c... 64 4/18/2024
4.6.0-nightly-2024-04-17-b3... 64 4/17/2024
4.6.0-nightly-2024-04-16-1c... 64 4/16/2024
4.6.0-nightly-2024-04-15-13... 63 4/15/2024
4.6.0-nightly-2024-04-14-13... 63 4/15/2024
4.6.0-nightly-2024-04-13-13... 70 4/13/2024
4.6.0-nightly-2024-04-12-4e... 60 4/12/2024
4.6.0-nightly-2024-04-11-62... 55 4/11/2024
4.6.0-nightly-2024-04-10-d8... 63 4/10/2024
4.6.0-nightly-2024-04-09-65... 65 4/9/2024
4.6.0-nightly-2024-04-08-be... 71 4/8/2024
4.6.0-nightly-2024-04-07-be... 67 4/7/2024
4.6.0-nightly-2024-04-05-56... 65 4/5/2024
4.6.0-nightly-2024-04-04-5c... 67 4/4/2024
4.6.0-nightly-2024-04-03-91... 67 4/3/2024
4.6.0-nightly-2024-04-02-5b... 67 4/2/2024
4.6.0-nightly-2024-04-01-69... 71 4/1/2024
4.6.0-nightly-2024-03-31-4a... 69 3/31/2024
4.6.0-nightly-2024-03-29-8f... 68 3/29/2024
4.6.0-nightly-2024-03-29-71... 57 3/29/2024
4.5.0 109 3/15/2024
4.5.0-nightly-2024-03-27-ca... 62 3/27/2024
4.5.0-nightly-2024-03-26-0c... 76 3/27/2024
4.5.0-nightly-2024-03-25-f4... 59 3/25/2024
4.5.0-nightly-2024-03-24-f4... 59 3/25/2024
4.5.0-nightly-2024-03-23-f4... 59 3/23/2024
4.5.0-nightly-2024-03-22-ec... 59 3/22/2024
4.5.0-nightly-2024-03-21-7c... 46 3/21/2024
4.5.0-nightly-2024-03-20-99... 53 3/20/2024
4.5.0-nightly-2024-03-19-39... 57 3/20/2024
4.5.0-nightly-2024-03-18-39... 72 3/18/2024
4.5.0-nightly-2024-03-17-39... 60 3/17/2024
4.5.0-nightly-2024-03-16-39... 66 3/16/2024
4.5.0-nightly-2024-03-15-02... 67 3/15/2024
4.4.0 177 12/12/2023
4.4.0-nightly-2024-03-15-87... 85 3/15/2024
4.4.0-nightly-2024-03-14-28... 61 3/14/2024
4.4.0-nightly-2024-03-13-f1... 65 3/13/2024
4.4.0-nightly-2024-03-12-69... 65 3/12/2024
4.4.0-nightly-2024-03-11-a8... 60 3/11/2024
4.4.0-nightly-2024-03-10-a2... 69 3/11/2024
4.4.0-nightly-2024-03-09-a2... 73 3/9/2024
4.4.0-nightly-2024-03-08-1d... 64 3/8/2024
4.4.0-nightly-2024-03-06-35... 85 3/6/2024
4.4.0-nightly-2024-03-05-35... 65 3/5/2024
4.4.0-nightly-2024-03-04-54... 66 3/4/2024
4.4.0-nightly-2024-03-03-4e... 55 3/3/2024
4.4.0-nightly-2024-03-01-26... 59 3/1/2024
4.4.0-nightly-2024-02-29-2a... 59 2/29/2024
4.4.0-nightly-2024-02-28-2a... 54 2/28/2024
4.4.0-nightly-2024-02-27-2a... 55 2/27/2024
4.4.0-nightly-2024-02-26-1c... 47 2/26/2024
4.4.0-nightly-2024-02-25-d6... 53 2/26/2024
4.4.0-nightly-2024-02-24-d6... 57 2/24/2024
4.4.0-nightly-2024-02-23-d6... 57 2/23/2024
4.4.0-nightly-2024-02-22-e2... 56 2/22/2024
4.4.0-nightly-2024-02-21-22... 54 2/21/2024
4.4.0-nightly-2024-02-20-ce... 55 2/20/2024
4.4.0-nightly-2024-02-19-be... 59 2/19/2024
4.4.0-nightly-2024-02-18-be... 61 2/18/2024
4.4.0-nightly-2024-02-17-be... 61 2/17/2024
4.4.0-nightly-2024-02-16-af... 54 2/16/2024
4.4.0-nightly-2024-02-15-73... 60 2/15/2024
4.4.0-nightly-2024-02-14-5c... 53 2/14/2024
4.4.0-nightly-2024-02-13-9d... 60 2/13/2024
4.4.0-nightly-2024-02-12-d7... 57 2/12/2024
4.4.0-nightly-2024-02-11-c8... 53 2/11/2024
4.4.0-nightly-2024-02-10-c8... 56 2/10/2024
4.4.0-nightly-2024-02-09-29... 65 2/9/2024
4.4.0-nightly-2024-02-08-fc... 54 2/8/2024
4.4.0-nightly-2024-02-07-59... 56 2/7/2024
4.4.0-nightly-2024-02-06-b3... 53 2/6/2024
4.4.0-nightly-2024-02-05-16... 52 2/5/2024
4.4.0-nightly-2024-02-04-c6... 55 2/4/2024
4.4.0-nightly-2024-02-03-c6... 53 2/3/2024
4.4.0-nightly-2024-02-02-70... 57 2/2/2024
4.4.0-nightly-2024-02-01-8b... 57 2/1/2024
4.4.0-nightly-2024-01-31-8b... 57 1/31/2024
4.4.0-nightly-2024-01-30-90... 55 1/30/2024
4.4.0-nightly-2024-01-26-cf... 51 1/26/2024
4.4.0-nightly-2024-01-25-cf... 54 1/25/2024
4.4.0-nightly-2024-01-24-9d... 55 1/24/2024
4.4.0-nightly-2024-01-23-fe... 56 1/23/2024
4.4.0-nightly-2024-01-22-47... 59 1/22/2024
4.4.0-nightly-2024-01-21-a7... 53 1/21/2024
4.4.0-nightly-2024-01-20-79... 55 1/20/2024
4.4.0-nightly-2024-01-19-99... 53 1/19/2024
4.4.0-nightly-2024-01-19-3b... 53 1/19/2024
4.4.0-nightly-2024-01-18-3b... 54 1/18/2024
4.4.0-nightly-2024-01-17-3b... 63 1/17/2024
4.4.0-nightly-2024-01-03-2c... 69 1/3/2024
4.4.0-nightly-2024-01-01-2c... 77 1/1/2024
4.4.0-nightly-2023-12-31-2c... 70 12/31/2023
4.4.0-nightly-2023-12-30-2c... 76 12/30/2023
4.4.0-nightly-2023-12-29-2c... 85 12/29/2023
4.4.0-nightly-2023-12-28-2c... 74 12/28/2023
4.4.0-nightly-2023-12-27-2c... 77 12/27/2023
4.4.0-nightly-2023-12-26-2c... 73 12/26/2023
4.4.0-nightly-2023-12-25-2c... 57 12/25/2023
4.4.0-nightly-2023-12-24-2c... 62 12/24/2023
4.4.0-nightly-2023-12-23-2c... 69 12/23/2023
4.4.0-nightly-2023-12-22-2c... 55 12/22/2023
4.4.0-nightly-2023-12-21-2c... 54 12/21/2023
4.4.0-nightly-2023-12-20-2c... 51 12/20/2023
4.4.0-nightly-2023-12-19-2c... 58 12/19/2023
4.4.0-nightly-2023-12-18-2c... 63 12/18/2023
4.4.0-nightly-2023-12-17-2c... 63 12/17/2023
4.4.0-nightly-2023-12-16-2c... 55 12/16/2023
4.4.0-nightly-2023-12-15-2c... 53 12/15/2023
4.4.0-nightly-2023-12-14-2c... 65 12/15/2023
4.4.0-nightly-2023-12-13-2c... 61 12/13/2023
4.4.0-nightly-2023-12-12-4f... 72 12/12/2023
4.4.0-nightly-2023-12-11-4f... 66 12/11/2023
4.4.0-nightly-2023-12-10-4f... 67 12/10/2023
4.4.0-nightly-2023-12-09-4f... 74 12/9/2023
4.3.0 135 9/28/2023
4.3.0-nightly-2023-12-08-7e... 67 12/8/2023
4.3.0-nightly-2023-12-07-c9... 58 12/7/2023
4.3.0-nightly-2023-12-06-6a... 63 12/6/2023
4.3.0-nightly-2023-12-05-cc... 45 12/5/2023
4.3.0-nightly-2023-12-04-fd... 51 12/4/2023
4.3.0-nightly-2023-12-03-23... 58 12/3/2023
4.3.0-nightly-2023-12-02-23... 62 12/2/2023
4.3.0-nightly-2023-12-01-05... 67 12/1/2023
4.3.0-nightly-2023-11-30-8e... 57 11/30/2023
4.3.0-nightly-2023-11-29-f7... 56 11/29/2023
4.3.0-nightly-2023-11-28-c5... 60 11/28/2023
4.3.0-nightly-2023-11-27-98... 54 11/27/2023
4.3.0-nightly-2023-11-25-b1... 65 11/25/2023
4.3.0-nightly-2023-11-24-b1... 58 11/24/2023
4.3.0-nightly-2023-11-23-ec... 60 11/23/2023
4.3.0-nightly-2023-11-22-ec... 62 11/22/2023
4.3.0-nightly-2023-11-21-fd... 54 11/21/2023
4.3.0-nightly-2023-11-21-4f... 65 11/21/2023
4.3.0-nightly-2023-11-19-dd... 53 11/19/2023
4.3.0-nightly-2023-11-18-dd... 53 11/18/2023
4.3.0-nightly-2023-11-17-06... 55 11/17/2023
4.3.0-nightly-2023-11-16-f8... 54 11/16/2023
4.3.0-nightly-2023-11-15-c6... 55 11/15/2023
4.3.0-nightly-2023-11-14-84... 56 11/14/2023
4.3.0-nightly-2023-11-13-5e... 52 11/13/2023
4.3.0-nightly-2023-11-12-90... 56 11/12/2023
4.3.0-nightly-2023-11-11-90... 52 11/11/2023
4.3.0-nightly-2023-11-10-4d... 53 11/10/2023
4.3.0-nightly-2023-11-09-ee... 53 11/9/2023
4.3.0-nightly-2023-11-08-48... 53 11/8/2023
4.3.0-nightly-2023-11-07-48... 53 11/7/2023
4.3.0-nightly-2023-11-06-d4... 67 11/6/2023
4.3.0-nightly-2023-11-05-d4... 68 11/5/2023
4.3.0-nightly-2023-11-02-53... 66 11/2/2023
4.3.0-nightly-2023-11-01-45... 66 11/1/2023
4.3.0-nightly-2023-10-31-af... 60 10/31/2023
4.3.0-nightly-2023-10-30-bf... 77 10/30/2023
4.3.0-nightly-2023-10-29-17... 69 10/29/2023
4.3.0-nightly-2023-10-28-17... 76 10/28/2023
4.3.0-nightly-2023-10-27-c6... 79 10/27/2023
4.3.0-nightly-2023-10-26-c6... 71 10/26/2023
4.3.0-nightly-2023-10-25-5d... 84 10/25/2023
4.3.0-nightly-2023-10-24-cd... 84 10/24/2023
4.3.0-nightly-2023-10-23-7b... 83 10/23/2023
4.3.0-nightly-2023-10-23-3e... 81 10/24/2023
4.3.0-nightly-2023-10-20-81... 87 10/20/2023
4.3.0-nightly-2023-10-19-9e... 77 10/19/2023
4.3.0-nightly-2023-10-18-32... 83 10/18/2023
4.3.0-nightly-2023-10-17-ad... 86 10/17/2023
4.3.0-nightly-2023-10-16-41... 83 10/16/2023
4.3.0-nightly-2023-10-15-fc... 88 10/15/2023
4.3.0-nightly-2023-10-14-fc... 89 10/14/2023
4.3.0-nightly-2023-10-13-0e... 88 10/13/2023
4.3.0-nightly-2023-09-27-35... 98 9/27/2023
4.2.0 237 7/20/2023
4.2.0-nightly-2023-10-12-fd... 83 10/12/2023
4.2.0-nightly-2023-10-11-fd... 88 10/11/2023
4.2.0-nightly-2023-10-10-fd... 90 10/10/2023
4.2.0-nightly-2023-10-09-fd... 94 10/9/2023
4.2.0-nightly-2023-10-08-fd... 85 10/8/2023
4.2.0-nightly-2023-10-07-fd... 89 10/7/2023
4.2.0-nightly-2023-10-06-fd... 96 10/6/2023
4.2.0-nightly-2023-10-05-fd... 89 10/5/2023
4.2.0-nightly-2023-10-04-fd... 84 10/4/2023
4.2.0-nightly-2023-10-02-fd... 90 10/2/2023
4.2.0-nightly-2023-09-30-fd... 85 9/30/2023
4.2.0-nightly-2023-09-29-fd... 87 9/29/2023
4.2.0-nightly-2023-09-28-fd... 86 9/28/2023
4.2.0-nightly-2023-09-27-fd... 93 9/27/2023
4.2.0-nightly-2023-09-27-4d... 93 9/27/2023
4.2.0-nightly-2023-09-26-a0... 98 9/26/2023
4.2.0-nightly-2023-09-25-67... 94 9/25/2023
4.2.0-nightly-2023-09-24-67... 90 9/24/2023
4.2.0-nightly-2023-09-23-67... 92 9/23/2023
4.2.0-nightly-2023-09-22-67... 97 9/22/2023
4.2.0-nightly-2023-09-21-75... 91 9/21/2023
4.2.0-nightly-2023-09-20-c6... 93 9/20/2023
4.2.0-nightly-2023-09-19-ae... 89 9/19/2023
4.2.0-nightly-2023-09-18-45... 84 9/18/2023
4.2.0-nightly-2023-09-17-45... 94 9/18/2023
4.2.0-nightly-2023-09-16-04... 77 9/16/2023
4.2.0-nightly-2023-09-15-e7... 84 9/15/2023
4.2.0-nightly-2023-09-14-e5... 103 9/14/2023
4.2.0-nightly-2023-09-13-45... 94 9/13/2023
4.2.0-nightly-2023-09-12-27... 102 9/12/2023
4.2.0-nightly-2023-09-11-d2... 98 9/11/2023
4.2.0-nightly-2023-09-10-c5... 89 9/10/2023
4.2.0-nightly-2023-09-09-ed... 101 9/9/2023
4.2.0-nightly-2023-09-08-37... 91 9/8/2023
4.2.0-nightly-2023-09-07-b6... 100 9/7/2023
4.2.0-nightly-2023-09-06-8d... 93 9/6/2023
4.2.0-nightly-2023-09-05-e1... 93 9/5/2023
4.2.0-nightly-2023-09-04-1e... 73 9/4/2023
4.2.0-nightly-2023-09-03-4a... 89 9/4/2023
4.2.0-nightly-2023-09-02-a8... 96 9/2/2023
4.2.0-nightly-2023-09-01-e9... 101 9/1/2023
4.2.0-nightly-2023-08-31-e9... 92 8/31/2023
4.2.0-nightly-2023-08-30-05... 101 8/30/2023
4.2.0-nightly-2023-08-29-a8... 112 8/29/2023
4.2.0-nightly-2023-08-28-52... 101 8/28/2023
4.2.0-nightly-2023-08-27-95... 104 8/27/2023
4.2.0-nightly-2023-08-26-95... 92 8/26/2023
4.2.0-nightly-2023-08-25-fe... 100 8/25/2023
4.2.0-nightly-2023-08-24-c5... 104 8/24/2023
4.2.0-nightly-2023-08-24-06... 100 8/24/2023
4.2.0-nightly-2023-08-23-b9... 94 8/23/2023
4.2.0-nightly-2023-08-22-84... 100 8/22/2023
4.2.0-nightly-2023-08-21-83... 97 8/21/2023
4.2.0-nightly-2023-08-20-83... 108 8/20/2023
4.2.0-nightly-2023-08-19-83... 99 8/19/2023
4.2.0-nightly-2023-08-18-2a... 95 8/18/2023
4.2.0-nightly-2023-08-17-9e... 87 8/17/2023
4.2.0-nightly-2023-08-16-d9... 99 8/16/2023
4.2.0-nightly-2023-08-15-cd... 117 8/15/2023
4.2.0-nightly-2023-08-14-0c... 109 8/14/2023
4.2.0-nightly-2023-08-13-06... 106 8/13/2023
4.2.0-nightly-2023-08-12-06... 122 8/12/2023
4.2.0-nightly-2023-08-11-e2... 122 8/11/2023
4.2.0-nightly-2023-08-10-44... 122 8/10/2023
4.2.0-nightly-2023-08-09-20... 109 8/9/2023
4.2.0-nightly-2023-08-08-ea... 105 8/9/2023
4.2.0-nightly-2023-08-07-c3... 113 8/7/2023
4.2.0-nightly-2023-08-06-24... 124 8/6/2023
4.2.0-nightly-2023-08-05-38... 127 8/5/2023
4.2.0-nightly-2023-08-04-df... 117 8/4/2023
4.2.0-nightly-2023-08-04-65... 122 8/4/2023
4.2.0-nightly-2023-08-02-a9... 120 8/2/2023
4.2.0-nightly-2023-08-01-52... 133 8/1/2023
4.2.0-nightly-2023-07-31-3b... 121 7/31/2023
4.2.0-nightly-2023-07-30-3b... 123 7/30/2023
4.2.0-nightly-2023-07-29-3b... 122 7/29/2023
4.2.0-nightly-2023-07-28-65... 118 7/28/2023
4.2.0-nightly-2023-07-27-02... 121 7/27/2023
4.2.0-nightly-2023-07-26-59... 123 7/26/2023
4.2.0-nightly-2023-07-25-c5... 126 7/25/2023
4.2.0-nightly-2023-07-24-4d... 132 7/24/2023
4.2.0-nightly-2023-07-23-4d... 136 7/23/2023
4.2.0-nightly-2023-07-22-4d... 136 7/22/2023
4.2.0-nightly-2023-07-21-ab... 135 7/21/2023
4.1.0-nightly-2023-07-20-35... 125 7/20/2023
4.1.0-nightly-2023-07-18-ce... 126 7/18/2023
4.1.0-nightly-2023-07-18-86... 134 7/18/2023
4.1.0-nightly-2023-07-17-ec... 127 7/17/2023
4.1.0-nightly-2023-07-17-e9... 126 7/17/2023
4.1.0-nightly-2023-07-16-e9... 126 7/16/2023
4.1.0-nightly-2023-07-15-e9... 128 7/15/2023
4.1.0-nightly-2023-07-14-12... 121 7/14/2023