Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docs: governance docs nit formal verification #5706: Pull request #5420 opened by arr00
January 8, 2025 23:32 1m 7s arr00:docs/governance-docs-correctness
arr00:docs/governance-docs-correctness
January 8, 2025 23:32 1m 7s
Release v5.2.0 formal verification #5705: Pull request #5419 synchronize by ernestognw
January 8, 2025 18:53 58s changeset-release/release-v5.2
changeset-release/release-v5.2
January 8, 2025 18:53 58s
Release v5.2 update before final release formal verification #5704: Pull request #5418 opened by Amxx
January 8, 2025 17:11 1m 25s Amxx:release-v5.2-cherrypick-for-final-release
Amxx:release-v5.2-cherrypick-for-final-release
January 8, 2025 17:11 1m 25s
Optimize MerkleTree for loops by using uint256 iterators formal verification #5703: Pull request #5415 labeled by ernestognw
January 6, 2025 23:41 1m 48s heueristik:refactor/merkle-tree-loops
heueristik:refactor/merkle-tree-loops
January 6, 2025 23:41 1m 48s
Optimize MerkleTree for loops by using uint256 iterators formal verification #5702: Pull request #5415 synchronize by ernestognw
January 6, 2025 23:41 56s heueristik:refactor/merkle-tree-loops
heueristik:refactor/merkle-tree-loops
January 6, 2025 23:41 56s
Update ReentrancyGuardTransient documentation formal verification #5701: Pull request #5417 labeled by ernestognw
January 6, 2025 23:39 55s ernestognw:chore/reentrancy-transient-docs-update
ernestognw:chore/reentrancy-transient-docs-update
January 6, 2025 23:39 55s
Update ReentrancyGuardTransient documentation formal verification #5700: Pull request #5417 opened by ernestognw
January 6, 2025 23:38 1m 6s ernestognw:chore/reentrancy-transient-docs-update
ernestognw:chore/reentrancy-transient-docs-update
January 6, 2025 23:38 1m 6s
Expose _isTrustedByTarget internally in ERC2771Forwarder formal verification #5699: Pull request #5416 opened by ernestognw
January 6, 2025 16:13 1m 9s ernestognw:forwarder/virtual-trusted
ernestognw:forwarder/virtual-trusted
January 6, 2025 16:13 1m 9s
Perform sanity check if executionCalldata is not at the end of allocated calldata formal verification #5698: Pull request #5400 synchronize by Amxx
January 6, 2025 14:00 1m 4s Amxx:erc7579/sanity-check-loop
Amxx:erc7579/sanity-check-loop
January 6, 2025 14:00 1m 4s
Perform sanity check if executionCalldata is not at the end of allocated calldata formal verification #5697: Pull request #5400 synchronize by Amxx
January 6, 2025 13:59 32s Amxx:erc7579/sanity-check-loop
Amxx:erc7579/sanity-check-loop
January 6, 2025 13:59 32s
Optimize MerkleTree for loops by using uint256 iterators formal verification #5696: Pull request #5415 synchronize by heueristik
January 6, 2025 13:45 1m 7s heueristik:refactor/merkle-tree-loops
heueristik:refactor/merkle-tree-loops
January 6, 2025 13:45 1m 7s
Optimize MerkleTree for loops by using uint256 iterators formal verification #5695: Pull request #5415 opened by heueristik
January 6, 2025 13:39 1m 8s heueristik:refactor/merkle-tree-loops
heueristik:refactor/merkle-tree-loops
January 6, 2025 13:39 1m 8s
Add ERC6909 Implementation along with extensions formal verification #5693: Pull request #5394 synchronize by arr00
January 3, 2025 20:17 58s arr00:feat/6909-impl
arr00:feat/6909-impl
January 3, 2025 20:17 58s
Add ERC6909 Implementation along with extensions formal verification #5692: Pull request #5394 synchronize by arr00
January 3, 2025 17:37 1m 0s arr00:feat/6909-impl
arr00:feat/6909-impl
January 3, 2025 17:37 1m 0s
Add ERC6909 Implementation along with extensions formal verification #5691: Pull request #5394 synchronize by arr00
January 2, 2025 21:31 1m 6s arr00:feat/6909-impl
arr00:feat/6909-impl
January 2, 2025 21:31 1m 6s
Add ERC6909 Implementation along with extensions formal verification #5690: Pull request #5394 synchronize by arr00
January 2, 2025 21:19 58s arr00:feat/6909-impl
arr00:feat/6909-impl
January 2, 2025 21:19 58s
Add ERC6909 Implementation along with extensions formal verification #5689: Pull request #5394 synchronize by arr00
December 30, 2024 23:13 1m 12s arr00:feat/6909-impl
arr00:feat/6909-impl
December 30, 2024 23:13 1m 12s
Make IERC7579Execution payable formal verification #5688: Pull request #5410 labeled by ernestognw
December 30, 2024 22:26 1m 9s ierc7579execution/payable
ierc7579execution/payable
December 30, 2024 22:26 1m 9s
Add ERC6909 Implementation along with extensions formal verification #5687: Pull request #5394 synchronize by arr00
December 30, 2024 21:26 1m 1s arr00:feat/6909-impl
arr00:feat/6909-impl
December 30, 2024 21:26 1m 1s
Add ERC6909 Implementation along with extensions formal verification #5686: Pull request #5394 synchronize by arr00
December 30, 2024 19:55 1m 1s arr00:feat/6909-impl
arr00:feat/6909-impl
December 30, 2024 19:55 1m 1s
Add ERC6909 Implementation along with extensions formal verification #5685: Pull request #5394 synchronize by arr00
December 30, 2024 18:14 59s arr00:feat/6909-impl
arr00:feat/6909-impl
December 30, 2024 18:14 59s
Add ERC6909 Implementation along with extensions formal verification #5684: Pull request #5394 synchronize by arr00
December 30, 2024 16:31 1m 7s arr00:feat/6909-impl
arr00:feat/6909-impl
December 30, 2024 16:31 1m 7s
Remove unused rounding modes Trunc and Expand formal verification #5683: Pull request #5412 synchronize by barakman
December 30, 2024 08:55 1m 12s barakman:simplify-rounding-modes
barakman:simplify-rounding-modes
December 30, 2024 08:55 1m 12s
Remove unused rounding modes Trunc and Expand formal verification #5682: Pull request #5412 opened by barakman
December 30, 2024 08:42 34s barakman:simplify-rounding-modes
barakman:simplify-rounding-modes
December 30, 2024 08:42 34s
Make IERC7579Execution payable formal verification #5681: Pull request #5410 opened by ernestognw
December 30, 2024 05:17 1m 16s ierc7579execution/payable
ierc7579execution/payable
December 30, 2024 05:17 1m 16s