Skip to content

Lean: use more generic term for initial state - #1736

Merged
bacam merged 1 commit into
rems-project:sail2from
bacam:lean-archsem
Aug 26, 2026
Merged

Lean: use more generic term for initial state#1736
bacam merged 1 commit into
rems-project:sail2from
bacam:lean-archsem

Lean: use more generic term for initial state

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

Annotations

1 warning
build (5.2.1, ubuntu-24.04, typecheck)
succeeded Aug 26, 2026 in 7m 35s