Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
3,503 workflow runs
3,503 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

memory --> calldata for read-only function params formal verification #5281: Pull request #5293 synchronize by abhi3700
November 6, 2024 07:47 54s abhi3700:issue-5291
abhi3700:issue-5291
November 6, 2024 07:47 54s
memory --> calldata for read-only function params formal verification #5280: Pull request #5293 reopened by abhi3700
November 6, 2024 07:47 25s abhi3700:issue-5291
abhi3700:issue-5291
November 6, 2024 07:47 25s
memory --> calldata for read-only function params formal verification #5279: Pull request #5293 reopened by abhi3700
November 6, 2024 07:34 32s abhi3700:issue-5291
abhi3700:issue-5291
November 6, 2024 07:34 32s
memory --> calldata for read-only function params formal verification #5278: Pull request #5293 opened by abhi3700
November 5, 2024 20:26 35s abhi3700:issue-5291
abhi3700:issue-5291
November 5, 2024 20:26 35s
Sequential Proposal Ids Alt formal verification #5277: Pull request #5290 synchronize by arr00
November 4, 2024 03:34 1m 4s arr00:feat/sequential-proposal-id-alt-2
arr00:feat/sequential-proposal-id-alt-2
November 4, 2024 03:34 1m 4s
Governor Sequential Proposal id formal verification #5276: Pull request #5280 synchronize by arr00
November 4, 2024 02:56 56s arr00:feat/sequential-proposal-id
arr00:feat/sequential-proposal-id
November 4, 2024 02:56 56s
Sequential Proposal Ids Alt formal verification #5275: Pull request #5290 synchronize by arr00
November 4, 2024 02:55 54s arr00:feat/sequential-proposal-id-alt-2
arr00:feat/sequential-proposal-id-alt-2
November 4, 2024 02:55 54s
Sequential Proposal Ids Alt formal verification #5274: Pull request #5290 synchronize by arr00
November 4, 2024 02:53 59s arr00:feat/sequential-proposal-id-alt-2
arr00:feat/sequential-proposal-id-alt-2
November 4, 2024 02:53 59s
Update hashProposal visibility to view formal verification #5273: Pull request #5097 synchronize by ernestognw
November 1, 2024 09:04 1m 14s 0xDiscotech:refactor/hash-proposal-to-view
0xDiscotech:refactor/hash-proposal-to-view
November 1, 2024 09:04 1m 14s
Update hashProposal visibility to view formal verification #5272: Pull request #5097 synchronize by ernestognw
November 1, 2024 09:03 51s 0xDiscotech:refactor/hash-proposal-to-view
0xDiscotech:refactor/hash-proposal-to-view
November 1, 2024 09:03 51s
Update hashProposal visibility to view formal verification #5271: Pull request #5097 synchronize by ernestognw
November 1, 2024 09:03 1m 13s 0xDiscotech:refactor/hash-proposal-to-view
0xDiscotech:refactor/hash-proposal-to-view
November 1, 2024 09:03 1m 13s
Sequential Proposal Ids Alt formal verification #5270: Pull request #5290 opened by arr00
November 1, 2024 07:59 59s arr00:feat/sequential-proposal-id-alt-2
arr00:feat/sequential-proposal-id-alt-2
November 1, 2024 07:59 59s
Governor Sequential Proposal id formal verification #5269: Pull request #5280 synchronize by arr00
November 1, 2024 04:32 59s arr00:feat/sequential-proposal-id
arr00:feat/sequential-proposal-id
November 1, 2024 04:32 59s
Governor Sequential Proposal id formal verification #5268: Pull request #5280 synchronize by arr00
October 31, 2024 03:00 55s arr00:feat/sequential-proposal-id
arr00:feat/sequential-proposal-id
October 31, 2024 03:00 55s
Governor Sequential Proposal id formal verification #5267: Pull request #5280 synchronize by arr00
October 30, 2024 02:23 58s arr00:feat/sequential-proposal-id
arr00:feat/sequential-proposal-id
October 30, 2024 02:23 58s
chore: allow proposer to cancel while pending, active, succeeded, and queued formal verification #5266: Pull request #5281 synchronize by arr00
October 30, 2024 00:28 55s arr00:chore/expand-cancellation-ability
arr00:chore/expand-cancellation-ability
October 30, 2024 00:28 55s
Optimize log2 with a lookup table formal verification #5265: Pull request #5236 synchronize by Lohann
October 29, 2024 16:05 59s Lohann:lohann/efficient-log2-algorithm
Lohann:lohann/efficient-log2-algorithm
October 29, 2024 16:05 59s
Optimize log2 with a lookup table formal verification #5264: Pull request #5236 synchronize by Lohann
October 29, 2024 15:27 1m 12s Lohann:lohann/efficient-log2-algorithm
Lohann:lohann/efficient-log2-algorithm
October 29, 2024 15:27 1m 12s
Optimize log256's binary search formal verification #5263: Pull request #5284 opened by cairoeth
October 28, 2024 17:36 1m 13s cairoeth:optimize-log256-lookup-table
cairoeth:optimize-log256-lookup-table
October 28, 2024 17:36 1m 13s
Optimize log256's binary search formal verification #5262: Pull request #5284 labeled by cairoeth
October 28, 2024 17:36 2m 11s cairoeth:optimize-log256-lookup-table
cairoeth:optimize-log256-lookup-table
October 28, 2024 17:36 2m 11s
Update forge and change visibility in fuzz tests formal verification #5261: Pull request #5103 synchronize by cairoeth
October 27, 2024 11:28 56s ernestognw:chore/forge-update-fuzz-visibility
ernestognw:chore/forge-update-fuzz-visibility
October 27, 2024 11:28 56s
Update forge and change visibility in fuzz tests formal verification #5260: Pull request #5103 synchronize by cairoeth
October 27, 2024 11:25 1m 4s ernestognw:chore/forge-update-fuzz-visibility
ernestognw:chore/forge-update-fuzz-visibility
October 27, 2024 11:25 1m 4s
Update forge and change visibility in fuzz tests formal verification #5259: Pull request #5103 synchronize by cairoeth
October 27, 2024 11:19 1m 14s ernestognw:chore/forge-update-fuzz-visibility
ernestognw:chore/forge-update-fuzz-visibility
October 27, 2024 11:19 1m 14s
Upgrade coverage dependency formal verification #5258: Pull request #5282 synchronize by arr00
October 26, 2024 02:55 1m 8s arr00:chore/upgrade-coverage
arr00:chore/upgrade-coverage
October 26, 2024 02:55 1m 8s
Upgrade coverage dependency formal verification #5257: Pull request #5282 opened by arr00
October 25, 2024 22:38 1m 16s arr00:chore/upgrade-coverage
arr00:chore/upgrade-coverage
October 25, 2024 22:38 1m 16s