Skip to content

Add Certora specs for Vat and Dai contracts - #272

Open
gbalabasquer wants to merge 2 commits into
v1.2from
certora-v1.2
Open

Add Certora specs for Vat and Dai contracts#272
gbalabasquer wants to merge 2 commits into
v1.2from
certora-v1.2

Full storage layout check for Vat spec

959a507
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs