darum
DAfny Resource Usage Measurement
- Latest release
- Apr 28, 2025
- Releases
- 4
- Known CVEs
- 0
- First release
- Jul 29, 2024
- License
- —
Insights
Activity
- Total releases
- 4
- Last 12 months
- 0
- Cadence
- ~38 days
- Dependencies
- 6
Releases per month
last 12 monthsRelease mix
- major 1
- patch 1
- unknown 1
4
releases
Releases
| Version | Released | |
|---|---|---|
1.0.1
major
|
1.0.1
major
Dependencies (6)
|
|
1
unknown
|
1
unknown
|
|
0.9.1
patch
|
0.9.1
patch
|
|
0.9.0
initial
|
0.9.0
initial
|