Replace mir-semantics submodule with kompass#195

Open

mariaKt wants to merge 10 commits intoproofsfrom

kompass-setup-rebased

Commits on Apr 24, 2026

Add `deps/kompass_release`

tothtamas28
authored and
mariaKt
committed
Remove submodule `mir-semantics`

tothtamas28
authored and
mariaKt
committed
Add submodule `stable-mir-json`

tothtamas28
authored and
mariaKt
committed
Adjust `setup.sh`

tothtamas28
authored and
mariaKt
committed
Adjust `run_fuzzer.py`

tothtamas28
authored and
mariaKt
committed
Adjust `run-proofs.sh`

tothtamas28
authored and
mariaKt
committed
Adjust `run-verification.sh`

tothtamas28
authored and
mariaKt
committed
Adjust `analyze_all_intrinsics`

tothtamas28
authored and
mariaKt
committed
Adjust `VERIFICATION_GUIDE.md`

tothtamas28
authored and
mariaKt
committed
Update kompass to latest master (kmir 0.4.213)
mariaKt
committed