Skip to content

Actions: logsem/gitrees

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

some wip Docker CI #163: Commit 606806c pushed by Kaptch
May 15, 2024 00:41 6m 43s delim_model_pure
delim_model_pure
May 15, 2024 00:41 6m 43s
some experiments with pure typing rules Docker CI #162: Commit d8916af pushed by Kaptch
May 14, 2024 14:03 6m 45s delim_model_pure
delim_model_pure
May 14, 2024 14:03 6m 45s
sem model init Docker CI #161: Commit e84cfd0 pushed by Kaptch
May 10, 2024 13:23 6m 28s delim_model
delim_model
May 10, 2024 13:23 6m 28s
Delimited continuations Docker CI #160: Pull request #3 opened by co-dan
April 9, 2024 14:38 11m 37s delim-cont
delim-cont
April 9, 2024 14:38 11m 37s
Typing rules Docker CI #159: Commit a275570 pushed by vecteurNabla
March 22, 2024 16:49 18m 20s delim-cont
delim-cont
March 22, 2024 16:49 18m 20s
docs Docker CI #158: Commit 8c44d79 pushed by Kaptch
March 8, 2024 14:34 11m 25s callcc-non-cps
callcc-non-cps
March 8, 2024 14:34 11m 25s
notes+type Docker CI #157: Commit 3bb78ba pushed by vecteurNabla
March 8, 2024 14:31 8m 6s delim-cont
delim-cont
March 8, 2024 14:31 8m 6s
wip type system Docker CI #156: Commit 8a71ff3 pushed by vecteurNabla
March 5, 2024 14:48 8m 7s delim-cont
delim-cont
March 5, 2024 14:48 8m 7s
new file in coqproject Docker CI #155: Commit add01c7 pushed by vecteurNabla
February 28, 2024 15:00 11m 32s delim-cont
delim-cont
February 28, 2024 15:00 11m 32s
Separate tactics file + cleanup Docker CI #154: Commit 2bf052b pushed by vecteurNabla
February 28, 2024 14:50 9m 8s delim-cont
delim-cont
February 28, 2024 14:50 9m 8s
put call/cc effects in a separate module Docker CI #153: Commit 6ce5299 pushed by co-dan
February 28, 2024 09:53 11m 26s main
main
February 28, 2024 09:53 11m 26s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #152: Commit af4b964 pushed by vecteurNabla
February 28, 2024 08:50 11m 22s delim-cont
delim-cont
February 28, 2024 08:50 11m 22s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #151: Commit af4b964 pushed by vecteurNabla
February 28, 2024 08:49 11m 10s callcc-non-cps
callcc-non-cps
February 28, 2024 08:49 11m 10s
Merge pull request #2 from logsem/callcc-non-cps Docker CI #150: Commit baf658c pushed by co-dan
February 27, 2024 13:19 11m 39s main
main
February 27, 2024 13:19 11m 39s
ctx-dependent effects Docker CI #149: Pull request #2 synchronize by co-dan
February 27, 2024 13:19 11m 32s callcc-non-cps
callcc-non-cps
February 27, 2024 13:19 11m 32s
final tweaks Docker CI #148: Commit cfb890a pushed by co-dan
February 27, 2024 13:19 11m 35s callcc-non-cps
callcc-non-cps
February 27, 2024 13:19 11m 35s
ctx-dependent effects Docker CI #147: Pull request #2 synchronize by co-dan
February 27, 2024 13:12 13m 21s callcc-non-cps
callcc-non-cps
February 27, 2024 13:12 13m 21s
factor out the IO tape effects Docker CI #146: Commit 15dc2a2 pushed by co-dan
February 27, 2024 13:12 11m 34s callcc-non-cps
callcc-non-cps
February 27, 2024 13:12 11m 34s
ctx-dependent effects Docker CI #145: Pull request #2 synchronize by co-dan
February 27, 2024 10:45 11m 18s callcc-non-cps
callcc-non-cps
February 27, 2024 10:45 11m 18s
get rid of later_car Docker CI #144: Commit aa9ae7a pushed by co-dan
February 27, 2024 10:45 11m 31s callcc-non-cps
callcc-non-cps
February 27, 2024 10:45 11m 31s
ctx-dependent effects Docker CI #143: Pull request #2 synchronize by co-dan
February 27, 2024 10:33 11m 25s callcc-non-cps
callcc-non-cps
February 27, 2024 10:33 11m 25s
rename input_lang_delim -> delim_lang Docker CI #142: Commit 195a7b0 pushed by co-dan
February 27, 2024 10:33 11m 25s callcc-non-cps
callcc-non-cps
February 27, 2024 10:33 11m 25s
ctx-dependent effects Docker CI #141: Pull request #2 synchronize by co-dan
February 27, 2024 10:17 11m 20s callcc-non-cps
callcc-non-cps
February 27, 2024 10:17 11m 20s
cleanup the branch and make is_ctx_dep implicit Docker CI #140: Commit 426db0a pushed by co-dan
February 27, 2024 10:17 11m 28s callcc-non-cps
callcc-non-cps
February 27, 2024 10:17 11m 28s
ctx-dependent effects Docker CI #139: Pull request #2 synchronize by vecteurNabla
February 27, 2024 09:17 11m 16s callcc-non-cps
callcc-non-cps
February 27, 2024 09:17 11m 16s