Convert process_topdecs patterns to Quote syntax#1294

Merged

tanyongkiam merged 6 commits intomasterfrom

modernize-quote-syntax-1263

Jan 6, 2026

Commits on Jan 2, 2026

Commits on Jan 3, 2026

change import in dafny_compilerProg
tanyongkiam
committed

Commits on Jan 4, 2026

Merge remote-tracking branch 'origin/master' into modernize-quote-syntax-1263
tanyongkiam
committed

Commits on Jan 5, 2026