Skip to content

Actions: dewert99/plat-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make "egg_compat" a default feature Publish Docs #2: Commit e706844 pushed by dewert99
April 9, 2024 19:12 1m 35s main
main
April 9, 2024 19:12 1m 35s
Make "egg_compat" a default feature Build and Test #57: Commit e706844 pushed by dewert99
April 9, 2024 19:08 5m 15s pre-main
pre-main
April 9, 2024 19:08 5m 15s
Rewrote README as a fork Build and Test #56: Commit fef23b4 pushed by dewert99
April 9, 2024 18:58 1m 39s pre-main
pre-main
April 9, 2024 18:58 1m 39s
Optimize rebuild Build and Test #55: Commit 1c7ecbb pushed by dewert99
April 9, 2024 17:21 6m 5s optimizations
optimizations
April 9, 2024 17:21 6m 5s
Optimize rebuild Build and Test #54: Commit 2755fa9 pushed by dewert99
April 9, 2024 03:28 4m 49s optimizations
optimizations
April 9, 2024 03:28 4m 49s
Optimize rebuild Build and Test #53: Commit 17437be pushed by dewert99
April 9, 2024 02:44 4m 47s optimizations
optimizations
April 9, 2024 02:44 4m 47s
Avoid duplicate parents when adding a node with equivalent children Build and Test #52: Commit 9ba0fef pushed by dewert99
April 8, 2024 23:59 5m 21s optimizations
optimizations
April 8, 2024 23:59 5m 21s
minor optimization in add Build and Test #51: Commit 4927512 pushed by dewert99
April 8, 2024 23:13 4m 46s optimizations
optimizations
April 8, 2024 23:13 4m 46s
Stop new nodes from becoming added to pending Build and Test #50: Commit b0ded73 pushed by dewert99
April 8, 2024 22:52 4m 44s optimizations
optimizations
April 8, 2024 22:52 4m 44s
Add another niche symmetry method Build and Test #49: Commit 653c68b pushed by dewert99
April 4, 2024 18:41 4m 45s extras
extras
April 4, 2024 18:41 4m 45s
Added note that enode in make may not be canonical Build and Test #48: Commit 959a98f pushed by dewert99
April 3, 2024 01:50 3m 2s egraph_nodes
egraph_nodes
April 3, 2024 01:50 3m 2s
Fix bug in PushInfo::number_of_unions Build and Test #47: Commit 5894d5b pushed by dewert99
April 1, 2024 22:55 4m 33s extras
extras
April 1, 2024 22:55 4m 33s
Shrink PushInfo Build and Test #46: Commit 88df634 pushed by dewert99
April 1, 2024 21:04 4m 52s extras
extras
April 1, 2024 21:04 4m 52s
Added extra methods Build and Test #45: Commit 8ee283b pushed by dewert99
April 1, 2024 21:03 4m 50s extras
extras
April 1, 2024 21:03 4m 50s
Added extra methods Build and Test #44: Commit 43c419d pushed by dewert99
April 1, 2024 20:56 2m 3s extras
extras
April 1, 2024 20:56 2m 3s
Added niche method for symmetry Build and Test #43: Commit 70ba130 pushed by dewert99
March 30, 2024 19:43 4m 35s rebuild_sym
rebuild_sym
March 30, 2024 19:43 4m 35s
Bump symbol_table Build and Test #42: Commit 91c1a10 pushed by dewert99
March 28, 2024 22:36 4m 26s semi-persistent
semi-persistent
March 28, 2024 22:36 4m 26s
Merge remote-tracking branch 'origin-dewert/main' into egraph_nodes Build and Test #41: Commit 66773fe pushed by dewert99
March 21, 2024 22:34 2m 46s egraph_nodes
egraph_nodes
March 21, 2024 22:34 2m 46s
Translate between EGraph types (#306) Build and Test #40: Commit ec37e2f pushed by dewert99
March 21, 2024 22:28 3m 1s main
main
March 21, 2024 22:28 3m 1s
Translate between EGraph types (#306) Publish Docs #1: Commit ec37e2f pushed by dewert99
March 21, 2024 22:28 1m 14s main
main
March 21, 2024 22:28 1m 14s
Clarify id_to_expr and prevent copy_with_unions when explanations… Build and Test #39: Commit 4d4c52d pushed by dewert99
March 21, 2024 22:17 2m 48s egraph_nodes
egraph_nodes
March 21, 2024 22:17 2m 48s
Raw egraph Build and Test #38: Pull request #3 opened by dewert99
March 21, 2024 21:56 2m 46s raw-egraph
raw-egraph
March 21, 2024 21:56 2m 46s
Merge branch 'raw-egraph' into semi-persistent Build and Test #37: Commit 9c6681d pushed by dewert99
March 21, 2024 17:04 4m 16s semi-persistent
semi-persistent
March 21, 2024 17:04 4m 16s
Make raw_union more flexible and add a fallible try_raw_rebuild Build and Test #36: Commit fb07f3b pushed by dewert99
March 21, 2024 16:42 3m 0s raw-egraph
raw-egraph
March 21, 2024 16:42 3m 0s
Disable log for release mode Build and Test #35: Commit 3981be9 pushed by dewert99
March 21, 2024 00:09 2m 57s raw-egraph
raw-egraph
March 21, 2024 00:09 2m 57s