Do not ignore by clauses for assign such that statements#6026

Merged

keyboardDrummer merged 3 commits intodafny-lang:masterfrom keyboardDrummer:assignSuchThatByBlock

Jan 23, 2025

+13-7

Commits on Jan 8, 2025

Add fix, test and release note for 6024
keyboardDrummer
committed

Commits on Jan 9, 2025

Merge branch 'master' into assignSuchThatByBlock
RustanLeino
authored

Commits on Jan 23, 2025

Merge branch 'master' into assignSuchThatByBlock
keyboardDrummer
authored