Skip to content

Replace deprecated syntax 'forall ensures' -> 'assert ... by' - #147

Open
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:replace-deprecated-forall-syntax
Open

Replace deprecated syntax 'forall ensures' -> 'assert ... by'#147
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:replace-deprecated-forall-syntax

Commits

Commits on Oct 4, 2023