Skip to content

Actions: qed-solver/parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 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
Adding Prune Rules and Updating pom.xml Test Provability #27: Pull request #19 opened by WKaiZ
17s dsl
dsl
17s
Adding Prune Rules and Updating pom.xml Test Code Generation #27: Pull request #19 opened by WKaiZ
18s dsl
dsl
18s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Provability #26: Pull request #18 synchronize by WKaiZ
3m 27s dsl
dsl
3m 27s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #26: Pull request #18 synchronize by WKaiZ
59s dsl
dsl
59s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #25: Pull request #18 synchronize by WKaiZ
1m 0s dsl
dsl
1m 0s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Provability #25: Pull request #18 synchronize by WKaiZ
2m 32s dsl
dsl
2m 32s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #24: Pull request #18 synchronize by WKaiZ
1m 6s dsl
dsl
1m 6s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Provability #24: Pull request #18 synchronize by WKaiZ
2m 26s dsl
dsl
2m 26s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Provability #23: Pull request #18 opened by WKaiZ
2m 32s dsl
dsl
2m 32s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #23: Pull request #18 opened by WKaiZ
1m 0s dsl
dsl
1m 0s
Fixed JoinCommute (#17) Test Provability #22: Commit 3844e90 pushed by joyemang33
2m 34s dsl
dsl
2m 34s
Fixed JoinCommute (#17) Test Code Generation #22: Commit 3844e90 pushed by joyemang33
59s dsl
dsl
59s
Fixed JoinCommute Test Provability #21: Pull request #17 opened by zengzirong
3m 17s zengzirong:zzr
zengzirong:zzr
3m 17s
Fixed JoinCommute Test Code Generation #21: Pull request #17 opened by zengzirong
55s zengzirong:zzr
zengzirong:zzr
55s
added minus operator and generated code for MinusMerge (#16) Test Code Generation #20: Commit 3837421 pushed by joyemang33
56s dsl
dsl
56s
added minus operator and generated code for MinusMerge (#16) Test Provability #20: Commit 3837421 pushed by joyemang33
2m 20s dsl
dsl
2m 20s
added minus operator and generated code for MinusMerge Test Provability #19: Pull request #16 synchronize by yushinliang
2m 24s yushinliang:dsl
yushinliang:dsl
2m 24s
added minus operator and generated code for MinusMerge Test Code Generation #19: Pull request #16 synchronize by yushinliang
58s yushinliang:dsl
yushinliang:dsl
58s
added minus operator and generated code for MinusMerge Test Provability #18: Pull request #16 synchronize by yushinliang
2m 22s yushinliang:dsl
yushinliang:dsl
2m 22s
added minus operator and generated code for MinusMerge Test Code Generation #18: Pull request #16 synchronize by yushinliang
1m 5s yushinliang:dsl
yushinliang:dsl
1m 5s
added minus operator and generated code for MinusMerge Test Provability #17: Pull request #16 synchronize by yushinliang
1m 30s yushinliang:dsl
yushinliang:dsl
1m 30s
added minus operator and generated code for MinusMerge Test Code Generation #17: Pull request #16 synchronize by yushinliang
58s yushinliang:dsl
yushinliang:dsl
58s
Merge pull request #15 from WKaiZ/dsl Test Code Generation #16: Commit 67c5536 pushed by WKaiZ
1m 30s dsl
dsl
1m 30s
Merge pull request #15 from WKaiZ/dsl Test Provability #16: Commit 67c5536 pushed by WKaiZ
3m 25s dsl
dsl
3m 25s
[Testing] Adding Prune Rules Test Provability #15: Pull request #15 synchronize by WKaiZ
2m 27s dsl
dsl
2m 27s