Merge with main#1197

Merged

MikaelMayer merged 27 commits into

main2from

merge-with-main-2026-05-20

May 22, 2026

Commits on May 14, 2026

Add PR template warning about repository split (#1166)
atomb
authored

Commits on May 15, 2026

lake: build Strata lib as a test-driver dependency (#1138)

tautschnig
and
kiro-agent
authored
The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core (#1141)
aqjune-aws
authored
Support SMT string literals and common string ops in translateTerm (#1109)

authored
feat: introduce Provenance type and migrate metadata from FileRange (#1140)
MikaelMayer
authored

Commits on May 18, 2026

Commits on May 19, 2026

Commits on May 20, 2026

Commits on May 22, 2026

Fix Boole tests after merge (#1209)

joscoh
and
Josh Cohen
authored