Skip to content

Actions: qed-solver/parser

Actions

Test Provability

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
46 workflow runs
46 workflow runs

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 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
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
update code generators Test Provability #79: Commit 7f3e64e pushed by zengzirong
2m 54s dsl
dsl
2m 54s
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 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
Refactoring Test Provability #75: Commit f563638 pushed by WKaiZ
2m 49s dsl
dsl
2m 49s
Final Set of Rules + Helper Funcs Test Provability #71: Commit 0bfc387 pushed by WKaiZ
3m 4s dsl
dsl
3m 4s
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
Genearlize the Remaining Rules and Add Logic Test Provability #68: Commit a78f03f pushed by WKaiZ
3m 5s dsl
dsl
3m 5s
Revert "Adding Generalized Rule" Test Provability #67: Commit d9fdce8 pushed by WKaiZ
2m 55s dsl
dsl
2m 55s
Adding Generalized Rule Test Provability #66: Commit e7c99cf pushed by WKaiZ
19s dsl
dsl
19s
Merge pull request #33 from qed-solver/dsl-test Test Provability #65: Commit 4e6ed82 pushed by WKaiZ
4m 25s dsl
dsl
4m 25s
Dsl test Test Provability #64: Pull request #33 synchronize by WKaiZ
3m 24s dsl-test
dsl-test
3m 24s
Merge branch 'dsl' into dsl-test Test Provability #63: Commit 400ef9c pushed by WKaiZ
3m 16s dsl-test
dsl-test
3m 16s
Fix Test Provability #62: Commit 4672a3f pushed by WKaiZ
3m 16s dsl-test
dsl-test
3m 16s
Second Last Batch of Rules Test Provability #61: Commit a25f15a pushed by WKaiZ
16s dsl-test
dsl-test
16s
Correction Test Provability #60: Commit 83bf35e pushed by WKaiZ
3m 42s dsl
dsl
3m 42s
Fixing Test Provability #59: Commit 3e16ff1 pushed by WKaiZ
3m 15s dsl-test
dsl-test
3m 15s
Merge pull request #31 from qed-solver/dsl-test Test Provability #58: Commit 349dfdb pushed by WKaiZ
3m 18s dsl
dsl
3m 18s
Refactor Code, Add CockroachDB Tester and Generator Test Provability #57: Pull request #31 synchronize by WKaiZ
5m 1s dsl-test
dsl-test
5m 1s
Fixing Test Provability #56: Commit 3e16ff1 pushed by WKaiZ
4m 48s dsl-test
dsl-test
4m 48s