Skip to content

Actions: sireum/slang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewriting system. CI #386: Commit 6348cad pushed by robby-phd
February 9, 2024 22:59 11m 49s master
master
February 9, 2024 22:59 11m 49s
Rewriting system. CI #385: Commit 5dc53f9 pushed by robby-phd
February 9, 2024 22:41 13m 33s master
master
February 9, 2024 22:41 13m 33s
Rewriting system. CI #384: Commit b0e15e9 pushed by robby-phd
February 9, 2024 22:07 6m 58s master
master
February 9, 2024 22:07 6m 58s
Rewriting system. CI #383: Commit 62eab4c pushed by robby-phd
February 9, 2024 18:37 6m 55s master
master
February 9, 2024 18:37 6m 55s
Rewriting system. CI #382: Commit 22537d8 pushed by robby-phd
February 9, 2024 15:10 12m 9s master
master
February 9, 2024 15:10 12m 9s
Changed RS as @ext trait. Added ~RS(...). CI #381: Commit 4d27c98 pushed by robby-phd
February 9, 2024 14:29 13m 45s master
master
February 9, 2024 14:29 13m 45s
Added B.=>:. CI #380: Commit 79ae58a pushed by robby-phd
February 8, 2024 19:52 14m 31s master
master
February 8, 2024 19:52 14m 31s
Added more core exp types. CI #379: Commit 3e5a299 pushed by robby-phd
February 8, 2024 15:21 10m 33s master
master
February 8, 2024 15:21 10m 33s
Refactored CoreExpUtil to RewritingSystem in logika. CI #378: Commit dfc90aa pushed by robby-phd
February 7, 2024 23:27 13m 14s master
master
February 7, 2024 23:27 13m 14s
Allowed @rw val not to be explicitly typed. CI #377: Commit 692baf6 pushed by robby-phd
February 7, 2024 19:52 40m 58s master
master
February 7, 2024 19:52 40m 58s
Added rewriting set definition and definitional/abstract strictpure m… CI #376: Commit b18bb5c pushed by robby-phd
February 7, 2024 19:36 9m 7s master
master
February 7, 2024 19:36 9m 7s
Checkpointing core exp. CI #375: Commit 453cc6d pushed by robby-phd
February 7, 2024 14:28 13m 28s master
master
February 7, 2024 14:28 13m 28s
Checkpointing core exp. CI #374: Commit 1435a3b pushed by robby-phd
February 6, 2024 22:41 12m 56s master
master
February 6, 2024 22:41 12m 56s
Checkpointing core exp. CI #373: Commit bb7f122 pushed by robby-phd
February 6, 2024 20:00 6m 56s master
master
February 6, 2024 20:00 6m 56s
Fixed typo. CI #372: Commit 2bb7e05 pushed by robby-phd
February 6, 2024 17:18 11m 13s master
master
February 6, 2024 17:18 11m 13s
Initial working core exp unification algorithm. CI #371: Commit 10cf60d pushed by robby-phd
February 6, 2024 17:18 14m 56s master
master
February 6, 2024 17:18 14m 56s
Checkpointing core exp. CI #370: Commit d40f3cb pushed by robby-phd
February 6, 2024 15:41 11m 37s master
master
February 6, 2024 15:41 11m 37s
Checkpointing core exp. CI #369: Commit 3b208de pushed by robby-phd
February 6, 2024 14:07 12m 28s master
master
February 6, 2024 14:07 12m 28s
Checkpointing core exp. CI #368: Commit a7b95f1 pushed by robby-phd
February 5, 2024 20:39 7m 52s master
master
February 5, 2024 20:39 7m 52s
Checkpointing core exp. CI #367: Commit aa76af9 pushed by robby-phd
February 5, 2024 20:24 9m 52s master
master
February 5, 2024 20:24 9m 52s
Checkpointing core exp. CI #366: Commit 60ac88a pushed by robby-phd
February 5, 2024 16:00 7m 15s master
master
February 5, 2024 16:00 7m 15s
Core exp checkpointing. CI #365: Commit 1b82d3d pushed by robby-phd
February 2, 2024 15:36 12m 59s master
master
February 2, 2024 15:36 12m 59s
Core exp checkpointing. CI #364: Commit 8be7826 pushed by robby-phd
February 1, 2024 20:56 11m 7s master
master
February 1, 2024 20:56 11m 7s
Fixed type info in match and if statements. CI #363: Commit adfde4f pushed by robby-phd
February 1, 2024 20:51 14m 18s master
master
February 1, 2024 20:51 14m 18s
Core exp checkpointing. CI #362: Commit e07cdec pushed by robby-phd
February 1, 2024 18:19 7m 13s master
master
February 1, 2024 18:19 7m 13s