Skip to content

Actions: FormalLanguageConstrainedPathQuerying/UCFS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove logger Build project #181: Commit a22e1fb pushed by ProALgebra
1m 53s fix_inside_solver
fix_inside_solver
1m 53s
add assert on regenerate Build project #180: Commit ed36225 pushed by ProALgebra
2m 42s test-fix
test-fix
2m 42s
add assert on regenerate Build project #179: Commit ed36225 pushed by bachish
2m 31s bachish/tree-correctness
bachish/tree-correctness
2m 31s
Pretty refactoring Build project #178: Commit c57477d pushed by bachish
1m 50s bachish/tree-correctness
bachish/tree-correctness
1m 50s
Add fictive start nonterminal (#37) Build project #177: Commit 5bf1a5a pushed by bachish
1m 41s cf_solver
cf_solver
1m 41s
Merge branch 'cf_solver' into bachish/tree-correctness Build project #176: Commit 0b47bc4 pushed by bachish
1m 50s bachish/tree-correctness
bachish/tree-correctness
1m 50s
Add fictive nonterminal Build project #175: Commit 9d61b27 pushed by bachish
1m 48s bachish/tree-correctness
bachish/tree-correctness
1m 48s
Fix recursive case + more tests (#36) Build project #174: Commit 3c6725b pushed by bachish
2m 0s cf_solver
cf_solver
2m 0s
remove duplicated test Build project #173: Commit eea6e3a pushed by bachish
1m 49s bachish/tree-correctness
bachish/tree-correctness
1m 49s
Merge branch 'cf_solver' into bachish/tree-correctness Build project #172: Commit 41f1732 pushed by bachish
1m 54s bachish/tree-correctness
bachish/tree-correctness
1m 54s
remove duplication Build project #171: Commit 114145b pushed by bachish
1m 38s bachish/tree-correctness
bachish/tree-correctness
1m 38s
Add API for any dot input with strings on edges (#35) Build project #170: Commit 1e539a0 pushed by bachish
1m 52s cf_solver
cf_solver
1m 52s
Refactor GLL algorithm. Add base correctness tests Build project #169: Commit 3ba3284 pushed by bachish
1m 54s bachish/tree-correctness
bachish/tree-correctness
1m 54s
Refactor GLL algorithm Build project #168: Commit 7316694 pushed by bachish
1m 51s bachish/tree-correctness
bachish/tree-correctness
1m 51s
Add API for any dot input with strings on edges Build project #167: Commit 6b0462a pushed by bachish
2m 17s bachish/tree-correctness
bachish/tree-correctness
2m 17s
smth is changed Build project #166: Commit 75eb9b4 pushed by bachish
1m 43s bachish/tree-building
bachish/tree-building
1m 43s
Update benchmarks system (#31) Build project #165: Commit a4643af pushed by bachish
2m 40s bachish/tree-building
bachish/tree-building
2m 40s
Update benchmarks system (#31) Build project #164: Commit a4643af pushed by bachish
2m 44s cf_solver
cf_solver
2m 44s
update tests running Build project #163: Commit 1e521c6 pushed by bachish
2m 47s bachish/new_benchmarks
bachish/new_benchmarks
2m 47s
update script Build project #162: Commit f1cb7d3 pushed by bachish
2m 36s bachish/new_benchmarks
bachish/new_benchmarks
2m 36s
cosmetic Build project #161: Commit 604e4ea pushed by bachish
2m 29s bachish/new_benchmarks
bachish/new_benchmarks
2m 29s
update ci Build project #160: Commit 0ea5cb4 pushed by bachish
3m 31s bachish/new_benchmarks
bachish/new_benchmarks
3m 31s
update gitignore Build project #159: Commit 6164c6b pushed by bachish
59s bachish/new_benchmarks
bachish/new_benchmarks
59s