Skip to content

Actions: egraphs-good/egg

Actions

Publish Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add way to create numeric variables without parsing Publish Docs #116: Commit c7e9284 pushed by mwillsey
March 22, 2024 22:40 1m 12s main
main
March 22, 2024 22:40 1m 12s
Translate between EGraph types (#306) Publish Docs #115: Commit ec37e2f pushed by mwillsey
March 21, 2024 16:45 1m 14s main
main
March 21, 2024 16:45 1m 14s
Update readme Publish Docs #114: Commit 2718440 pushed by mwillsey
February 13, 2024 16:49 3m 27s main
main
February 13, 2024 16:49 3m 27s
Add note in is_not_zero example. Publish Docs #113: Commit 38be469 pushed by mwillsey
February 9, 2024 21:59 3m 32s main
main
February 9, 2024 21:59 3m 32s
Make explain_id_equivalence public (#289) Publish Docs #112: Commit 812c76c pushed by mwillsey
December 24, 2023 23:46 1m 36s main
main
December 24, 2023 23:46 1m 36s
Merge pull request #283 from dewert99/non-canonical Publish Docs #111: Commit 034f12e pushed by oflatt
November 28, 2023 17:58 4m 27s main
main
November 28, 2023 17:58 4m 27s
allow per-language discriminants (#270) Publish Docs #110: Commit a84c3c4 pushed by mwillsey
November 28, 2023 17:51 4m 44s main
main
November 28, 2023 17:51 4m 44s
Clean up proof code using saturating numbers (#274) Publish Docs #109: Commit 9043f3b pushed by mwillsey
October 28, 2023 00:32 5m 34s main
main
October 28, 2023 00:32 5m 34s
Make Analysis::make take in the E-graph mutably (#277) Publish Docs #108: Commit bc80248 pushed by mwillsey
October 12, 2023 21:11 4m 21s main
main
October 12, 2023 21:11 4m 21s
allow converting RecExpr to Vec<L> (#275) Publish Docs #107: Commit 6340768 pushed by mwillsey
October 4, 2023 17:08 4m 41s main
main
October 4, 2023 17:08 4m 41s
Fix minor grammar in _01_background.rs (#267) Publish Docs #106: Commit e7845c5 pushed by mwillsey
August 21, 2023 16:29 2m 34s main
main
August 21, 2023 16:29 2m 34s