Skip to content

Actions: Pi-Squared-Inc/wasm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update KWASM with latest changes in RV repo Run Tests #35: Pull request #11 synchronize by dwightguth
September 26, 2024 16:15 4m 30s master-update
master-update
September 26, 2024 16:15 4m 30s
Pass proof hints flags to kompile (#8) Run Tests #34: Commit 437606d pushed by dwightguth
September 26, 2024 16:15 4m 42s master-update
master-update
September 26, 2024 16:15 4m 42s
Update KWASM with latest changes in RV repo Run Tests #33: Pull request #11 opened by Robertorosmaninho
September 26, 2024 15:42 5m 0s master-update
master-update
September 26, 2024 15:42 5m 0s
Pass proof hints flags to kompile (#8) Run Tests #32: Commit a85fc13 pushed by Robertorosmaninho
September 26, 2024 15:41 5m 5s master-update
master-update
September 26, 2024 15:41 5m 5s
add missing attributes to List modules Update Version #1: Commit 74f3fa8 pushed by dwightguth
September 23, 2024 14:21 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 23, 2024 14:21 17s
add missing attributes to List modules Run Tests #31: Pull request #10 opened by dwightguth
September 20, 2024 17:39 3m 55s fix-list
fix-list
September 20, 2024 17:39 3m 55s
Use MInt instead of Int for most integer arithmetic Run Tests #30: Pull request #9 synchronize by dwightguth
August 13, 2024 16:17 3m 48s mint
mint
August 13, 2024 16:17 3m 48s
Use MInt instead of Int for most integer arithmetic Run Tests #29: Pull request #9 synchronize by dwightguth
August 9, 2024 20:37 2m 43s mint
mint
August 9, 2024 20:37 2m 43s
Pass proof hints flags to kompile (#8) Run Tests #28: Commit 951dd5f pushed by dwightguth
August 9, 2024 18:28 5m 46s master-update
master-update
August 9, 2024 18:28 5m 46s
Branch optimization Run Tests #27: Pull request #7 synchronize by Robertorosmaninho
August 7, 2024 21:32 3m 23s branch-optimization
branch-optimization
August 7, 2024 21:32 3m 23s
Branch optimization Run Tests #26: Pull request #7 synchronize by Robertorosmaninho
August 7, 2024 21:30 2m 22s branch-optimization
branch-optimization
August 7, 2024 21:30 2m 22s
Pass proof hints flags to kompile (#8) Run Tests #25: Commit 417a6a2 pushed by dwightguth
August 6, 2024 17:50 4m 28s master-update
master-update
August 6, 2024 17:50 4m 28s
Pass proof hints flags to kompile (#8) Run Tests #24: Commit 5219d7e pushed by dwightguth
August 6, 2024 17:46 3m 27s master-update
master-update
August 6, 2024 17:46 3m 27s
Pass proof hints flags to kompile (#8) Run Tests #23: Commit 91dbff5 pushed by dwightguth
August 6, 2024 16:36 11m 58s master-update
master-update
August 6, 2024 16:36 11m 58s
Branch optimization Run Tests #22: Pull request #7 synchronize by Robertorosmaninho
August 2, 2024 20:14 10m 47s branch-optimization
branch-optimization
August 2, 2024 20:14 10m 47s
Use MInt instead of Int for most integer arithmetic Run Tests #21: Pull request #9 opened by dwightguth
August 1, 2024 21:34 2m 28s mint
mint
August 1, 2024 21:34 2m 28s
Branch optimization Run Tests #20: Pull request #7 synchronize by Robertorosmaninho
July 31, 2024 17:39 11m 51s branch-optimization
branch-optimization
July 31, 2024 17:39 11m 51s
Branch optimization Run Tests #19: Pull request #7 synchronize by Robertorosmaninho
July 31, 2024 16:48 3m 58s branch-optimization
branch-optimization
July 31, 2024 16:48 3m 58s
Branch optimization Run Tests #18: Pull request #7 synchronize by Robertorosmaninho
July 31, 2024 15:41 5m 4s branch-optimization
branch-optimization
July 31, 2024 15:41 5m 4s
Branch optimization Run Tests #17: Pull request #7 synchronize by Robertorosmaninho
July 30, 2024 17:02 4m 19s branch-optimization
branch-optimization
July 30, 2024 17:02 4m 19s
Pass proof hints flags to kompile Run Tests #16: Pull request #8 opened by alexoltean61
July 26, 2024 14:59 10m 4s llvm-hints
llvm-hints
July 26, 2024 14:59 10m 4s
Branch optimization Run Tests #15: Pull request #7 synchronize by Robertorosmaninho
July 25, 2024 22:49 4m 6s branch-optimization
branch-optimization
July 25, 2024 22:49 4m 6s
change <memAddrs> and <mems> cells from Map to List Run Tests #14: Pull request #5 synchronize by Robertorosmaninho
July 17, 2024 17:44 10m 19s new-load
new-load
July 17, 2024 17:44 10m 19s
Replacing ValStack with List Run Tests #13: Pull request #6 opened by Robertorosmaninho
July 10, 2024 20:33 4m 29s ValStack-To-List
ValStack-To-List
July 10, 2024 20:33 4m 29s
change <memAddrs> and <mems> cells from Map to List Run Tests #12: Pull request #5 synchronize by Robertorosmaninho
July 9, 2024 22:36 10m 39s new-load
new-load
July 9, 2024 22:36 10m 39s