Fix SMT encoding for polymorphic Sequence preconditions (#1201)#1205

Open

PROgram52bc wants to merge 31 commits into

main2from

htd/issue-1201-smt-encoding

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 SMT encoding for polymorphic Sequence preconditions (#1201)
David Deng
committed

Commits on May 22, 2026

Cross-reference computeTypeSubst from callSiteTypeSubst
David Deng
committed
Fix Boole tests after merge (#1209)

joscoh
and
Josh Cohen
authored
Merge branch 'merge-with-main-2026-05-20' into htd/issue-1201-smt-encoding
David Deng
committed
Merge branch 'main2' into htd/issue-1201-smt-encoding
atomb
authored