Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support specification-constructs in Pallas specifications Run ScalaTest #2972: Pull request #1289 synchronize by RobertMensing
January 22, 2025 12:21 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 22, 2025 12:21 3s
Inline let-expressions that contain Perm(...) on lhs Run ScalaTest #2971: Commit b0214c3 pushed by RobertMensing
January 22, 2025 12:21 21m 15s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 22, 2025 12:21 21m 15s
Support specification-constructs in Pallas specifications Run ScalaTest #2970: Pull request #1289 synchronize by RobertMensing
January 22, 2025 07:55 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 22, 2025 07:55 4s
Infer type of wrapper-function args from call-site Run ScalaTest #2969: Commit 580e370 pushed by RobertMensing
January 22, 2025 07:55 21m 10s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 22, 2025 07:55 21m 10s
Support specification-constructs in Pallas specifications Run ScalaTest #2968: Pull request #1289 synchronize by RobertMensing
January 21, 2025 13:57 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 21, 2025 13:57 4s
Fixes to LLVM type inference & draft of Perm, FracOf Run ScalaTest #2967: Commit ccb94cc pushed by RobertMensing
January 21, 2025 13:57 26m 8s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 21, 2025 13:57 26m 8s
Debugging to get the quantifier code to work with the FreeRTOS encoding Run ScalaTest #2966: Commit 78c8ad7 pushed by PBHTasche
January 15, 2025 14:05 23m 11s rasi_generator
rasi_generator
January 15, 2025 14:05 23m 11s
Merge branch 'dev' into rasi_generator Run ScalaTest #2965: Commit 382482e pushed by PBHTasche
January 13, 2025 14:16 25m 48s rasi_generator
rasi_generator
January 13, 2025 14:16 25m 48s
Support specification-constructs in Pallas specifications Run ScalaTest #2964: Pull request #1289 synchronize by RobertMensing
January 10, 2025 13:52 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 13:52 3s
Cleanup wrapper inlining Run ScalaTest #2963: Commit 913ffb1 pushed by RobertMensing
January 10, 2025 13:52 24m 2s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 13:52 24m 2s
Rewrote the SYCL support to fix scoping issues. Not entirely finished… Run ScalaTest #2962: Commit 0b9636a pushed by OmerSakar
January 10, 2025 12:34 26m 38s sycl-patch
sycl-patch
January 10, 2025 12:34 26m 38s
Support specification-constructs in Pallas specifications Run ScalaTest #2961: Pull request #1289 synchronize by RobertMensing
January 10, 2025 10:16 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 10:16 4s
Tests for Pallas \result Run ScalaTest #2960: Commit d24c531 pushed by RobertMensing
January 10, 2025 10:16 20m 2s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 10:16 20m 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2959: Pull request #1289 synchronize by RobertMensing
January 10, 2025 08:44 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 08:44 3s
Generate permissions for structs that are returned in an sret-argument. Run ScalaTest #2958: Commit ccbf937 pushed by RobertMensing
January 10, 2025 08:44 27m 56s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 08:44 27m 56s
Generate permissions for structs that are returned in an sret-argument. Run ScalaTest #2957: Commit ccbf937 pushed by RobertMensing
January 10, 2025 08:31 21m 20s InlinePallasContracts
InlinePallasContracts
January 10, 2025 08:31 21m 20s
Merge remote-tracking branch 'origin/dev' into InlinePallasContracts Run ScalaTest #2956: Commit 9677586 pushed by RobertMensing
January 9, 2025 11:28 22m 19s InlinePallasContracts
InlinePallasContracts
January 9, 2025 11:28 22m 19s
Added missing variable substitution when inlining pallas wrappers Run ScalaTest #2955: Commit dd8e6a1 pushed by RobertMensing
January 9, 2025 11:14 14m 17s InlinePallasContracts
InlinePallasContracts
January 9, 2025 11:14 14m 17s
First draft for inlining pallas wrappers Run ScalaTest #2954: Commit 828e10a pushed by RobertMensing
January 7, 2025 16:43 25m 37s InlinePallasContracts
InlinePallasContracts
January 7, 2025 16:43 25m 37s
Starting with encoding endpoint families! Run ScalaTest #2953: Commit f82ebb2 pushed by bobismijnnaam
December 20, 2024 16:09 25m 25s veymont-parameterization-syntax
veymont-parameterization-syntax
December 20, 2024 16:09 25m 25s
Finally do something about prettyprinting. Also add endpoint expressi… Run ScalaTest #2952: Commit 163776b pushed by bobismijnnaam
December 20, 2024 15:16 7m 3s veymont-parameterization-syntax
veymont-parameterization-syntax
December 20, 2024 15:16 7m 3s
Need to handle rangebinder properly in stratifyunpointedexpressions Run ScalaTest #2951: Commit b2bd9bf pushed by bobismijnnaam
December 19, 2024 16:15 7m 18s veymont-parameterization-syntax
veymont-parameterization-syntax
December 19, 2024 16:15 7m 18s
Merge branch 'dev' into sycl-patch Run ScalaTest #2950: Commit 7f34359 pushed by OmerSakar
December 19, 2024 14:42 21m 28s sycl-patch
sycl-patch
December 19, 2024 14:42 21m 28s
Merge pull request #1297 from utwente-fmt/issue-924 Run ScalaTest #2949: Commit 2bd3bca pushed by OmerSakar
December 19, 2024 13:56 25m 25s dev
dev
December 19, 2024 13:56 25m 25s
Fixed issue #924: context_everywhere was not propagated correctly in run methods. Run ScalaTest #2948: Pull request #1297 synchronize by OmerSakar
December 19, 2024 12:56 3s issue-924
issue-924
December 19, 2024 12:56 3s