CsFv
C# formal verification — contract attributes and Roslyn analyzer in a single package. Add [Requires], [Ensures], and [Invariant] attributes to your code and get real-time verification feedback in your IDE.
Activity
- Latest release
- 6mo ago
- Total releases
- 19
- Cadence
- ~daily
- Last 12 months
- 19
Details
- First release
- Mar 04, 2026
Releases
| Version | Released | |
|---|---|---|
12.1.0
major
| ||
12.22.0
minor
| ||
12.21.0
minor
| ||
12.20.1
minor
| ||
12.19.0
minor
| ||
12.18.0
minor
| ||
12.17.0
minor
| ||
12.16.0
minor
| ||
12.15.0
minor
| ||
12.14.0
minor
| ||
12.10.0
minor
| ||
12.9.0
minor
| ||
12.8.0
minor
| ||
12.7.0
minor
| ||
12.6.0
minor
| ||
12.5.0
minor
| ||
12.4.0
minor
| ||
11.2.6
patch
| ||
11.2.5
initial
|