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

Outline how we will move away from EndpointName, and instead reuse Co… Run ScalaTest #2880: Commit a7ce7d0 pushed by bobismijnnaam
November 26, 2024 15:54 56s veymont-parameterization-syntax
veymont-parameterization-syntax
November 26, 2024 15:54 56s
fixed infinite recursion bug Run ScalaTest #2879: Commit 63a94f9 pushed by ArmborstL
November 26, 2024 15:00 25m 29s simplify-c-files-for-cpa
simplify-c-files-for-cpa
November 26, 2024 15:00 25m 29s
Added origins to pallas function-contracts Run ScalaTest #2878: Commit c94ad4c pushed by RobertMensing
November 26, 2024 14:50 21m 38s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 26, 2024 14:50 21m 38s
Fixed DuplicateSuccessor-Error when using assignments in functions. Run ScalaTest #2877: Commit ff6fe4b pushed by RobertMensing
November 25, 2024 15:31 22m 56s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 25, 2024 15:31 22m 56s
forgot some files Run ScalaTest #2876: Commit e9561b8 pushed by bobismijnnaam
November 22, 2024 15:55 7m 55s veymont-parameterization-syntax
veymont-parameterization-syntax
November 22, 2024 15:55 7m 55s
Extend pointer encoding Run ScalaTest #2875: Pull request #1277 synchronize by superaxander
November 22, 2024 14:00 3s pointer-extension
pointer-extension
November 22, 2024 14:00 3s
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