Skip to content

Add test for Scenic 'new' in list subexpression#415

Merged
Eric-Vin merged 3 commits intoBerkeleyLearnVerify:mainfrom
lola831:new-inside-subexpression
Mar 13, 2026
Merged

Add test for Scenic 'new' in list subexpression#415
Eric-Vin merged 3 commits intoBerkeleyLearnVerify:mainfrom
lola831:new-inside-subexpression

Commits

Commits on Nov 3, 2025

Commits on Feb 24, 2026

Commits on Mar 12, 2026