Skip to content

Actions: verse-lab/loom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bound range forIn step condition to in-range indices Lean Action CI #51: Pull request #33 opened by namin
Action required namin:bounded-range-step
namin:bounded-range-step
Action required
fix: use List.flatMap without @[specialize] to reduce code bloating Lean Action CI #50: Commit 5dabf9f pushed by zqy1018
2m 39s temp-extract-list-v4.27.0-for-veil
temp-extract-list-v4.27.0-for-veil
2m 39s
Adding a README about Velvet moving to the new repo Lean Action CI #49: Commit 78928ab pushed by ilyasergey
6m 19s master
master
6m 19s
Remove velvet (#43) Lean Action CI #48: Commit d103408 pushed by volodeyka
6m 32s master
master
6m 32s
fix: use List.flatMap without @[specialize] to reduce code bloating Lean Action CI #46: Commit 0d3b54a pushed by zqy1018
6m 32s extract-list-v4.25.2-experimental
extract-list-v4.25.2-experimental
6m 32s
bump to Lean v4.27.0 while only upgrading those necessary for Veil Lean Action CI #45: Commit 37fe563 pushed by zqy1018
2m 33s temp-extract-list-v4.27.0-for-veil
temp-extract-list-v4.27.0-for-veil
2m 33s
reorganize the multi-extraction stuff Lean Action CI #44: Commit 48d2f74 pushed by zqy1018
6m 8s extract-list-v4.25.2
extract-list-v4.25.2
6m 8s
renaming Lean Action CI #43: Commit 0cb1c10 pushed by ilyasergey
9m 31s popl-tutorial
popl-tutorial
9m 31s
adding more comments Lean Action CI #42: Commit 63975f7 pushed by ilyasergey
10m 37s popl-tutorial
popl-tutorial
10m 37s
polish Lean Action CI #40: Commit 1ca094c pushed by volodeyka
9m 49s popl-tutorial
popl-tutorial
9m 49s
polish Lean Action CI #39: Commit fe82430 pushed by volodeyka
10m 9s popl-tutorial
popl-tutorial
10m 9s
cleanup Lean Action CI #38: Commit 9234224 pushed by ilyasergey
9m 52s popl-tutorial
popl-tutorial
9m 52s
cleanup Lean Action CI #37: Commit 933c4b2 pushed by ilyasergey
10m 4s popl-tutorial
popl-tutorial
10m 4s
polish Lean Action CI #36: Commit a853744 pushed by volodeyka
9m 48s popl-tutorial
popl-tutorial
9m 48s
add non-determenism Lean Action CI #35: Commit 918004d pushed by volodeyka
9m 52s popl-tutorial
popl-tutorial
9m 52s
add non-determenism Lean Action CI #34: Commit 309c205 pushed by volodeyka
9m 56s popl-tutorial
popl-tutorial
9m 56s
add non-determenism Lean Action CI #33: Commit 02dbec9 pushed by volodeyka
10m 12s popl-tutorial
popl-tutorial
10m 12s
add non-determenism Lean Action CI #32: Commit 7b88541 pushed by volodeyka
9m 43s popl-tutorial
popl-tutorial
9m 43s
polish Lean Action CI #31: Commit 3060109 pushed by volodeyka
9m 59s popl-tutorial
popl-tutorial
9m 59s
delete onethird example Lean Action CI #30: Commit b49e548 pushed by volodeyka
10m 31s popl-tutorial
popl-tutorial
10m 31s
bump to Lean v4.23.0; small clean up; fix some Lean Action CI #28: Commit de0c1ff pushed by dranov
6m 29s extract-list-v4.25.2
extract-list-v4.25.2
6m 29s
Automating Decidable Instance Synthesis (#36) Lean Action CI #27: Commit 2c7dbe7 pushed by dranov
9m 51s master
master
9m 51s
remove comments Lean Action CI #26: Commit 4c68d3c pushed by volodeyka
9m 30s master
master
9m 30s
feat: auto-install z3 and cvc5 (use them via loom_smt tactic) (#28) Lean Action CI #25: Commit 8d1f612 pushed by volodeyka
6m 58s master
master
6m 58s
Add Example from VeHa competition (#26) Lean Action CI #24: Commit 0ce3364 pushed by volodeyka
1m 52s master
master
1m 52s