Skip to main content
N
3.9.0.41003-nightly-2022-10-13-11b10523.9.0.41003-nightly-2022-10-15-070f5ce
DafnyDriver package icon

DafnyDriver

v3.9.0.41003-nightly-2022-10-14-e3c1ae2Pre-release
net6.0

Package Description

dafny-lang
NuGetMITCompare
Published
Oct 14, 2022
4y ago
Total Downloads
296.8K
296,828

Install

dotnet add package DafnyDriver --version 3.9.0.41003-nightly-2022-10-14-e3c1ae2
Download NuGet FileBrowse File Contents
ProductVersions
.NET
net6.0

Changes from Previous Version

v3.9.0.41003-nightly-2022-10-13-11b1052v3.9.0.41003-nightly-2022-10-14-e3c1ae2
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.

This version is marked prerelease. Validate its API and upgrade path before production use.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