DafnyBenchmarkingPlugin
Package Description
Activity
- Latest release
- 1y ago
- Total releases
- 12
- Cadence
- ~2 months
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Jul 20, 2023
| Version | Released | |
|---|---|---|
4.11.0
minor
|
4.11.0
minor
Dependencies (1)
|
|
4.10.0
minor
|
4.10.0
minor
Dependencies (1)
|
|
4.9.1
patch
|
4.9.1
patch
Dependencies (1)
|
|
4.9.0
minor
|
4.9.0
minor
Dependencies (1)
|
|
4.8.1
patch
|
4.8.1
patch
Dependencies (1)
|
|
4.8.0
minor
|
4.8.0
minor
Dependencies (1)
|
|
4.7.0
minor
|
4.7.0
minor
Dependencies (1)
|
|
4.6.0
minor
|
4.6.0
minor
Dependencies (1)
|
|
4.5.0
minor
|
4.5.0
minor
Dependencies (1)
|
|
4.4.0
minor
|
4.4.0
minor
Dependencies (1)
|
|
4.3.0
minor
|
4.3.0
minor
Dependencies (1)
|
|
4.2.0
initial
|
4.2.0
initial
Dependencies (1)
|