Skip to main content
N
4.11.0-nightly-2025-10-16-0081bd94.11.1-nightly-2025-10-20-24f604d
DafnyBenchmarkingPlugin package icon

DafnyBenchmarkingPlugin

v4.11.0Latest Stable
net8.0

Package Description

dafny-lang
NuGetMITCompare
Published
Aug 25, 2025
1y ago
Total Downloads
188.4K
188,375

Install

dotnet add package DafnyBenchmarkingPlugin --version 4.11.0
Download NuGet FileBrowse File Contents
ProductVersions
.NET
net8.0

README

Changes from Previous Version

v4.11.0-nightly-2025-10-16-0081bd9v4.11.0
Added Frameworks
net8.0
Added Dependencies
DafnyCore(net8.0)

Adoption Assessment

Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.

Compatibility metadata lists 1 target framework; confirm the exact target used by your application.

Related Guides & Workflows

Learn how to evaluate, integrate, or audit this package in your .NET project.

Audit NuGet dependencies in a .NET projectReview NuGet licenses before shipping