Skip to content

Actions: rssh/dotty-cps-async

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small progress in formalization (while - sync case) Scala CI #514: Commit d6df071 pushed by rssh
November 20, 2023 21:06 4m 20s master
master
November 20, 2023 21:06 4m 20s
slow progress in formalization (added unit totypes, implemented Scala CI #513: Commit eb59446 pushed by rssh
November 12, 2023 20:18 4m 19s master
master
November 12, 2023 20:18 4m 19s
prove termination of cpsTreeToExpr, exprToCpsTree in progress Scala CI #512: Commit f17aa03 pushed by rssh
November 1, 2023 11:36 6m 22s master
master
November 1, 2023 11:36 6m 22s
slow progress in proofs, ISAR style for structured induction Scala CI #511: Commit 515d071 pushed by rssh
October 30, 2023 07:52 7m 52s master
master
October 30, 2023 07:52 7m 52s
added test for correct stack-trace from the hof argument Scala CI #510: Commit 4348305 pushed by rssh
October 22, 2023 16:16 6m 8s master
master
October 22, 2023 16:16 6m 8s
slow advance in proof model Scala CI #509: Commit cb5eb6f pushed by rssh
October 22, 2023 14:59 6m 15s master
master
October 22, 2023 14:59 6m 15s
removed analyzer for automatic coloring Scala CI #508: Commit af9915d pushed by rssh
October 19, 2023 18:18 6m 38s master
master
October 19, 2023 18:18 6m 38s
move stacktrace reporting test to JVM Scala CI #507: Commit 7e89744 pushed by rssh
October 17, 2023 17:08 6m 31s master
master
October 17, 2023 17:08 6m 31s
added tests about source positions during runtime error reporting Scala CI #506: Commit 1e04e2d pushed by rssh
October 17, 2023 10:19 6h 0m 29s master
master
October 17, 2023 10:19 6h 0m 29s
remove automatic coloring Scala CI #505: Commit 456179c pushed by rssh
October 17, 2023 09:28 6m 13s master
master
October 17, 2023 09:28 6m 13s
started describing transformations Scala CI #504: Commit 1cc8bf6 pushed by rssh
October 9, 2023 10:34 6m 39s master
master
October 9, 2023 10:34 6m 39s
finished typeExpr model Scala CI #503: Commit 4426c27 pushed by rssh
October 8, 2023 17:58 6m 46s master
master
October 8, 2023 17:58 6m 46s
added typign of application Scala CI #502: Commit e865d61 pushed by rssh
October 8, 2023 14:46 8m 39s master
master
October 8, 2023 14:46 8m 39s
starting point for formalization of cps algorithm in isabella Scala CI #501: Commit 9d9d05e pushed by rssh
October 8, 2023 10:07 8m 0s master
master
October 8, 2023 10:07 8m 0s
0.9.20-SNAPSHOT Scala CI #500: Commit 7022709 pushed by rssh
October 4, 2023 18:29 6m 27s master
master
October 4, 2023 18:29 6m 27s
pages build and deployment pages-build-deployment #24: by rssh
October 2, 2023 06:28 43s gh-pages
gh-pages
October 2, 2023 06:28 43s
0.9.19 Scala CI #499: Commit f0778f0 pushed by rssh
October 2, 2023 06:20 6m 37s master
master
October 2, 2023 06:20 6m 37s
renamed to keep smae name of test as before Scala CI #498: Commit be86af7 pushed by rssh
October 1, 2023 17:59 6m 41s master
master
October 1, 2023 17:59 6m 41s
fixed regression in the handling of try/catch statement with singleton Scala CI #497: Commit 5ff3f7f pushed by rssh
October 1, 2023 17:51 5m 57s master
master
October 1, 2023 17:51 5m 57s
added test for throwing exception inside runtimeAwait Scala CI #496: Commit 190a31a pushed by rssh
October 1, 2023 11:07 5m 19s master
master
October 1, 2023 11:07 5m 19s
fixed test on spawning exception from RuntimeAwait for PE Scala CI #495: Commit 8f8d334 pushed by rssh
October 1, 2023 08:17 7m 8s master
master
October 1, 2023 08:17 7m 8s
fixed bug with incorrect classification of function which return Not… Scala CI #494: Commit 189ed01 pushed by rssh
October 1, 2023 07:25 5m 37s master
master
October 1, 2023 07:25 5m 37s
added mentions of loom addoon to the docs Scala CI #493: Commit af03404 pushed by rssh
September 30, 2023 10:02 6m 14s master
master
September 30, 2023 10:02 6m 14s
added test file for using CpsRuntimeAwaitProvider in the compiler pl… Scala CI #492: Commit 8130018 pushed by rssh
September 29, 2023 11:18 5m 36s master
master
September 29, 2023 11:18 5m 36s
tested CpsRuntimeAwaitProvider usage with compiler plugin Scala CI #491: Commit a2c6dc5 pushed by rssh
September 29, 2023 08:49 6m 59s master
master
September 29, 2023 08:49 6m 59s