Skip to content

Actions: FormalLanguageConstrainedPathQuerying/CFPQ_PyAlgo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Yet another attempt to implement transitive reduction. Test #133: Commit c1dbf81 pushed by gsvgit
1m 49s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 49s
Yet another attempt to implement transitive reduction. Dockerized Test #47: Commit c1dbf81 pushed by gsvgit
16m 58s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 58s
Replace LAND with ANY in reachable calculation. Test #132: Commit bb14ad2 pushed by gsvgit
1m 56s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 56s
Replace LAND with ANY in reachable calculation. Dockerized Test #46: Commit bb14ad2 pushed by gsvgit
16m 6s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 6s
[EVALUATION] Automata for depth 1. Dockerized Test #45: Commit 5b16c8d pushed by gsvgit
17m 2s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
17m 2s
[EVALUATION] Automata for depth 1. Test #131: Commit 5b16c8d pushed by gsvgit
1m 57s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 57s
More filters in transitive reduction. Dockerized Test #44: Commit e7bd35d pushed by gsvgit
17m 20s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
17m 20s
More filters in transitive reduction. Test #130: Commit e7bd35d pushed by gsvgit
1m 50s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 50s
Total counter in transitive reduction. Dockerized Test #43: Commit 706de69 pushed by gsvgit
16m 15s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 15s
Total counter in transitive reduction. Test #129: Commit 706de69 pushed by gsvgit
1m 52s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 52s
New version of transitive reduction. Dockerized Test #42: Commit e69b718 pushed by gsvgit
16m 58s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 58s
New version of transitive reduction. Test #128: Commit e69b718 pushed by gsvgit
2m 4s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 4s
Turn transitive reduction off. Test #127: Commit 1c5013f pushed by gsvgit
1m 54s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 54s
Turn transitive reduction off. Dockerized Test #41: Commit 1c5013f pushed by gsvgit
16m 33s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 33s
Turn transitive reduction on. From all start states, not entrypoints. Dockerized Test #40: Commit 95cc8fd pushed by gsvgit
16m 43s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 43s
Turn transitive reduction on. From all start states, not entrypoints. Test #126: Commit 95cc8fd pushed by gsvgit
2m 3s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 3s
Missed argument. Dockerized Test #39: Commit 6b0c667 pushed by gsvgit
16m 58s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 58s
Missed argument. Test #125: Commit 6b0c667 pushed by gsvgit
1m 54s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 54s
More logging for evaluation. Test #124: Commit 36973cd pushed by gsvgit
1m 49s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 49s
More logging for evaluation. Dockerized Test #38: Commit 36973cd pushed by gsvgit
16m 14s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 14s
[DEBUG] Turn transitive reduction off. Dockerized Test #37: Commit 2584656 pushed by gsvgit
16m 17s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 17s
[DEBUG] Turn transitive reduction off. Test #123: Commit 2584656 pushed by gsvgit
1m 59s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 59s
Tyrn entrypoints calculation off. Fore debug. Test #122: Commit a79ced2 pushed by gsvgit
1m 50s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 50s
Tyrn entrypoints calculation off. Fore debug. Dockerized Test #36: Commit a79ced2 pushed by gsvgit
16m 21s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 21s
Reorder decomposiotion in attempt to redice memory consumption. Test #121: Commit d8abe05 pushed by gsvgit
1m 49s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 49s