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

Use underlyingPath where available in SilverToCol (needs proper fix) Run ScalaTest #2874: Commit b5e997d pushed by superaxander
November 22, 2024 14:00 24m 26s pointer-extension
pointer-extension
November 22, 2024 14:00 24m 26s
Extend pointer encoding Run ScalaTest #2873: Pull request #1277 synchronize by superaxander
November 22, 2024 12:07 3s pointer-extension
pointer-extension
November 22, 2024 12:07 3s
Finish cherry-picking Asserting/Assuming changes from Bob's branch Run ScalaTest #2872: Commit 7d8907e pushed by superaxander
November 22, 2024 12:07 24m 31s pointer-extension
pointer-extension
November 22, 2024 12:07 24m 31s
Tie PVLEndpoint into Endpoint Run ScalaTest #2871: Commit 392fa50 pushed by bobismijnnaam
November 22, 2024 10:11 22m 7s veymont-parameterization-syntax
veymont-parameterization-syntax
November 22, 2024 10:11 22m 7s
Next up, teaching scopes about rangedbinder. also, maybe check for un… Run ScalaTest #2870: Commit 0507248 pushed by bobismijnnaam
November 21, 2024 15:56 26m 20s veymont-parameterization-syntax
veymont-parameterization-syntax
November 21, 2024 15:56 26m 20s
Fixed bug that caused incorrect instruction-order with some branches. Run ScalaTest #2869: Commit 8e7705c pushed by RobertMensing
November 21, 2024 15:19 23m 53s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 21, 2024 15:19 23m 53s
Extend pointer encoding Run ScalaTest #2868: Pull request #1277 synchronize by superaxander
November 21, 2024 14:47 3s pointer-extension
pointer-extension
November 21, 2024 14:47 3s
Get rid of some clutter caused by provenance checks Run ScalaTest #2867: Commit 9d48ed7 pushed by superaxander
November 21, 2024 14:47 25m 0s pointer-extension
pointer-extension
November 21, 2024 14:47 25m 0s
Merge pull request #1283 from superaxander/dev Run ScalaTest #2866: Commit 929367d pushed by superaxander
November 21, 2024 12:42 21m 23s dev
dev
November 21, 2024 12:42 21m 23s
Only run test_report if the run was not cancelled Run ScalaTest #2865: Pull request #1283 opened by superaxander
November 21, 2024 12:42 25m 52s superaxander:dev
superaxander:dev
November 21, 2024 12:42 25m 52s
Extend pointer encoding Run ScalaTest #2864: Pull request #1277 synchronize by superaxander
November 21, 2024 12:31 4s pointer-extension
pointer-extension
November 21, 2024 12:31 4s
Disable provenance checks in function contracts, make casts preserve Run ScalaTest #2863: Commit b6d23ba pushed by superaxander
November 21, 2024 12:31 26m 50s pointer-extension
pointer-extension
November 21, 2024 12:31 26m 50s
fixed some issues discovered by Marian, e.g. regarding Labels, bool Run ScalaTest #2862: Commit a70d527 pushed by ArmborstL
November 20, 2024 17:01 45m 22s simplify-c-files-for-cpa
simplify-c-files-for-cpa
November 20, 2024 17:01 45m 22s
Start working on subscript operation for endpoint families Run ScalaTest #2861: Commit 8ab0c9d pushed by bobismijnnaam
November 20, 2024 16:02 27m 17s veymont-parameterization-syntax
veymont-parameterization-syntax
November 20, 2024 16:02 27m 17s
Changes run both, VCLLVM- and Pallas-function contract declarer-passes. Run ScalaTest #2860: Commit cdf95d9 pushed by RobertMensing
November 20, 2024 15:23 22m 0s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 20, 2024 15:23 22m 0s
First draft of integrating Pallas function contracts Run ScalaTest #2859: Commit 967043e pushed by RobertMensing
November 20, 2024 12:30 24m 42s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 20, 2024 12:30 24m 42s
Improve parser general error message Run ScalaTest #2858: Commit 6ea3d61 pushed by bobismijnnaam
November 20, 2024 10:45 23m 15s veymont-parameterization-syntax
veymont-parameterization-syntax
November 20, 2024 10:45 23m 15s
Extend pointer encoding Run ScalaTest #2857: Pull request #1277 synchronize by superaxander
November 20, 2024 10:34 3s pointer-extension
pointer-extension
November 20, 2024 10:34 3s
Take pointer provenance into account, implement pointer comparisons, Run ScalaTest #2856: Commit b901ec8 pushed by superaxander
November 20, 2024 10:34 26m 10s pointer-extension
pointer-extension
November 20, 2024 10:34 26m 10s
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