Ernesto García f1a69f164e Add Halmos support for formal verification (#5034) ...

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>

2024-05-23 09:01:12 -06:00

..

actionlint.yml

Update actions/checkout action to v4 (#4572)

2023-09-04 21:38:01 +00:00

changeset.yml

Update actions/checkout action to v4 (#4572)

2023-09-04 21:38:01 +00:00

checks.yml

Update crytic/slither-action action to v0.4.0 (#5030)

2024-05-14 14:29:17 -06:00

docs.yml

Update actions/checkout action to v4 (#4572)

2023-09-04 21:38:01 +00:00

formal-verification.yml

Add Halmos support for formal verification (#5034)

2024-05-23 09:01:12 -06:00

release-cycle.yml

Update actions/github-script action to v7 (#4738)

2024-03-27 13:00:00 +00:00

upgradeable.yml

Update remappings.txt for upgradeable contracts and set up submodule (#4639)

2023-10-02 15:41:18 -03:00