Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature Algebra and FSTs Check the Agda files #101: Pull request #26 synchronize by pmbittner
April 5, 2024 20:31 2m 16s feature-algebra
feature-algebra
April 5, 2024 20:31 2m 16s
Feature Algebra and FSTs Check the Agda files #100: Pull request #26 opened by pmbittner
April 5, 2024 20:07 2m 14s feature-algebra
feature-algebra
April 5, 2024 20:07 2m 14s
Merge pull request #25 from pmbittner/String-diagonalization Check the Agda files #99: Commit ec0701a pushed by pmbittner
April 5, 2024 19:20 3m 51s develop
develop
April 5, 2024 19:20 3m 51s
Provide an example for an injection String × ℕ → String Check the Agda files #98: Pull request #25 synchronize by ibbem
April 5, 2024 19:13 2m 18s String-diagonalization
String-diagonalization
April 5, 2024 19:13 2m 18s
chore: update Agda install instructions Check the Agda files #97: Commit a076a6f pushed by AlexanderSchultheiss
April 5, 2024 13:01 2m 17s develop
develop
April 5, 2024 13:01 2m 17s
chore: exchange references to POPL with references to OOPSLA Check the Agda files #96: Commit 8222da8 pushed by AlexanderSchultheiss
April 5, 2024 12:44 2m 13s develop
develop
April 5, 2024 12:44 2m 13s
Provide an example for an injection String × ℕ → String Check the Agda files #95: Pull request #25 opened by ibbem
April 4, 2024 21:49 2m 14s String-diagonalization
String-diagonalization
April 4, 2024 21:49 2m 14s
Merge pull request #24 from pmbittner/DecidableEquality-artifacts Check the Agda files #94: Commit b121292 pushed by pmbittner
April 4, 2024 18:51 2m 14s develop
develop
April 4, 2024 18:51 2m 14s
Require DecidableEquality for artifacts Check the Agda files #93: Pull request #24 synchronize by ibbem
April 4, 2024 18:19 2m 12s DecidableEquality-artifacts
DecidableEquality-artifacts
April 4, 2024 18:19 2m 12s
Merge pull request #23 from pmbittner/language-map Check the Agda files #92: Commit e038a86 pushed by pmbittner
April 4, 2024 18:06 2m 19s develop
develop
April 4, 2024 18:06 2m 19s
Require DecidableEquality for artifacts Check the Agda files #91: Pull request #24 opened by ibbem
April 4, 2024 18:04 12m 50s DecidableEquality-artifacts
DecidableEquality-artifacts
April 4, 2024 18:04 12m 50s
Fill the language map Check the Agda files #90: Pull request #23 synchronize by ibbem
April 4, 2024 13:55 3m 17s language-map
language-map
April 4, 2024 13:55 3m 17s
Fill the language map Check the Agda files #89: Pull request #23 opened by ibbem
April 3, 2024 19:43 2m 25s language-map
language-map
April 3, 2024 19:43 2m 25s
Remove obsolete TODO file Check the Agda files #88: Commit 7546ef2 pushed by ibbem
April 3, 2024 09:23 2m 14s develop
develop
April 3, 2024 09:23 2m 14s
greatly simplify soundness proof for variantlist Check the Agda files #87: Commit 9d20a6d pushed by pmbittner
March 29, 2024 17:34 2m 8s develop
develop
March 29, 2024 17:34 2m 8s
beautification on vlist soundness proof Check the Agda files #86: Commit cb69c14 pushed by pmbittner
March 29, 2024 17:08 2m 8s develop
develop
March 29, 2024 17:08 2m 8s
refactor: more renamings for readab. in Transitive Check the Agda files #85: Commit 842d305 pushed by pmbittner
March 28, 2024 10:51 12m 27s develop
develop
March 28, 2024 10:51 12m 27s
proof that we cannot compile 2CC to OC Check the Agda files #84: Commit 63cb116 pushed by pmbittner
March 18, 2024 17:18 2m 14s develop
develop
March 18, 2024 17:18 2m 14s
Merge pull request #21 from pmbittner/loop-refactoring Check the Agda files #83: Commit c92e731 pushed by pmbittner
March 18, 2024 08:41 1m 59s develop
develop
March 18, 2024 08:41 1m 59s
Merge pull request #22 from pmbittner/2ADT-to-NADT-to-CCC Check the Agda files #82: Commit 019e675 pushed by pmbittner
March 18, 2024 08:41 1m 59s develop
develop
March 18, 2024 08:41 1m 59s
Compile 2ADT to NADT and NADT to CCC Check the Agda files #81: Pull request #22 synchronize by pmbittner
March 18, 2024 08:38 1m 59s 2ADT-to-NADT-to-CCC
2ADT-to-NADT-to-CCC
March 18, 2024 08:38 1m 59s
Compile 2ADT to NADT and NADT to CCC Check the Agda files #80: Pull request #22 synchronize by ibbem
March 17, 2024 17:33 2m 12s 2ADT-to-NADT-to-CCC
2ADT-to-NADT-to-CCC
March 17, 2024 17:33 2m 12s
Compile 2ADT to NADT and NADT to CCC Check the Agda files #79: Pull request #22 synchronize by ibbem
March 14, 2024 19:01 2m 3s 2ADT-to-NADT-to-CCC
2ADT-to-NADT-to-CCC
March 14, 2024 19:01 2m 3s
Compile 2ADT to NADT and NADT to CCC Check the Agda files #78: Pull request #22 synchronize by ibbem
March 14, 2024 13:29 2m 7s 2ADT-to-NADT-to-CCC
2ADT-to-NADT-to-CCC
March 14, 2024 13:29 2m 7s
Compile 2ADT to NADT and NADT to CCC Check the Agda files #77: Pull request #22 opened by ibbem
March 14, 2024 13:01 2m 9s 2ADT-to-NADT-to-CCC
2ADT-to-NADT-to-CCC
March 14, 2024 13:01 2m 9s