2 Commits

Author	SHA1	Message	Date
renovate[bot]	e739144cb0	Update dependency certora-cli to v3.6.4 (#4110) ... Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Francisco <fg@frang.io>	2023-03-13 18:31:24 -03:00
Hadrien Croubois	4fb6833e32	Formal verification using Certora (#4084) ... Co-authored-by: Francisco Giordano <fg@frang.io>	2023-03-06 21:31:48 +00:00