Skip to main content
N
3.9.0.40930-nightly-2022-09-30-107bfbb3.9.0.41003-nightly-2022-10-03-9131182
DafnyDriver package icon

DafnyDriver

v3.9.0.40930
net6.0

Package Description

dafny-lang
NuGetMITCompare
Published
Oct 3, 2022
4y ago
Total Downloads
290.0K
290,040

Install

dotnet add package DafnyDriver --version 3.9.0.40930
Download NuGet FileBrowse File Contents
ProductVersions
.NET
net6.0

Changes from Previous Version

v3.9.0.40930-nightly-2022-09-30-107bfbbv3.9.0.40930
Added Frameworks
net6.0
Added Dependencies
DafnyCore(net6.0)
DafnyServer(net6.0)
DafnyTestGeneration(net6.0)
Microsoft.TestPlatform.Extensions.TrxLogger(net6.0)
Microsoft.TestPlatform.TestHost(net6.0)
Newtonsoft.Json(net6.0)
System.Collections(net6.0)
System.Diagnostics.Debug(net6.0)
System.IO.FileSystem.Primitives(net6.0)
System.Runtime.Handles(net6.0)
System.Runtime.InteropServices(net6.0)
System.Security.Principal.Windows(net6.0)
System.Text.Encoding.Extensions(net6.0)
System.Threading(net6.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.The published metadata declares 14 direct dependency entries across framework groups. Inspect the resolved dependency graph for your target framework.

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