Skip to content

Actions: runtimeverification/_audits_lidofinance_dual-governance_fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add postconditions to testLockStEth and testUnlockStEth, accounting f… Test Proofs #23: Commit 9e0f326 pushed by lucasmt
July 5, 2024 23:11 14s rvdevelop
rvdevelop
July 5, 2024 23:11 14s
Test Proofs Test Proofs #22: by lucasmt
July 5, 2024 20:12 17s develop
develop
July 5, 2024 20:12 17s
Add EscrowOperations tests to run-kontrol.sh script Test Proofs #21: Commit 8e95b09 pushed by qian-hu
July 4, 2024 17:30 12s rvdevelop
rvdevelop
July 4, 2024 17:30 12s
Add EscrowOperationsTest and update Setup Test Proofs #20: Commit 01d53e9 pushed by qian-hu
July 4, 2024 17:26 14s rvdevelop
rvdevelop
July 4, 2024 17:26 14s
Add EscrowAccounting tests to run-kontrol.sh script Test Proofs #19: Commit aa191ed pushed by lucasmt
July 1, 2024 17:20 12s rvdevelop
rvdevelop
July 1, 2024 17:20 12s
merge Test Proofs #18: Commit acacc93 pushed by PetarMax
June 26, 2024 11:16 13s rvdevelop
rvdevelop
June 26, 2024 11:16 13s
Add --verbose and --max-frontier-parallel options to run-kontrol.sh s… Test Proofs #17: Commit db213a1 pushed by lucasmt
June 25, 2024 19:45 11s rvdevelop
rvdevelop
June 25, 2024 19:45 11s
Fix assumptions on StETHModel to avoid division by 0 problem Test Proofs #16: Commit b629681 pushed by lucasmt
June 25, 2024 14:26 14s rvdevelop
rvdevelop
June 25, 2024 14:26 14s
Make Escrow storage setup compatible with the new storage layout of t… Test Proofs #15: Commit ed8477d pushed by lucasmt
June 24, 2024 19:19 14s rvdevelop
rvdevelop
June 24, 2024 19:19 14s
Refactor DualGovernanceSetUp into 3 contracts for more fine-grained f… Test Proofs #14: Commit 9e3bc51 pushed by lucasmt
June 24, 2024 18:56 15s rvdevelop
rvdevelop
June 24, 2024 18:56 15s
assumptions Test Proofs #13: Commit ddeba7e pushed by PetarMax
June 22, 2024 15:44 13s rvdevelop
rvdevelop
June 22, 2024 15:44 13s
additional lemma for cleaning up specification of getRageQuitSupport Test Proofs #12: Commit 615778d pushed by PetarMax
June 22, 2024 07:39 15s rvdevelop
rvdevelop
June 22, 2024 07:39 15s
renaming contracts for easier use with Kontrol Test Proofs #11: Commit 3103f4a pushed by PetarMax
June 21, 2024 21:50 11s rvdevelop
rvdevelop
June 21, 2024 21:50 11s
Adjust StETH model to be closer to original StETH contract Test Proofs #10: Commit b12c341 pushed by lucasmt
June 21, 2024 18:19 38s rvdevelop
rvdevelop
June 21, 2024 18:19 38s
Update versions.json to the latest kontrol version Test Proofs #9: Commit c967988 pushed by lucasmt
June 18, 2024 23:00 14s rvdevelop
rvdevelop
June 18, 2024 23:00 14s
Add new version of Escrow model using rebasable StETH token Test Proofs #8: Commit f4bede4 pushed by lucasmt
June 17, 2024 23:04 11s rvdevelop
rvdevelop
June 17, 2024 23:04 11s
Adding workflow_dispatch event triggers Test Proofs #7: Commit 7f3261d pushed by lucasmt
June 14, 2024 23:21 15s rvdevelop
rvdevelop
June 14, 2024 23:21 15s
Adding workflow_dispatch event triggers Test Proofs #6: Commit 07d17d3 pushed by F-WRunTime
June 14, 2024 23:05 14s rvdevelop
rvdevelop
June 14, 2024 23:05 14s
Merge pull request #49 from lidofinance/fix/model-dual-governance-fix Test Proofs #5: Commit 2f7047e pushed by lucasmt
June 13, 2024 14:28 13s develop
develop
June 13, 2024 14:28 13s
Fix check in Escrow model Test Proofs #4: Commit 699ed04 pushed by lucasmt
June 12, 2024 22:31 15s rvdevelop
rvdevelop
June 12, 2024 22:31 15s
Fix VetoSignalling tests Test Proofs #3: Commit 246d5f8 pushed by lucasmt
June 12, 2024 21:41 11s rvdevelop
rvdevelop
June 12, 2024 21:41 11s
Merge conflict resolution Test Proofs #2: Commit 5070a16 pushed by F-WRunTime
June 12, 2024 21:12 14s rvdevelop
rvdevelop
June 12, 2024 21:12 14s
Committing KaaS Compute Setup for RV Testing / Development Test Proofs #1: Pull request #2 synchronize by F-WRunTime
June 12, 2024 20:55 12s rvdevelop
rvdevelop
June 12, 2024 20:55 12s