DafnyRuntime
Package Description
Activity
- Latest release
- 1y ago
- Total releases
- 28
- Cadence
- ~2 months
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Dec 16, 2019
| Version | Released | |
|---|---|---|
4.11.0
minor
|
4.11.0
minor
Dependencies (2)
|
|
4.10.0
minor
|
4.10.0
minor
Dependencies (2)
|
|
4.9.1
patch
|
4.9.1
patch
Dependencies (2)
|
|
4.9.0
minor
|
4.9.0
minor
Dependencies (2)
|
|
4.8.1
patch
|
4.8.1
patch
Dependencies (2)
|
|
4.8.0
minor
|
4.8.0
minor
Dependencies (2)
|
|
4.7.0
minor
|
4.7.0
minor
Dependencies (2)
|
|
4.6.0
minor
|
4.6.0
minor
Dependencies (2)
|
|
4.5.0
minor
|
4.5.0
minor
Dependencies (2)
|
|
4.4.0
minor
|
4.4.0
minor
Dependencies (2)
|
|
4.3.0
minor
|
4.3.0
minor
Dependencies (2)
|
|
4.2.0
minor
|
4.2.0
minor
Dependencies (2)
|
|
4.1.0.50522
patch
|
4.1.0.50522
patch
Dependencies (2)
|
|
4.1.0
minor
|
4.1.0
minor
Dependencies (2)
|
|
4.0.0.50303
patch
|
4.0.0.50303
patch
Dependencies (2)
|
|
4.0.0.50302
major
|
4.0.0.50302
major
Dependencies (2)
|
|
3.13.1.50302
patch
|
3.13.1.50302
patch
Dependencies (2)
|
|
3.13.0.50302
minor
|
3.13.0.50302
minor
Dependencies (2)
|
|
3.12.0.50221
minor
|
3.12.0.50221
minor
Dependencies (2)
|
|
3.11.0.50201
minor
|
3.11.0.50201
minor
Dependencies (2)
|
|
3.10.0.41215
minor
|
3.10.0.41215
minor
Dependencies (2)
|
|
3.9.1.41027
patch
|
3.9.1.41027
patch
Dependencies (2)
|
|
3.9.0.41003
patch
|
3.9.0.41003
patch
Dependencies (2)
|
|
3.9.0.40930
major
|
3.9.0.40930
major
Dependencies (2)
|
|
1.2.0
minor
|
1.2.0
minor
Dependencies (2)
|
|
1.1.0
minor
|
1.1.0
minor
Dependencies (2)
|
|
1.0.1
patch
|
1.0.1
patch
Dependencies (1)
|
|
1.0.0
initial
|
1.0.0
initial
Dependencies (1)
|