Skip to content

Actions: lfglabs-dev/verity

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,654 workflow runs
1,654 workflow runs

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
proof(L2): admit calldatacopy into the proved statement surface (#208… Docs #1668: Commit c008b4a pushed by Th0rgal
1m 12s main
main
1m 12s
proof(L2): admit calldatacopy into the proved statement surface (#2084 slice 1) Docs #1667: Pull request #2385 synchronize by Th0rgal
29s feat/2084-returndata-surface
feat/2084-returndata-surface
29s
proof(L2): admit calldatacopy into the proved statement surface (#2084 slice 1) Docs #1666: Pull request #2385 opened by Th0rgal
1m 18s feat/2084-returndata-surface
feat/2084-returndata-surface
1m 18s
feat(storage): thread mapping coherence through contract execution (#… Docs #1665: Commit 8e33a89 pushed by Th0rgal
1m 21s main
main
1m 21s
feat(storage): thread mapping coherence through contract execution (#2330) Docs #1664: Pull request #2381 synchronize by Th0rgal
1m 13s feat/2330-mapping-coherent-contract-level
feat/2330-mapping-coherent-contract-level
1m 13s
feat(storage): thread mapping coherence through contract execution (#2330) Docs #1663: Pull request #2381 opened by Th0rgal
1m 14s feat/2330-mapping-coherent-contract-level
feat/2330-mapping-coherent-contract-level
1m 14s
Merge pull request #2361 from lfglabs-dev/feat/c5-mapping-slot-injective Docs #1662: Commit 5998acb pushed by Th0rgal
1m 27s main
main
1m 27s
feat(proofs): axiomatize mapping-slot collision-resistance Docs #1661: Pull request #2361 opened by Th0rgal
1m 18s feat/c5-mapping-slot-injective
feat/c5-mapping-slot-injective
1m 18s
feat(core): storage-lens burn-down — C5 step 2.5 (pre-flip) Docs #1660: Pull request #2329 synchronize by Th0rgal
1m 24s feat/storage-lens-burn-down
feat/storage-lens-burn-down
1m 24s
feat(core): storage-lens burn-down — C5 step 2.5 (pre-flip) Docs #1659: Pull request #2329 synchronize by Th0rgal
1m 27s feat/storage-lens-burn-down
feat/storage-lens-burn-down
1m 27s
feat(core): storage-lens burn-down — C5 step 2.5 (pre-flip) Docs #1658: Pull request #2329 synchronize by Th0rgal
1m 22s feat/storage-lens-burn-down
feat/storage-lens-burn-down
1m 22s
Merge pull request #2327 from lfglabs-dev/feat/verity-mixin-include Docs #1657: Commit b8f2bdf pushed by Th0rgal
1m 20s main
main
1m 20s
feat(edsl): verifiable mixin include for proof reuse Docs #1656: Pull request #2327 synchronize by Th0rgal
1m 10s feat/verity-mixin-include
feat/verity-mixin-include
1m 10s
feat(edsl): verifiable mixin include for proof reuse Docs #1655: Pull request #2327 synchronize by Th0rgal
1m 20s feat/verity-mixin-include
feat/verity-mixin-include
1m 20s
feat(edsl): verifiable mixin include for proof reuse Docs #1653: Pull request #2327 opened by Th0rgal
1m 13s feat/verity-mixin-include
feat/verity-mixin-include
1m 13s
Merge pull request #2260 from lfglabs-dev/feat/2087-callback-bridge Docs #1652: Commit a3c70fc pushed by Th0rgal
1m 17s main
main
1m 17s
feat(model): callback-bounded adversaries — reentrancy specs at the call boundary (#1963 slice 6) Docs #1651: Pull request #2260 opened by Th0rgal
1m 20s feat/2087-callback-bridge
feat/2087-callback-bridge
1m 20s
docs: add Reentrancy Model explanation page for the rely-guarantee fr… Docs #1650: Commit d5f4299 pushed by Th0rgal
1m 11s main
main
1m 11s
docs: add Reentrancy Model explanation page (rely-guarantee framework) Docs #1649: Pull request #2098 opened by Th0rgal
1m 10s docs/reentrancy-model
docs/reentrancy-model
1m 10s
[Property Coverage] Prove view-function correctness & read-only prope… Docs #1648: Commit bc4435b pushed by Th0rgal
1m 20s main
main
1m 20s
[Property Coverage] Prove view-function correctness & read-only properties for Counter and Vault Docs #1647: Pull request #2056 synchronize by Th0rgal
1m 14s proof/counter-preview-view-functions
proof/counter-preview-view-functions
1m 14s
[Property Coverage] Prove view-function correctness & read-only properties for Counter and Vault Docs #1646: Pull request #2056 opened by Th0rgal
1m 15s proof/counter-preview-view-functions
proof/counter-preview-view-functions
1m 15s
docs: sync EDSL reference + verification status with merged features … Docs #1645: Commit 40443e7 pushed by Th0rgal
1m 26s main
main
1m 26s
docs: sync EDSL reference + verification status with merged features Docs #1644: Pull request #2038 opened by Th0rgal
1m 10s docs/sync-merged-features
docs/sync-merged-features
1m 10s
docs: correct reentrancy known-limitation in proof-techniques (#2036) Docs #1643: Commit e182c4e pushed by Th0rgal
1m 15s main
main
1m 15s