Rv/enforce invariants#52

Open

asavienko wants to merge 33 commits intorv/dafny-modelsfrom

rv/enforce-invariants

Commits on Mar 12, 2026

Commits on Mar 13, 2026

Commits on Mar 18, 2026

Fix RandomChainContainer interface implementation + add first fuzz test
gtrepta
committed
Separate RandomChain fuzzing utils into package code so I can read
gtrepta
committed

Commits on Mar 20, 2026

Implementations for RandomChainContainer, more setup for
gtrepta
committed
Add failing example which exposes the chain randomizer's shortcomings
gtrepta
committed

Commits on Mar 24, 2026

Commits on Mar 30, 2026

Randomly invalidate chains. And build chains based on the next valid
gtrepta
committed

Commits on Mar 31, 2026

Make some descriptive routines
gtrepta
committed

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 4, 2026

Refactor cycle generation
gtrepta
committed

Commits on Apr 6, 2026

Commits on Apr 8, 2026