Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md with a link to the developer docs Run ScalaTest #2855: Commit 456ba48 pushed by bobismijnnaam
November 19, 2024 16:30 22m 42s dev
dev
November 19, 2024 16:30 22m 42s
Merge pull request #1278 from wandernauta/compile-mode-error Run ScalaTest #2854: Commit 14eefb2 pushed by bobismijnnaam
November 19, 2024 16:11 18m 44s dev
dev
November 19, 2024 16:11 18m 44s
Make progress on syntax & ast changes Run ScalaTest #2853: Commit 2994a57 pushed by bobismijnnaam
November 19, 2024 16:08 9m 6s veymont-parameterization-syntax
veymont-parameterization-syntax
November 19, 2024 16:08 9m 6s
Added node for Pallas FunctionContracts Run ScalaTest #2852: Commit 39db5d6 pushed by RobertMensing
November 18, 2024 12:11 26m 17s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 18, 2024 12:11 26m 17s
Extend pointer encoding Run ScalaTest #2851: Pull request #1277 synchronize by superaxander
November 14, 2024 10:16 4s pointer-extension
pointer-extension
November 14, 2024 10:16 4s
Keep cast helpers for identity pointer casts Run ScalaTest #2850: Commit ea84557 pushed by superaxander
November 14, 2024 10:16 24m 30s pointer-extension
pointer-extension
November 14, 2024 10:16 24m 30s
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