Skip to content

Actions: Pi-Squared-Inc/solidity-demo-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow runs
221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added missing summarize cell in swap summary rule. Test PR #171: Pull request #59 opened by mariaKt
October 8, 2024 16:34 1m 43s swap-summary-bugfix
swap-summary-bugfix
October 8, 2024 16:34 1m 43s
Introducing transferFrom function summary on dAIMock Test PR #170: Pull request #58 opened by Robertorosmaninho
October 7, 2024 23:13 1m 39s transferFrom-dAIMock-summary
transferFrom-dAIMock-summary
October 7, 2024 23:13 1m 39s
Introducing approve summary from bind to return on dAIMock Test PR #169: Pull request #56 synchronize by Robertorosmaninho
October 7, 2024 22:34 1m 42s approve-dAIMock-summary
approve-dAIMock-summary
October 7, 2024 22:34 1m 42s
Introducing approve summary from bind to return on dAIMock Test PR #168: Pull request #56 synchronize by Robertorosmaninho
October 7, 2024 20:37 1m 42s approve-dAIMock-summary
approve-dAIMock-summary
October 7, 2024 20:37 1m 42s
Handling of Int in bind Test PR #167: Pull request #54 synchronize by mariaKt
October 7, 2024 15:34 1m 36s bind-rule
bind-rule
October 7, 2024 15:34 1m 36s
Moved a general rule to semantics rather than the summaries modules. Test PR #166: Pull request #53 synchronize by mariaKt
October 7, 2024 15:12 2m 29s restore-env
restore-env
October 7, 2024 15:12 2m 29s
Introducing approve summary from bind to return on dAIMock Test PR #165: Pull request #56 synchronize by Robertorosmaninho
October 7, 2024 12:22 2m 36s approve-dAIMock-summary
approve-dAIMock-summary
October 7, 2024 12:22 2m 36s
Introducing approve summary from bind to return on dAIMock Test PR #164: Pull request #56 synchronize by Robertorosmaninho
October 4, 2024 21:24 1m 35s approve-dAIMock-summary
approve-dAIMock-summary
October 4, 2024 21:24 1m 35s
Introducing approve summary from bind to return on dAIMock Test PR #163: Pull request #56 synchronize by Robertorosmaninho
October 4, 2024 20:53 1m 38s approve-dAIMock-summary
approve-dAIMock-summary
October 4, 2024 20:53 1m 38s
Some summaries for swap. Test PR #162: Pull request #57 opened by mariaKt
October 4, 2024 20:40 1m 39s swap-summary
swap-summary
October 4, 2024 20:40 1m 39s
Introducing mint summary from bind on dAIMock Test PR #161: Pull request #55 synchronize by Robertorosmaninho
October 4, 2024 20:21 2m 38s mint-sumary
mint-sumary
October 4, 2024 20:21 2m 38s
Introducing approve summary from bind to return on dAIMock Test PR #160: Pull request #56 opened by Robertorosmaninho
October 4, 2024 20:21 1m 36s approve-dAIMock-summary
approve-dAIMock-summary
October 4, 2024 20:21 1m 36s
Introducing mint summary from bind on dAIMock Test PR #159: Pull request #55 synchronize by Robertorosmaninho
October 4, 2024 18:21 1m 52s mint-sumary
mint-sumary
October 4, 2024 18:21 1m 52s
Introducing mint summary from bind on dAIMock Test PR #158: Pull request #55 synchronize by Robertorosmaninho
October 4, 2024 18:20 1m 6s mint-sumary
mint-sumary
October 4, 2024 18:20 1m 6s
Introducing mint summary from bind on dAIMock Test PR #157: Pull request #55 synchronize by Robertorosmaninho
October 4, 2024 18:15 1m 53s mint-sumary
mint-sumary
October 4, 2024 18:15 1m 53s
Introducing mint summary from bind on dAIMock Test PR #156: Pull request #55 opened by Robertorosmaninho
October 4, 2024 18:14 1m 30s mint-sumary
mint-sumary
October 4, 2024 18:14 1m 30s
Handling of Int in bind Test PR #155: Pull request #54 synchronize by mariaKt
October 4, 2024 17:49 1m 33s bind-rule
bind-rule
October 4, 2024 17:49 1m 33s
Handling of Int in bind Test PR #154: Pull request #54 synchronize by mariaKt
October 4, 2024 17:44 1m 37s bind-rule
bind-rule
October 4, 2024 17:44 1m 37s
Handling of Int in bind Test PR #153: Pull request #54 opened by mariaKt
October 4, 2024 17:32 1m 34s bind-rule
bind-rule
October 4, 2024 17:32 1m 34s
Moved a general rule to semantics rather than the summaries modules. Test PR #152: Pull request #53 synchronize by mariaKt
October 3, 2024 21:14 1m 31s restore-env
restore-env
October 3, 2024 21:14 1m 31s
Moved a general rule to semantics rather than the summaries modules. Test PR #151: Pull request #53 opened by mariaKt
October 3, 2024 20:03 1m 32s restore-env
restore-env
October 3, 2024 20:03 1m 32s
Reduced version of SomeToken.sol Test PR #150: Pull request #52 synchronize by mariaKt
October 3, 2024 19:40 1m 32s sometoken-mod
sometoken-mod
October 3, 2024 19:40 1m 32s
mathSqrt summary Test PR #149: Pull request #51 synchronize by mariaKt
October 3, 2024 19:35 1m 36s mathsqrt-summary
mathsqrt-summary
October 3, 2024 19:35 1m 36s
Reduced version of SomeToken.sol Test PR #148: Pull request #52 opened by mariaKt
October 3, 2024 19:31 1m 26s sometoken-mod
sometoken-mod
October 3, 2024 19:31 1m 26s
uniswapV2LibraryGetAmountsOut summary Test PR #147: Pull request #50 synchronize by mariaKt
October 3, 2024 00:58 1m 34s getamountsout-summary
getamountsout-summary
October 3, 2024 00:58 1m 34s