Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,374 workflow run results
1,374 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement cost model Test #2524: Pull request #456 opened by Alex-Fischman
April 14, 2024 21:38 3m 10s cost-model-2
cost-model-2
April 14, 2024 21:38 3m 10s
Implement cost model Test #2523: Commit d3516a6 pushed by Alex-Fischman
April 14, 2024 21:37 3m 10s cost-model-2
cost-model-2
April 14, 2024 21:37 3m 10s
Merge pull request #448 from egraphs-good/oflatt-subst-fuel Test #2522: Commit d5ec258 pushed by Alex-Fischman
April 14, 2024 20:21 3m 13s cost-model-2
cost-model-2
April 14, 2024 20:21 3m 13s
Fix get node cost bug Test #2521: Pull request #455 opened by Alex-Fischman
April 14, 2024 20:16 3m 10s fix-get-node-cost-bug
fix-get-node-cost-bug
April 14, 2024 20:16 3m 10s
Fix the bug Test #2520: Commit 43c49fd pushed by Alex-Fischman
April 14, 2024 20:15 3m 13s fix-get-node-cost-bug
fix-get-node-cost-bug
April 14, 2024 20:15 3m 13s
More cleanup Test #2519: Commit 117cd63 pushed by Alex-Fischman
April 14, 2024 19:46 3m 17s fix-get-node-cost-bug
fix-get-node-cost-bug
April 14, 2024 19:46 3m 17s
Cleanup Test #2518: Commit fce0e1d pushed by Alex-Fischman
April 14, 2024 19:44 3m 15s fix-get-node-cost-bug
fix-get-node-cost-bug
April 14, 2024 19:44 3m 15s
Merge pull request #448 from egraphs-good/oflatt-subst-fuel Test #2517: Commit d5ec258 pushed by Alex-Fischman
April 14, 2024 19:43 3m 3s fix-get-node-cost-bug
fix-get-node-cost-bug
April 14, 2024 19:43 3m 3s
Undo serialized_egraph changes Test #2516: Commit a0ba7ff pushed by Alex-Fischman
April 14, 2024 18:56 2m 4s cost-model
cost-model
April 14, 2024 18:56 2m 4s
Inline root_nodes() Test #2515: Commit e940fa7 pushed by Alex-Fischman
April 14, 2024 18:53 1m 57s cost-model
cost-model
April 14, 2024 18:53 1m 57s
Make reachable go over e-classes instead of e-nodes Test #2514: Commit 0bd4e41 pushed by Alex-Fischman
April 14, 2024 18:44 1m 29s cost-model
cost-model
April 14, 2024 18:44 1m 29s
Add unextractable to reachability analysis Test #2513: Commit 9bac92e pushed by Alex-Fischman
April 14, 2024 18:33 1m 39s cost-model
cost-model
April 14, 2024 18:33 1m 39s
Format Test #2512: Commit e704f43 pushed by Alex-Fischman
April 14, 2024 04:28 1m 30s cost-model
cost-model
April 14, 2024 04:28 1m 30s
Fix possible bug I think Test #2511: Commit 39ca784 pushed by Alex-Fischman
April 14, 2024 04:27 1m 45s cost-model
cost-model
April 14, 2024 04:27 1m 45s
Check for non-ignored children instead of all of them Test #2510: Commit 095fea5 pushed by Alex-Fischman
April 14, 2024 04:00 1m 38s cost-model
cost-model
April 14, 2024 04:00 1m 38s
Inline initialize_worklist Test #2509: Commit 799360b pushed by Alex-Fischman
April 14, 2024 03:29 2m 14s cost-model
cost-model
April 14, 2024 03:29 2m 14s
Remove ignored from reachable Test #2508: Commit 47d237c pushed by Alex-Fischman
April 14, 2024 03:04 1m 45s cost-model
cost-model
April 14, 2024 03:04 1m 45s
Formating Test #2507: Commit 76b138f pushed by Alex-Fischman
April 14, 2024 02:45 1m 40s cost-model
cost-model
April 14, 2024 02:45 1m 40s
cargo fmt Test #2506: Commit 2bd92f1 pushed by Alex-Fischman
April 14, 2024 02:26 2m 22s cost-model
cost-model
April 14, 2024 02:26 2m 22s
Run nits first Test #2505: Commit 65b595c pushed by Alex-Fischman
April 14, 2024 02:26 1m 57s cost-model
cost-model
April 14, 2024 02:26 1m 57s
Add Get and Alloc ignored children Test #2504: Commit 3ecb98d pushed by Alex-Fischman
April 14, 2024 02:25 1m 40s cost-model
cost-model
April 14, 2024 02:25 1m 40s
Ignored children aren't reachable Test #2503: Commit 1d1deeb pushed by Alex-Fischman
April 13, 2024 23:28 1m 58s cost-model
cost-model
April 13, 2024 23:28 1m 58s
Don't modify egraph directly Test #2502: Commit 96551dd pushed by Alex-Fischman
April 13, 2024 23:18 1m 37s cost-model
cost-model
April 13, 2024 23:18 1m 37s
Working on cost model Test #2501: Commit 427cbd9 pushed by Alex-Fischman
April 13, 2024 22:54 1m 34s cost-model
cost-model
April 13, 2024 22:54 1m 34s
Move reachability to extract(), add ignored_children Test #2500: Commit 2756d25 pushed by Alex-Fischman
April 13, 2024 22:50 1m 38s cost-model
cost-model
April 13, 2024 22:50 1m 38s