Skip to content

Actions: maxsnew/grammars-and-semantic-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disjointness constructions CI #74: Commit 0ede4ab pushed by stschaef
November 14, 2024 17:50 29m 28s main
main
November 14, 2024 17:50 29m 28s
fix label typo CI #73: Commit 5d27ea2 pushed by stschaef
November 12, 2024 19:53 30m 28s main
main
November 12, 2024 19:53 30m 28s
sync paper changes CI #72: Commit 9332e98 pushed by stschaef
November 8, 2024 06:39 29m 52s main
main
November 8, 2024 06:39 29m 52s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace … CI #71: Commit 0f878cc pushed by maxsnew
October 28, 2024 21:35 29m 27s main
main
October 28, 2024 21:35 29m 27s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #70: Pull request #28 synchronize by maxsnew
October 28, 2024 18:55 29m 30s monoidal-category
monoidal-category
October 28, 2024 18:55 29m 30s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #69: Pull request #28 synchronize by maxsnew
October 28, 2024 15:59 15m 21s monoidal-category
monoidal-category
October 28, 2024 15:59 15m 21s
isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence CI #68: Pull request #28 opened by maxsnew
October 26, 2024 05:26 15m 31s monoidal-category
monoidal-category
October 26, 2024 05:26 15m 31s
Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter… CI #67: Commit 4b67f97 pushed by maxsnew
October 23, 2024 14:14 8m 33s main
main
October 23, 2024 14:14 8m 33s
Port over to inductive strings. Generic determinsitic automata CI #66: Pull request #26 synchronize by maxsnew
October 23, 2024 13:47 8m 40s automata
automata
October 23, 2024 13:47 8m 40s
Port over to inductive strings. Generic determinsitic automata CI #65: Pull request #26 opened by stschaef
October 17, 2024 21:12 14m 45s automata
automata
October 17, 2024 21:12 14m 45s
Turing Machine definition (#23) CI #64: Commit a46eb9b pushed by maxsnew
October 8, 2024 18:14 20m 37s main
main
October 8, 2024 18:14 20m 37s
Turing Machine definition CI #63: Pull request #23 synchronize by maxsnew
October 8, 2024 18:02 20m 29s turingmachine
turingmachine
October 8, 2024 18:02 20m 29s
Determinization (#24) CI #62: Commit 7e76a4a pushed by maxsnew
October 8, 2024 16:56 19m 44s main
main
October 8, 2024 16:56 19m 44s
Determinization CI #61: Pull request #24 synchronize by maxsnew
October 8, 2024 16:39 19m 56s determinize-refactor
determinize-refactor
October 8, 2024 16:39 19m 56s
Determinization CI #60: Pull request #24 synchronize by maxsnew
October 8, 2024 15:50 16m 47s determinize-refactor
determinize-refactor
October 8, 2024 15:50 16m 47s
Determinization CI #59: Pull request #24 synchronize by maxsnew
October 8, 2024 15:24 17m 26s determinize-refactor
determinize-refactor
October 8, 2024 15:24 17m 26s
Determinization CI #58: Pull request #24 synchronize by maxsnew
October 8, 2024 15:02 17m 8s determinize-refactor
determinize-refactor
October 8, 2024 15:02 17m 8s
Determinization CI #57: Pull request #24 opened by stschaef
October 8, 2024 08:48 16m 54s determinize-refactor
determinize-refactor
October 8, 2024 08:48 16m 54s
Turing Machine definition CI #56: Pull request #23 opened by stschaef
October 8, 2024 08:40 16m 22s turingmachine
turingmachine
October 8, 2024 08:40 16m 22s
Generalize universe levels in Indexed Inductives, progress on Dyck pr… CI #55: Commit 402b72b pushed by maxsnew
October 4, 2024 22:46 19m 1s main
main
October 4, 2024 22:46 19m 1s
Generalize universe levels in Indexed Inductives, progress on Dyck proofs CI #54: Pull request #22 opened by maxsnew
October 4, 2024 22:46 18m 35s indexed-dyck
indexed-dyck
October 4, 2024 22:46 18m 35s
Unicode alphabet, subalphabets, and easier tests (#21) CI #53: Commit 75a0633 pushed by maxsnew
September 27, 2024 19:02 20m 23s main
main
September 27, 2024 19:02 20m 23s
Test cases via builtin strings, Ability to take a subalphabet CI #52: Pull request #21 synchronize by stschaef
September 27, 2024 16:51 20m 33s stress
stress
September 27, 2024 16:51 20m 33s
Test cases via builtin strings, Ability to take a subalphabet CI #51: Pull request #21 opened by stschaef
September 27, 2024 16:47 19m 36s stress
stress
September 27, 2024 16:47 19m 36s
Indexed grammars as a LFP of an endofunctor (#18) CI #50: Commit d127d1f pushed by stschaef
September 27, 2024 15:45 20m 6s main
main
September 27, 2024 15:45 20m 6s