Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,402 workflow runs
1,402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #18: completed by ArmborstL
October 7, 2024 23:54 31s
October 7, 2024 23:54 31s
Generate Test Report Generate Test Report #17: completed by ArmborstL
October 7, 2024 23:21 17s
October 7, 2024 23:21 17s
cSimplifier: some refactoring; make simplification optional Run ScalaTest #2749: Commit 79e3e6d pushed by ArmborstL
October 7, 2024 23:21 32m 43s simplify-c-files-for-cpa
simplify-c-files-for-cpa
October 7, 2024 23:21 32m 43s
improve printed output for C files to look more like actual C Run ScalaTest #2748: Commit 60db9ab pushed by ArmborstL
October 7, 2024 23:18 2m 55s simplify-c-files-for-cpa
simplify-c-files-for-cpa
October 7, 2024 23:18 2m 55s
Generate Test Report Generate Test Report #16: completed by wandernauta
October 7, 2024 13:03 35s
October 7, 2024 13:03 35s
Generate Test Report Generate Test Report #15: completed by superaxander
October 7, 2024 12:41 35s
October 7, 2024 12:41 35s
Fix empty PVL enums causing verification failure Run ScalaTest #2747: Pull request #1248 synchronize by wandernauta
October 7, 2024 12:39 23m 42s wandernauta:pvl-nil-enum
wandernauta:pvl-nil-enum
October 7, 2024 12:39 23m 42s
Generate Test Report Generate Test Report #14: completed by superaxander
October 7, 2024 12:12 17s
October 7, 2024 12:12 17s
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL Run ScalaTest #2746: Pull request #1159 synchronize by superaxander
October 7, 2024 12:11 30m 3s superaxander:pallas
superaxander:pallas
October 7, 2024 12:11 30m 3s
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL Run ScalaTest #2745: Pull request #1159 synchronize by superaxander
October 7, 2024 12:09 2m 43s superaxander:pallas
superaxander:pallas
October 7, 2024 12:09 2m 43s
Generate Test Report Generate Test Report #13: completed by superaxander
October 4, 2024 14:07 39s
October 4, 2024 14:07 39s
Generate Test Report Generate Test Report #12: completed by superaxander
October 4, 2024 13:49 26s
October 4, 2024 13:49 26s
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL Run ScalaTest #2744: Pull request #1159 synchronize by superaxander
October 4, 2024 13:21 16m 29s superaxander:pallas
superaxander:pallas
October 4, 2024 13:21 16m 29s
Generate Test Report Generate Test Report #11: completed by superaxander
October 3, 2024 08:47 33s
October 3, 2024 08:47 33s
Merge pull request #1239 from wandernauta/issue-1233 Run ScalaTest #2743: Commit dc107f0 pushed by superaxander
October 3, 2024 08:26 21m 0s dev
dev
October 3, 2024 08:26 21m 0s
Merge pull request #1239 from wandernauta/issue-1233 (Pre)-Release #105: Commit dc107f0 pushed by superaxander
October 3, 2024 08:26 16m 17s dev
dev
October 3, 2024 08:26 16m 17s
Generate Test Report Generate Test Report #10: completed by wandernauta
October 2, 2024 16:03 25s
October 2, 2024 16:03 25s
Encode that malloc may return NULL in C (weaken postcondition) Run ScalaTest #2742: Pull request #1239 synchronize by wandernauta
October 2, 2024 15:40 22m 48s wandernauta:issue-1233
wandernauta:issue-1233
October 2, 2024 15:40 22m 48s
Generate Test Report Generate Test Report #9: completed by superaxander
October 1, 2024 12:06 35s
October 1, 2024 12:06 35s
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL Run ScalaTest #2741: Pull request #1159 synchronize by superaxander
October 1, 2024 11:39 26m 32s superaxander:pallas
superaxander:pallas
October 1, 2024 11:39 26m 32s
Generate Test Report Generate Test Report #8: completed by superaxander
September 30, 2024 13:46 25s
September 30, 2024 13:46 25s
Merge pull request #1250 from wandernauta/issue-1240 (Pre)-Release #104: Commit a2c2b5c pushed by superaxander
September 30, 2024 13:25 16m 0s dev
dev
September 30, 2024 13:25 16m 0s
Merge pull request #1250 from wandernauta/issue-1240 Run ScalaTest #2740: Commit a2c2b5c pushed by superaxander
September 30, 2024 13:25 20m 59s dev
dev
September 30, 2024 13:25 20m 59s
Generate Test Report Generate Test Report #7: completed by superaxander
September 30, 2024 13:24 46s
September 30, 2024 13:24 46s
Generate Test Report Generate Test Report #6: completed by superaxander
September 30, 2024 13:07 24s
September 30, 2024 13:07 24s