14 Commits (update/certora-7.3.0)

Author	SHA1	Message	Date
renovate[bot]	1edc2ae004	Update dependency halmos to v0.1.14 and Python to 3.11 (#5147) ... Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: cairo <cairoeth@protonmail.com>	6 months ago
Ernesto García	f1a69f164e	Add Halmos support for formal verification (#5034) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	9 months ago
renovate[bot]	ca2b85d786	Update actions/setup-python action to v5 (#4781) ... Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Ernesto García <ernestognw@gmail.com>	9 months ago
ernestognw	6a100abfe1	Bump solc to 0.8.25	10 months ago
ernestognw	274acce467	Use SOLC_VERSION 0.8.24	10 months ago
renovate[bot]	9ef69c03d1	Update actions/checkout action to v4 (#4572) ... Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Francisco Giordano <fg@frang.io>	1 year ago
Hadrien Croubois	00cbf5a236	Update pragma to 0.8.20 (#4489) ... Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: ernestognw <ernestognw@gmail.com>	2 years ago
Hadrien Croubois	10022da83d	Disable automatic formal verification workflow on push (#4208)	2 years ago
Hadrien Croubois	44d6053b43	Only run FV on new or updated specs (#4195)	2 years ago
Francisco Giordano	e69248e551	Limit concurrency of formal-verification runs	2 years ago
Francisco	6794c9460b	Run formal verification when label is added (#4112)	2 years ago
Hadrien Croubois	4fb6833e32	Formal verification using Certora (#4084) ... Co-authored-by: Francisco Giordano <fg@frang.io>	2 years ago