Skip to content

Actions: lfglabs-dev/verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Verify proofs Verify proofs #9209: Scheduled
In progress main
main
In progress
feat(model): synchronize persistent writes with finite account storage OpenCodeReview pilot #3547: Pull request #2505 opened by Th0rgal
12s
12s
feat(model): synchronize persistent writes with finite account storage Verify proofs #9208: Pull request #2505 opened by Th0rgal
16s feat/solidity-import-account-storage-bridge-linux
feat/solidity-import-account-storage-bridge-linux
16s
feat(model): derive CREATE2 execution from parent gas and byte memory OpenCodeReview pilot #3546: Pull request #2504 opened by Th0rgal
12s
12s
feat(model): derive CREATE2 execution from parent gas and byte memory Verify proofs #9207: Pull request #2504 opened by Th0rgal
16s feat/solidity-import-create2-parent-gas-linux
feat/solidity-import-create2-parent-gas-linux
16s
EVMYulLean fork conformance EVMYulLean fork conformance #1232: Scheduled
13m 16s main
main
13m 16s
Verify proofs Verify proofs #9206: Scheduled
2h 4m 23s main
main
2h 4m 23s
feat(solidity-import): support calldata slices, Governor proposer description checks, bytes1..bytes31 locals/casts, and MemberAccess tuple assignments OpenCodeReview pilot #3545: Issue comment #2503 (comment) created by chatgpt-codex-connector Bot
1s
1s
feat(solidity-import): support calldata slices, Governor proposer des… Verify proofs #9205: Commit 10f697b pushed by Th0rgal
1h 15m 0s main
main
1h 15m 0s
feat(solidity-import): support calldata slices, Governor proposer description checks, bytes1..bytes31 locals/casts, and MemberAccess tuple assignments Verify proofs #9204: Pull request #2503 closed by Th0rgal
37s feat/solidity-import-slice-42
feat/solidity-import-slice-42
37s
feat(solidity-import): support calldata slices, Governor proposer description checks, bytes1..bytes31 locals/casts, and MemberAccess tuple assignments Verify proofs #9203: Pull request #2503 opened by Th0rgal
35s feat/solidity-import-slice-42
feat/solidity-import-slice-42
35s
feat(solidity-import): support calldata slices, Governor proposer description checks, bytes1..bytes31 locals/casts, and MemberAccess tuple assignments OpenCodeReview pilot #3544: Pull request #2503 opened by Th0rgal
45m 21s
45m 21s
feat(solidity-import): support Create2/Clones Yul address prediction, keccak256(_msgData()), and bounded deque pop while loops OpenCodeReview pilot #3543: Issue comment #2502 (comment) created by chatgpt-codex-connector Bot
8s
8s
feat(solidity-import): support Create2/Clones Yul address prediction, keccak256(_msgData()), and bounded deque pop while loops Verify proofs #9202: Pull request #2502 closed by Th0rgal
43s feat/solidity-import-slice-41
feat/solidity-import-slice-41
43s
feat(solidity-import): support Create2/Clones Yul address prediction,… Verify proofs #9201: Commit f40a74f pushed by Th0rgal
2h 8m 56s main
main
2h 8m 56s
feat(solidity-import): support Create2/Clones Yul address prediction, keccak256(_msgData()), and bounded deque pop while loops OpenCodeReview pilot #3542: Pull request #2502 opened by Th0rgal
45m 23s
45m 23s
feat(solidity-import): support Create2/Clones Yul address prediction, keccak256(_msgData()), and bounded deque pop while loops Verify proofs #9200: Pull request #2502 opened by Th0rgal
38s feat/solidity-import-slice-41
feat/solidity-import-slice-41
38s
feat(solidity-import): support ECDSA Yul signature unpacking, StorageSlot raw string/bytes slots, and error scalar casts (slice 40) OpenCodeReview pilot #3541: Issue comment #2501 (comment) created by chatgpt-codex-connector Bot
8s
8s
feat(solidity-import): support ECDSA Yul signature unpacking, StorageSlot raw string/bytes slots, and error scalar casts (slice 40) Verify proofs #9199: Pull request #2501 closed by Th0rgal
45s feat/solidity-import-slice-40
feat/solidity-import-slice-40
45s
feat(solidity-import): support ECDSA Yul signature unpacking, Storage… Verify proofs #9198: Commit 5fd3b74 pushed by Th0rgal
2h 6m 34s main
main
2h 6m 34s
feat(solidity-import): support ECDSA Yul signature unpacking, StorageSlot raw string/bytes slots, and error scalar casts (slice 40) Verify proofs #9197: Pull request #2501 opened by Th0rgal
39s feat/solidity-import-slice-40
feat/solidity-import-slice-40
39s
feat(solidity-import): support ECDSA Yul signature unpacking, StorageSlot raw string/bytes slots, and error scalar casts (slice 40) OpenCodeReview pilot #3540: Pull request #2501 opened by Th0rgal
45m 21s
45m 21s
feat(solidity-import): support Strings.toHexString, Arrays.findUpperBound, BitMaps.setTo, and decrementing for loops OpenCodeReview pilot #3539: Issue comment #2500 (comment) created by chatgpt-codex-connector Bot
1s
1s
feat(solidity-import): support Strings.toHexString, Arrays.findUpperBound, BitMaps.setTo, and decrementing for loops Verify proofs #9196: Pull request #2500 closed by Th0rgal
1m 28s feat/solidity-import-slice-39
feat/solidity-import-slice-39
1m 28s
feat(solidity-import): support Strings.toHexString, Arrays.findUpperB… Verify proofs #9195: Commit 78503cc pushed by Th0rgal
1h 48m 31s main
main
1h 48m 31s