Skip to content

CONTRACTS: Support slice targets in loop assigns clauses#7127

Merged
tautschnig merged 1 commit intodiffblue:developfrom
remi-delmas-3000:assigns-slice-loop-contracts
Feb 16, 2023

Commits

Commits on Feb 16, 2023