Published
Mar 28, 2024
2y ago
Total Downloads
290.0K
290,040
Install
dotnet add package DafnyDriver --version 4.6.0
| Product | Versions |
|---|---|
| .NET |
Changes from Previous Version
v4.6.0-nightly-2024-06-26-eb2d95bv4.6.0
Added Frameworks
net6.0
Added Dependencies
DafnyCore(net6.0)
DafnyServer(net6.0)
DafnyTestGeneration(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.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.