Odin.DesignContracts
Intended to support Design by Contract by providing facilities to support pre-conditions, post-conditions and class invariant implementations. As at Q4 2025, only pre-conditions are supported.
View on Github
Activity
- Latest release
- 3mo ago
- Total releases
- 74
- Cadence
- ~daily
- Last 12 months
- 68
Reach
- Stars
- —
Details
- License
- MIT
- First release
- Aug 20, 2025
Releases
| Version | Released | |
|---|---|---|
0.9.140
patch
| ||
0.9.139
patch
| ||
0.9.138
patch
| ||
0.9.137
patch
| ||
0.9.135
patch
| ||
0.9.121
patch
| ||
0.9.120
patch
| ||
0.9.107
patch
| ||
0.9.105
patch
| ||
0.9.103
patch
| ||
0.9.102
patch
| ||
0.9.101
patch
| ||
0.9.100
patch
| ||
0.9.92
patch
| ||
0.9.88
patch
| ||
0.9.86
patch
| ||
0.9.85
patch
| ||
0.9.77
patch
| ||
0.9.76
patch
| ||
0.9.75
patch
| ||
0.9.74
patch
| ||
0.9.69
patch
| ||
0.9.57
patch
| ||
0.9.54
patch
| ||
0.9.53
patch
| ||
0.9.52
patch
| ||
0.9.51
patch
| ||
0.9.50
patch
| ||
0.9.49
patch
| ||
0.9.48
patch
| ||
0.9.45
patch
| ||
0.9.43
patch
| ||
0.9.42
patch
| ||
0.9.37
patch
| ||
0.9.37-traderbilling-up0011
pre
| ||
0.9.37-traderbilling-up0004
pre
| ||
0.9.36-designcontractsv0019
pre
| ||
0.9.32
patch
| ||
0.9.25
patch
| ||
0.9.21
patch
| ||
0.9.11
patch
| ||
0.9.10
patch
| ||
0.9.9
patch
| ||
0.9.8
patch
| ||
0.9.7
patch
| ||
0.9.6
patch
| ||
0.9.5
patch
| ||
0.9.4
patch
| ||
0.9.3
patch
| ||
0.9.2
patch
|
1–50 of 74