Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scalatest.yml
1,202 workflow runs
1,202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
Make contract of free (for C) conditional on ptr being non-null Run ScalaTest #2739: Pull request #1250 synchronize by superaxander
September 30, 2024 13:00 23m 23s wandernauta:issue-1240
wandernauta:issue-1240
September 30, 2024 13:00 23m 23s
Merge pull request #1249 from wandernauta/issue-1243 Run ScalaTest #2738: Commit 891530b pushed by superaxander
September 30, 2024 12:41 25m 26s dev
dev
September 30, 2024 12:41 25m 26s
Restrict C++ character literals to a single UTF-8 char Run ScalaTest #2737: Pull request #1249 synchronize by superaxander
September 30, 2024 12:19 21m 21s wandernauta:issue-1243
wandernauta:issue-1243
September 30, 2024 12:19 21m 21s
Merge pull request #1254 from superaxander/update-actions Run ScalaTest #2736: Commit db1fd72 pushed by superaxander
September 30, 2024 12:19 23m 2s dev
dev
September 30, 2024 12:19 23m 2s
Update to setup-java@v4 Run ScalaTest #2735: Pull request #1254 opened by superaxander
September 30, 2024 11:44 21m 59s superaxander:update-actions
superaxander:update-actions
September 30, 2024 11:44 21m 59s
Update upload-/download-artifact and get artifacts from the correct w… Run ScalaTest #2734: Commit 6f0cb15 pushed by superaxander
September 30, 2024 11:17 24m 48s dev
dev
September 30, 2024 11:17 24m 48s
Merge pull request #1253 from utwente-fmt/fix-test-report-ci Run ScalaTest #2733: Commit 2fcf164 pushed by superaxander
September 30, 2024 09:05 22m 49s dev
dev
September 30, 2024 09:05 22m 49s
Attempt to fix the test reporting by running the test report on the default branch Run ScalaTest #2732: Pull request #1253 opened by superaxander
September 30, 2024 08:40 3s fix-test-report-ci
fix-test-report-ci
September 30, 2024 08:40 3s
Attempt to fix the test reporting by running the test report on the d… Run ScalaTest #2731: Commit 2cac14d pushed by superaxander
September 30, 2024 08:35 21m 49s fix-test-report-ci
fix-test-report-ci
September 30, 2024 08:35 21m 49s
Merge pull request #1252 from utwente-fmt/unsound-auto-value Run ScalaTest #2730: Commit 3cb0d92 pushed by superaxander
September 27, 2024 14:41 25m 5s dev
dev
September 27, 2024 14:41 25m 5s
AutoValue unsoundness, Test Suite runner, Paths with spaces Run ScalaTest #2729: Pull request #1252 opened by superaxander
September 27, 2024 13:45 3s unsound-auto-value
unsound-auto-value
September 27, 2024 13:45 3s
Add error for case where AutoValue was unsound, add testSuite runner Run ScalaTest #2728: Commit 7c7470d pushed by superaxander
September 27, 2024 13:31 27m 34s unsound-auto-value
unsound-auto-value
September 27, 2024 13:31 27m 34s
Bump dorny Run ScalaTest #2727: Pull request #1251 opened by bobismijnnaam
September 27, 2024 09:28 4s upgrade-ci-test-report
upgrade-ci-test-report
September 27, 2024 09:28 4s
Bump dorny Run ScalaTest #2726: Commit 970e7f3 pushed by bobismijnnaam
September 27, 2024 09:28 25m 48s upgrade-ci-test-report
upgrade-ci-test-report
September 27, 2024 09:28 25m 48s
Make contract of free (for C) conditional on ptr being non-null Run ScalaTest #2725: Pull request #1250 opened by wandernauta
September 26, 2024 20:23 33s wandernauta:issue-1240
wandernauta:issue-1240
September 26, 2024 20:23 33s