CsFv.Verification
SMT solver integration for C# formal verification (CVC5, Z3)
Activity
- Latest release
- 6mo ago
- Total releases
- 25
- Cadence
- ~daily
- Last 12 months
- 25
Details
- First release
- Mar 03, 2026
Releases
| Version | Released | |
|---|---|---|
12.1.0
major
| ||
12.22.0
minor
| ||
12.21.0
minor
| ||
12.20.1
minor
| ||
11.2.7-alpha.0.210
pre
| ||
11.2.7-alpha.0.203
pre
| ||
11.2.7-alpha.0.199
pre
| ||
11.2.7-alpha.0.197
pre
| ||
11.2.7-alpha.0.186
pre
| ||
11.2.7-alpha.0.177
pre
| ||
11.2.7-alpha.0.170
pre
| ||
11.2.7-alpha.0.168
pre
| ||
11.2.7-alpha.0.166
pre
| ||
11.2.7-alpha.0.165
pre
| ||
11.2.7-alpha.0.163
pre
| ||
11.2.7-alpha.0.162
pre
| ||
11.2.7-alpha.0.160
pre
| ||
11.2.7-alpha.0.161
pre
| ||
11.2.7-alpha.0.159
pre
| ||
11.2.6
patch
| ||
11.2.5
patch
| ||
11.2.3
patch
| ||
11.2.2
patch
| ||
11.2.1
patch
| ||
11.2.0
initial
|