Skip to content

Actions: FormalLanguageConstrainedPathQuerying/CFPQ_PyAlgo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Turn transitive reduction on. Dockerized Test #60: Commit debb9d3 pushed by gsvgit
17m 13s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
17m 13s
Turn transitive reduction on. Test #146: Commit debb9d3 pushed by gsvgit
1m 57s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 57s
Remap vertices in order to reduce space for mamtrices. Not finished. Dockerized Test #59: Commit e4fdb21 pushed by gsvgit
18m 8s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
18m 8s
Remap vertices in order to reduce space for mamtrices. Not finished. Test #145: Commit e4fdb21 pushed by gsvgit
1m 59s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 59s
Add flag to run with burble. Dockerized Test #58: Commit 361e6c8 pushed by gsvgit
15m 43s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
15m 43s
Add flag to run with burble. Test #144: Commit 361e6c8 pushed by gsvgit
2m 5s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 5s
Automata generation parametrized with contexts depth. Test #143: Commit 76948de pushed by gsvgit
2m 0s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 0s
Automata generation parametrized with contexts depth. Dockerized Test #57: Commit 76948de pushed by gsvgit
16m 38s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 38s
Revert last changes. Dockerized Test #56: Commit 6796440 pushed by gsvgit
17m 8s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
17m 8s
Revert last changes. Test #142: Commit 6796440 pushed by gsvgit
2m 7s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 7s
Change order of parametrers in multiplication. Where diag filter shou… Test #141: Commit c2e288b pushed by gsvgit
1m 55s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 55s
Change order of parametrers in multiplication. Where diag filter shou… Dockerized Test #55: Commit c2e288b pushed by gsvgit
16m 22s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 22s
More entrypoints in transitive reduction. Test #140: Commit 3963497 pushed by gsvgit
1m 52s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 52s
More entrypoints in transitive reduction. Dockerized Test #54: Commit 3963497 pushed by gsvgit
16m 45s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 45s
Small optimizations. I hope. Test #139: Commit 27bcad4 pushed by gsvgit
1m 51s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 51s
Small optimizations. I hope. Dockerized Test #53: Commit 27bcad4 pushed by gsvgit
16m 43s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 43s
Small optimizations. I hope. Dockerized Test #52: Commit 38599a5 pushed by gsvgit
1m 0s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 0s
Small optimizations. I hope. Test #138: Commit 38599a5 pushed by gsvgit
53s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
53s
Return structure of postprocessing back. Dockerized Test #51: Commit c4ecc98 pushed by gsvgit
16m 27s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 27s
Return structure of postprocessing back. Test #137: Commit c4ecc98 pushed by gsvgit
1m 59s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 59s
Return structure of postprocessing back. Dockerized Test #50: Commit d3a4936 pushed by gsvgit
16m 41s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 41s
Return structure of postprocessing back. Test #136: Commit d3a4936 pushed by gsvgit
2m 4s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
2m 4s
Reduce number of entrypoints in transitive reduction. Dockerized Test #49: Commit 06e7487 pushed by gsvgit
16m 44s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 44s
Reduce number of entrypoints in transitive reduction. Test #135: Commit 06e7487 pushed by gsvgit
1m 54s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
1m 54s
Yet another version of transitive reduction. Dockerized Test #48: Commit 13f9cf7 pushed by gsvgit
16m 14s gsv/kron_for_contexts_in_matrix_cfl
gsv/kron_for_contexts_in_matrix_cfl
16m 14s