Skip to content

Fixing invalid Boogie code for quantified predicates without parameters#541

Merged
marcoeilers merged 2 commits into
masterfrom
meilers_fix_391
Dec 30, 2024
Merged

Fixing invalid Boogie code for quantified predicates without parameters#541
marcoeilers merged 2 commits into
masterfrom
meilers_fix_391

Update silver

8746032
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡