Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
7785880783 | main | Upgrade certora spec files and CI to certora-cli v6 (#732) This PR updates the certora cli to the latest available v6 version. The main breaking change is that ghosts have to be marked persistent if we don't want them to be HAVOC'ed on, let's s... | push | web-flow | github |
94.4 |
|
7785684151 | certora/v6-spec-update | Remove redundant ghost function | Pull #732 | mmv08 | github |
94.4 |
|
7783479458 | certora/v6-spec-update | Remove redundant ghost function | Pull #732 | mmv08 | github |
94.4 |
|
7783407281 | bug/benchmark-ci-silent-fail | Merge f8e6d56c3 into 914d0f8fa | Pull #736 | web-flow | github |
94.4 |
|
7783375579 | bug/benchmark-ci-silent-fail | Remove OR operator from the benchmark job | push | mmv08 | github |
94.4 |
|
7668374983 | temp/1.5.0-build | Temporary 1.5.0 dev build | push | mmv08 | github |
94.4 |