CVL Prover rules for AAVE Starknet Bridge (Certora - AAVE grant) #4

Open

Zarfsec wants to merge 3 commits intoCertora:certorafrom Zarfsec:main

+2,205-5

Commits on Aug 15, 2022

Merge branch 'certora' of https://github.com/Certora/aave-starknet-bridge
Zarfsec
committed

Commits on Aug 30, 2022

Merge branch 'main' of github.com:Zarfsec/aave-starknet-bridge
Zarfsec
committed

Commits on Sep 5, 2022

CVL Prover rules for AAVE-Starknet Bridge
Zarfsec
committed