3 Commits

Author	SHA1	Message	Date
Hadrien Croubois	7c02b5cab2	Refactor DoubleEndedQueue (#4150) ... Co-authored-by: Francisco <fg@frang.io>	2023-07-27 15:37:31 -03:00
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