Skip to content

Fix missing cases in context matching for ended projections.#968

Open
maximebuyse wants to merge 1 commit into
AeneasVerif:mainfrom
maximebuyse:fix-930
Open

Fix missing cases in context matching for ended projections.#968
maximebuyse wants to merge 1 commit into
AeneasVerif:mainfrom
maximebuyse:fix-930

Commits

Commits on Apr 29, 2026