 |
Post AuVXlkG7OffYAe0AVM by [email protected] |
 |
More posts by [email protected] |
|
Post #AuVXlkG7OffYAe0AVM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
So who does e-graphs for equality saturation in a real compiler? I want to hear… |
|
|
|
Post #AuVXlkNYwzckXjU76m by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@j2kun @regehr Cranelift's aegraphs aren't conventional egraphs but tha… |
|
|
|
Post #AuVXlkUeWdIMtinm9w by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@j2kun @regehr There's talk by @cfallin at https://vimeo.com/843540328 with… |
|
|
|
Post #AuVXlkdA106JK6mZQ8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@j2kun @regehr @cfallin I'm not sure if it would qualify as an egraph to mo… |
|
|
|
Post #AuVXlkjXdHCldtlfMm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@j2kun @regehr @cfallin But it does address some of the classical issues with c… |
|
|
|
Post #AuVXlks37e0i4HkScy by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen @j2kun @regehr Yes to all of the above: we do "egraphs in name… |
|
|
|
Post #AuVXyZkllfYvLvSN9c by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen @j2kun @regehr At the time we cut over (2+ years ago) compile time … |
|
|
|
Post #AuVY7UjpmcOgPAGvyK by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen @j2kun @regehrMore in the talk that was linked above of course; but… |
|
|
|
Post #AuVe3LZSWacOXVpBho by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@cfallin @j2kun @regehr I use something very similar and agree it works great. … |
|
|
|
Post #AuVe3LfUABRGqCe06C by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen @j2kun @regehr It's possible I'm missing some nuance here t… |
|
|
|
Post #AuVeARoDjJrlui7Bnk by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen @j2kun @regehr One can still have the blowup inherent in, say, add… |
