Skip to content

Fix T8c_BodilessInlining test: add opaque to caller, use $proof suffix

46c9ae9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Add opaque keyword to Laurel grammar #940

Fix T8c_BodilessInlining test: add opaque to caller, use $proof suffix
46c9ae9
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
label-conflicts
succeeded Apr 16, 2026 in 11s