Htd/fix empty seq literal typing#1213

Closed

PROgram52bc wants to merge 31 commits into

main2from

htd/fix-empty-seq-literal-typing

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 21, 2026

Fix Boole tests after merge
Josh Cohen
committed

Commits on May 22, 2026

Fix Boole tests after merge (#1209)

joscoh
and
Josh Cohen
authored
Carry element type through Sequence.of_<ty>[] literal lowering
David Deng
committed
Rename monomorphized helpers in sha256_compact_indexed to *_bv32
David Deng
committed
Merge remote-tracking branch 'origin/merge-with-main-2026-05-20' into htd/fix-empty-seq-literal-typing
David Deng
committed