Published
Feb 13, 2025
1y ago
Total Downloads
423.9K
423,876
Install
dotnet add package DafnyCore --version 4.10.1-nightly-2025-02-13-0f010ef
| Product | Versions |
|---|---|
| .NET |
Changes from Previous Version
v4.10.1-nightly-2025-02-12-0f010efv4.10.1-nightly-2025-02-13-0f010ef
Added Frameworks
net8.0
Added Dependencies
DafnyRuntime(net8.0)
Boogie.ExecutionEngine(net8.0)
JetBrains.Annotations(net8.0)
Serilog(net8.0)
System.Collections.Immutable(net8.0)
System.CommandLine(net8.0)
System.Runtime.Numerics(net8.0)
Tomlyn(net8.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.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.