Add missing PreResolve plugin hook#5777

Merged

keyboardDrummer merged 3 commits intodafny-lang:masterfrom

dschoepe:add-preresolve

Sep 19, 2024

Commits on Sep 17, 2024

Add missing PreResolve plugin hook
dschoepe
committed

Commits on Sep 18, 2024

Merge branch 'master' into add-preresolve
dschoepe
authored

Commits on Sep 19, 2024

Merge branch 'master' into add-preresolve
keyboardDrummer
authored