Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,985 workflow runs
3,985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #628 from egraphs-good/proofs Test #3988: Commit c07234f pushed by oflatt
August 9, 2024 22:20 9m 52s main
main
August 9, 2024 22:20 9m 52s
Mechanized semantics and proofs Test #3987: Pull request #628 opened by rtjoa
August 9, 2024 20:18 9m 45s proofs
proofs
August 9, 2024 20:18 9m 45s
add proofs Test #3986: Commit b3c8665 pushed by rtjoa
August 9, 2024 20:09 9m 55s proofs
proofs
August 9, 2024 20:09 9m 55s
Using loop-inversion to optimizes translation overhead for while loops Test #3985: Pull request #617 synchronize by yihozhang
August 6, 2024 19:49 3h 44m 12s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
August 6, 2024 19:49 3h 44m 12s
Merge branch 'main' into yihozhang-ivt-dag-in-context Test #3984: Commit 43e18ea pushed by yihozhang
August 6, 2024 19:49 3h 43m 47s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
August 6, 2024 19:49 3h 43m 47s
Add O1 and O2 support for llvm comparison Test #3983: Pull request #627 opened by oflatt
August 6, 2024 17:35 8m 54s oflatt-o1-o2
oflatt-o1-o2
August 6, 2024 17:35 8m 54s
add O0 O1 O2 O3 support for llvm Test #3982: Commit 853f33c pushed by oflatt
August 6, 2024 16:44 8m 54s oflatt-o1-o2
oflatt-o1-o2
August 6, 2024 16:44 8m 54s
Merge pull request #626 from egraphs-good/oflatt-rename-run-mode2 Test #3981: Commit 49c505e pushed by oflatt
August 6, 2024 16:14 9m 56s main
main
August 6, 2024 16:14 9m 56s
Rename to RunMode, since I keep confusing everyone Test #3980: Pull request #626 opened by oflatt
August 6, 2024 02:28 9m 49s oflatt-rename-run-mode2
oflatt-rename-run-mode2
August 6, 2024 02:28 9m 49s
rename to RunMode Test #3979: Commit 596dd66 pushed by oflatt
August 6, 2024 02:27 9m 35s oflatt-rename-run-mode2
oflatt-rename-run-mode2
August 6, 2024 02:27 9m 35s
Merge pull request #625 from clyben/licm_test Test #3978: Commit 4d5bdac pushed by oflatt
August 6, 2024 02:04 13m 7s main
main
August 6, 2024 02:04 13m 7s
Fix Loop Invariant Code Motion Test #3977: Pull request #625 synchronize by clyben
June 28, 2024 20:58 9m 56s clyben:licm_test
clyben:licm_test
June 28, 2024 20:58 9m 56s
Fix Loop Invariant Code Motion Test #3976: Pull request #625 synchronize by clyben
June 28, 2024 20:42 9m 45s clyben:licm_test
clyben:licm_test
June 28, 2024 20:42 9m 45s
Fix Loop Invariant Code Motion Test #3975: Pull request #625 synchronize by clyben
June 28, 2024 20:19 8m 58s clyben:licm_test
clyben:licm_test
June 28, 2024 20:19 8m 58s
Fix Loop Invariant Code Motion Test #3974: Pull request #625 synchronize by clyben
June 26, 2024 23:01 8m 34s clyben:licm_test
clyben:licm_test
June 26, 2024 23:01 8m 34s
Fix Loop Invariant Code Motion Test #3973: Pull request #625 opened by clyben
June 26, 2024 00:12 8m 50s clyben:licm_test
clyben:licm_test
June 26, 2024 00:12 8m 50s
Merge pull request #554 from clyben/prettyprint Test #3972: Commit b919186 pushed by yihozhang
June 20, 2024 04:41 9m 42s main
main
June 20, 2024 04:41 9m 42s
Prettyprinter Test #3971: Pull request #554 synchronize by clyben
June 18, 2024 22:28 9m 34s clyben:prettyprint
clyben:prettyprint
June 18, 2024 22:28 9m 34s
Prettyprinter Test #3970: Pull request #554 synchronize by clyben
June 18, 2024 22:09 9m 43s clyben:prettyprint
clyben:prettyprint
June 18, 2024 22:09 9m 43s
Merge pull request #624 from egraphs-good/ajpal-nightly Test #3969: Commit cf0807b pushed by ajpal
June 13, 2024 01:29 9m 34s main
main
June 13, 2024 01:29 9m 34s
[Nightly] Small fixes Test #3968: Pull request #624 opened by ajpal
June 12, 2024 04:16 9m 53s ajpal-nightly
ajpal-nightly
June 12, 2024 04:16 9m 53s
prettier Test #3967: Commit 992680c pushed by ajpal
June 12, 2024 04:15 9m 36s ajpal-nightly
ajpal-nightly
June 12, 2024 04:15 9m 36s
Prettyprinter Test #3966: Pull request #554 synchronize by clyben
June 7, 2024 22:18 9m 26s clyben:prettyprint
clyben:prettyprint
June 7, 2024 22:18 9m 26s
Prettyprinter Test #3965: Pull request #554 synchronize by clyben
June 7, 2024 22:15 1m 1s clyben:prettyprint
clyben:prettyprint
June 7, 2024 22:15 1m 1s
Prettyprinter Test #3964: Pull request #554 synchronize by clyben
June 7, 2024 21:56 9m 47s clyben:prettyprint
clyben:prettyprint
June 7, 2024 21:56 9m 47s