Fast type-safe modular arithmetic (Bodigrim/mod). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
InvertModNaturalUnit | 40 | 0 | 0 | — |
InvertModWordUnit | 40 | 0 | 0 | — |