Skip to content

Add BuiltinAssertKinds for Coroutine-related errors#1162

Closed
giltho wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:concurrency
Closed

Add BuiltinAssertKinds for Coroutine-related errors#1162
giltho wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:concurrency

update version

ea401dc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
charon
succeeded May 15, 2026 in 4m 4s