This repository has been archived by the owner on Aug 1, 2023. It is now read-only.

Certora march 2021#249

Draft

jflatow wants to merge 3 commits intodevelopfrom certora-march-2021

+4,341-121

Commits on Mar 22, 2021

CLI Configuration (#264 )
waynenilsen
authored
Some tiny cleanups (#260 )
jflatow
authored
Certora modifications + rules

Thomas b e e f y b o i Bernardi
authored and
jflatow
committed