Skip to content

Actions: egraphs-good/egg

Actions

Publish Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prep for update Publish Docs #141: Commit 2750f55 pushed by mwillsey
December 31, 2024 16:41 35s main
main
December 31, 2024 16:41 35s
Remove existence explanations (#333) Publish Docs #140: Commit 4747cfe pushed by mwillsey
December 31, 2024 16:37 36s main
main
December 31, 2024 16:37 36s
Add generics to define_language Publish Docs #139: Commit a18666d pushed by mwillsey
December 30, 2024 19:40 31s main
main
December 30, 2024 19:40 31s
Add deref, borrow, and iter methods of slice to RecExpr Publish Docs #138: Commit fa40e29 pushed by mwillsey
December 30, 2024 18:39 30s main
main
December 30, 2024 18:39 30s
remove clone requirement on fold (#326) Publish Docs #137: Commit 319b9c4 pushed by mwillsey
December 30, 2024 18:33 29s main
main
December 30, 2024 18:33 29s
Replace fxhash with rustc-hash (#336) Publish Docs #136: Commit 9f06254 pushed by mwillsey
December 30, 2024 18:32 32s main
main
December 30, 2024 18:32 32s
Use $crate::Id to reference the egg::Id type in the define_language m… Publish Docs #135: Commit fa643ff pushed by mwillsey
December 30, 2024 17:45 32s main
main
December 30, 2024 17:45 32s
fix(security): update hashbrown dependency to 0.15.2 (#342) Publish Docs #134: Commit 30c9ec1 pushed by mwillsey
December 30, 2024 17:44 32s main
main
December 30, 2024 17:44 32s
Expose egraph.nodes Publish Docs #133: Commit 1458b82 pushed by mwillsey
December 17, 2024 18:19 35s main
main
December 17, 2024 18:19 35s
Expose classes for op Publish Docs #132: Commit 639ef3c pushed by mwillsey
December 17, 2024 00:22 35s main
main
December 17, 2024 00:22 35s
Fix proof oom by actually counting all neighbors (#340) Publish Docs #131: Commit 6f2ac1e pushed by mwillsey
December 5, 2024 23:07 32s main
main
December 5, 2024 23:07 32s
Fix clippy nit Publish Docs #130: Commit 1b2d004 pushed by mwillsey
August 30, 2024 21:47 30s main
main
August 30, 2024 21:47 30s
Add ability for rule scheduler to control all rewrite Publish Docs #129: Commit d014800 pushed by mwillsey
August 30, 2024 21:46 32s main
main
August 30, 2024 21:46 32s
Merge pull request #317 from eytans/fix_existance_exp Publish Docs #128: Commit b3a53e9 pushed by oflatt
August 9, 2024 18:03 1m 1s main
main
August 9, 2024 18:03 1m 1s
Added fn root(&self) -> Id to RecExpr. (#321) Publish Docs #127: Commit 347326d pushed by mwillsey
July 23, 2024 21:03 31s main
main
July 23, 2024 21:03 31s
Update to rust 1.79 Publish Docs #126: Commit dae3050 pushed by mwillsey
July 8, 2024 20:52 35s main
main
July 8, 2024 20:52 35s
Tweak matches docs Publish Docs #125: Commit 7112033 pushed by mwillsey
July 8, 2024 17:01 1m 56s main
main
July 8, 2024 17:01 1m 56s
Add a check for bad multipatterns Publish Docs #124: Commit ae2db37 pushed by mwillsey
June 12, 2024 17:50 1m 37s main
main
June 12, 2024 17:50 1m 37s
Use quanta for timing Publish Docs #123: Commit de7086c pushed by mwillsey
May 30, 2024 23:28 1m 16s main
main
May 30, 2024 23:28 1m 16s
Add hook to ban e-matched cycles Publish Docs #122: Commit 7e60716 pushed by mwillsey
April 26, 2024 19:57 1m 59s main
main
April 26, 2024 19:57 1m 59s
Add hashmap_with_capacity (#313) Publish Docs #121: Commit c11d03d pushed by mwillsey
April 24, 2024 23:18 1m 54s main
main
April 24, 2024 23:18 1m 54s
Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Publish Docs #120: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 2m 7s main
main
April 24, 2024 23:18 2m 7s
Fix matching perf regression Publish Docs #119: Commit 2f1514c pushed by mwillsey
April 16, 2024 15:24 1m 51s main
main
April 16, 2024 15:24 1m 51s
Add example in doc comment of 'RecExpr' (#308) Publish Docs #118: Commit 6401363 pushed by mwillsey
April 3, 2024 19:04 1m 30s main
main
April 3, 2024 19:04 1m 30s
Add nodes field to EGraph (#291) Publish Docs #117: Commit 3231b86 pushed by mwillsey
April 3, 2024 19:04 40m 47s main
main
April 3, 2024 19:04 40m 47s