Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend pointer encoding Run ScalaTest #2849: Pull request #1277 synchronize by superaxander
November 14, 2024 08:56 3s pointer-extension
pointer-extension
November 14, 2024 08:56 3s
Get rid of identity casts Run ScalaTest #2848: Commit 14b322c pushed by superaxander
November 14, 2024 08:56 24m 0s pointer-extension
pointer-extension
November 14, 2024 08:56 24m 0s
Log and exit error if --compile (PVL-to-Java translation) mode fails Run ScalaTest #2847: Pull request #1278 opened by wandernauta
November 13, 2024 12:51 22m 24s wandernauta:compile-mode-error
wandernauta:compile-mode-error
November 13, 2024 12:51 22m 24s
Patch for the SYCL support. Not in a state ready for dev yet. Run ScalaTest #2846: Commit 3c6486d pushed by OmerSakar
November 13, 2024 10:27 25m 21s sycl-patch
sycl-patch
November 13, 2024 10:27 25m 21s
Extend pointer encoding Run ScalaTest #2845: Pull request #1277 synchronize by superaxander
November 13, 2024 08:55 4s pointer-extension
pointer-extension
November 13, 2024 08:55 4s
Get rid of casts from Object and Null types as well Run ScalaTest #2844: Commit 58fc5a1 pushed by superaxander
November 13, 2024 08:55 24m 48s pointer-extension
pointer-extension
November 13, 2024 08:55 24m 48s
Extend pointer encoding Run ScalaTest #2843: Pull request #1277 opened by superaxander
November 12, 2024 16:08 5s pointer-extension
pointer-extension
November 12, 2024 16:08 5s
Implement very basic pointer-integer casts Run ScalaTest #2842: Commit 7d03daa pushed by superaxander
November 12, 2024 16:07 28m 8s pointer-extension
pointer-extension
November 12, 2024 16:07 28m 8s
Merge pull request #1270 from utwente-fmt/struct-examples Run ScalaTest #2841: Commit 8c77a47 pushed by superaxander
November 11, 2024 15:41 25m 33s dev
dev
November 11, 2024 15:41 25m 33s
Struct examples Run ScalaTest #2840: Pull request #1270 synchronize by superaxander
November 11, 2024 15:12 3s struct-examples
struct-examples
November 11, 2024 15:12 3s
Implement unreachable check and send files to opt using pipe Run ScalaTest #2839: Commit 065e977 pushed by superaxander
November 11, 2024 15:12 22m 30s struct-examples
struct-examples
November 11, 2024 15:12 22m 30s
Struct examples Run ScalaTest #2838: Pull request #1270 synchronize by superaxander
November 11, 2024 12:58 3s struct-examples
struct-examples
November 11, 2024 12:58 3s
Merge remote-tracking branch 'origin/dev' into struct-examples Run ScalaTest #2837: Commit 46d7175 pushed by superaxander
November 11, 2024 12:58 27m 54s struct-examples
struct-examples
November 11, 2024 12:58 27m 54s
Add LLVMBranchUnreachable as a No-Op for now Run ScalaTest #2836: Commit 8ee2471 pushed by superaxander
November 11, 2024 12:52 6m 40s struct-examples
struct-examples
November 11, 2024 12:52 6m 40s
More initial draft suff Run ScalaTest #2835: Commit 1e0369f pushed by bobismijnnaam
November 8, 2024 16:11 8m 12s veymont-parameterization-syntax
veymont-parameterization-syntax
November 8, 2024 16:11 8m 12s
Initial datatype sketch for parameterized veymont Run ScalaTest #2834: Commit 5e241b0 pushed by bobismijnnaam
November 8, 2024 16:09 2m 22s veymont-parameterization-syntax
veymont-parameterization-syntax
November 8, 2024 16:09 2m 22s
Add spec/tests for assuming/asserting Run ScalaTest #2833: Commit ebc310d pushed by bobismijnnaam
November 8, 2024 10:10 24m 45s veymont-parameterization-syntax
veymont-parameterization-syntax
November 8, 2024 10:10 24m 45s
STart implementing assuming, asserting Run ScalaTest #2832: Commit 645ed31 pushed by bobismijnnaam
November 7, 2024 15:59 24m 59s veymont-parameterization-syntax
veymont-parameterization-syntax
November 7, 2024 15:59 24m 59s
Merge pull request #1276 from utwente-fmt/veymont-remove-pushinchor Run ScalaTest #2831: Commit 80f8cbe pushed by bobismijnnaam
November 6, 2024 14:39 24m 19s dev
dev
November 6, 2024 14:39 24m 19s
VeyMont: remove PushInChor Run ScalaTest #2830: Pull request #1276 synchronize by bobismijnnaam
November 6, 2024 14:38 3s veymont-remove-pushinchor
veymont-remove-pushinchor
November 6, 2024 14:38 3s
Merge branch 'dev' into veymont-remove-pushinchor Run ScalaTest #2829: Commit a6f2dca pushed by bobismijnnaam
November 6, 2024 14:38 25m 40s veymont-remove-pushinchor
veymont-remove-pushinchor
November 6, 2024 14:38 25m 40s
VeyMont: remove PushInChor Run ScalaTest #2828: Pull request #1276 opened by bobismijnnaam
November 6, 2024 14:08 4s veymont-remove-pushinchor
veymont-remove-pushinchor
November 6, 2024 14:08 4s
Remove PushInChor, it existed as a crutch for making chor work with s… Run ScalaTest #2827: Commit 4d12e3c pushed by bobismijnnaam
November 6, 2024 14:08 29m 57s veymont-remove-pushinchor
veymont-remove-pushinchor
November 6, 2024 14:08 29m 57s
Merge pull request #1269 from utwente-fmt/veymont-no-chorperm Run ScalaTest #2826: Commit a7ad6af pushed by bobismijnnaam
November 6, 2024 14:06 27m 10s dev
dev
November 6, 2024 14:06 27m 10s
VeyMont: remove ChorPerm Run ScalaTest #2825: Pull request #1269 synchronize by bobismijnnaam
November 6, 2024 13:34 3s veymont-no-chorperm
veymont-no-chorperm
November 6, 2024 13:34 3s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.