|
|
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>
|
2024-08-22 15:51:58 -07:00 |
|
|
|
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 |
|
|
|
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>
|
2024-05-13 18:52:30 -06:00 |
|
|
|
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>
|
2023-09-04 21:38:01 +00:00 |
|
|
|
00cbf5a236
|
Update pragma to 0.8.20 (#4489)
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2023-07-31 17:25:45 -03:00 |
|
|
|
10022da83d
|
Disable automatic formal verification workflow on push (#4208)
|
2023-05-03 16:13:42 +02:00 |
|
|
|
44d6053b43
|
Only run FV on new or updated specs (#4195)
|
2023-04-28 14:01:41 +02:00 |
|
|
|
e69248e551
|
Limit concurrency of formal-verification runs
|
2023-03-13 21:05:22 -03:00 |
|
|
|
6794c9460b
|
Run formal verification when label is added (#4112)
|
2023-03-13 12:45:58 -03:00 |
|
|
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2023-03-06 21:31:48 +00:00 |
|
