Skip to content

Actions: qed-solver/parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 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
Update README.md Test Code Generation #83: Commit 4d4cb4c pushed by WKaiZ
1m 38s dsl
dsl
1m 38s
Update README.md Test Provability #83: Commit 4d4cb4c pushed by WKaiZ
2m 59s dsl
dsl
2m 59s
Update README.md Test Provability #82: Commit 464b77c pushed by WKaiZ
2m 43s dsl
dsl
2m 43s
Update README.md Test Code Generation #82: Commit 464b77c pushed by WKaiZ
1m 47s dsl
dsl
1m 47s
Generalizing the Cockroach Generator Test Code Generation #81: Commit 1756b34 pushed by WKaiZ
1m 56s dsl
dsl
1m 56s
Generalizing the Cockroach Generator Test Provability #81: Commit 1756b34 pushed by WKaiZ
2m 39s dsl
dsl
2m 39s
comment out unnecessary parts in CockroachTester.java Test Provability #80: Commit 14e5820 pushed by zengzirong
2m 56s dsl
dsl
2m 56s
comment out unnecessary parts in CockroachTester.java Test Code Generation #80: Commit 14e5820 pushed by zengzirong
1m 43s dsl
dsl
1m 43s
update code generators Test Provability #79: Commit 7f3e64e pushed by zengzirong
2m 54s dsl
dsl
2m 54s
update code generators Test Code Generation #79: Commit 7f3e64e pushed by zengzirong
1m 41s dsl
dsl
1m 41s
remove unnecessary comments Test Code Generation #78: Commit 0a22632 pushed by zengzirong
1m 45s dsl
dsl
1m 45s
remove unnecessary comments Test Provability #78: Commit 0a22632 pushed by zengzirong
2m 51s dsl
dsl
2m 51s
add calcite tests and update calcite generator Test Code Generation #77: Commit 79b8791 pushed by zengzirong
1m 45s dsl
dsl
1m 45s
add calcite tests and update calcite generator Test Provability #77: Commit 79b8791 pushed by zengzirong
2m 50s dsl
dsl
2m 50s
updated CockroachTests Test Provability #76: Commit 83b21f0 pushed by zengzirong
2m 51s dsl
dsl
2m 51s
updated CockroachTests Test Code Generation #76: Commit 83b21f0 pushed by zengzirong
1m 18s dsl
dsl
1m 18s
Refactoring Test Code Generation #75: Commit f563638 pushed by WKaiZ
1m 22s dsl
dsl
1m 22s
Refactoring Test Provability #75: Commit f563638 pushed by WKaiZ
2m 49s dsl
dsl
2m 49s
Final Set of Rules + Helper Funcs Test Code Generation #71: Commit 0bfc387 pushed by WKaiZ
1m 36s dsl
dsl
1m 36s
Final Set of Rules + Helper Funcs Test Provability #71: Commit 0bfc387 pushed by WKaiZ
3m 4s dsl
dsl
3m 4s
rules Test Code Generation #70: Commit 6c1cd4b pushed by WKaiZ
1m 29s dsl
dsl
1m 29s
rules Test Provability #70: Commit 6c1cd4b pushed by WKaiZ
3m 13s dsl
dsl
3m 13s
generalized JoinConditionPush Test Provability #69: Commit db8a299 pushed by zengzirong
4m 35s dsl
dsl
4m 35s
generalized JoinConditionPush Test Code Generation #69: Commit db8a299 pushed by zengzirong
1m 23s dsl
dsl
1m 23s
Genearlize the Remaining Rules and Add Logic Test Provability #68: Commit a78f03f pushed by WKaiZ
3m 5s dsl
dsl
3m 5s