issues
search
egraphs-good
/
eggcc
MIT License
42
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix comment in schema
#328
clyben
closed
7 months ago
0
Assume add interpreter with tests
#327
oflatt
closed
7 months ago
0
Assume schema conversion to egglog
#326
oflatt
closed
7 months ago
1
Assume schema interpreter
#325
oflatt
closed
7 months ago
1
Sugar for constructing assume terms
#324
oflatt
closed
7 months ago
1
Assume schema in rust
#323
oflatt
closed
7 months ago
0
Draft Assume schema infra- will split into multiple PRs
#322
oflatt
closed
7 months ago
1
Extend assume schema interpreter to work with calls
#321
oflatt
closed
7 months ago
1
Convert tree semantics back to RVSDGs
#320
Alex-Fischman
closed
3 months ago
0
Assume schema interpreter
#319
oflatt
closed
7 months ago
1
Add sugar for constructing terms in input schema
#318
oflatt
closed
7 months ago
1
Input schema rust interpreter
#317
oflatt
closed
7 months ago
1
Assume schema rust definition
#316
oflatt
closed
7 months ago
1
Assume Schema- New Schema Solves Context with Assume
#315
oflatt
closed
7 months ago
0
Add memory to Bril->RVSDG translation
#314
oflatt
closed
7 months ago
1
[Tree optimizer] Full RVSDG->Tree translation
#313
oflatt
closed
7 months ago
1
[Tree optimizer] Loop and if inversion (IVT)
#312
oflatt
opened
7 months ago
0
[Tree assume] Body contains
#311
oflatt
closed
7 months ago
0
[Tree Optimizer] "Three quarters" switch rewrites
#310
oflatt
closed
7 months ago
0
[Tree Assume] Function inlining
#309
oflatt
opened
7 months ago
0
[Tree Optimizer] Typechecking terms without loops
#308
oflatt
closed
7 months ago
0
Rvsdg conversion bug with unstructured program
#307
oflatt
closed
5 months ago
2
Add an `If` variant to Rvsdg struct
#306
oflatt
closed
7 months ago
0
Initial wiring for memory into RVSDGs
#305
ezrosent
closed
7 months ago
3
I64 fresh new commit
#304
clyben
closed
7 months ago
0
Add If to schema
#303
oflatt
closed
7 months ago
0
fix switch bug
#302
ajpal
closed
7 months ago
1
add list-of-get-arg
#301
clyben
closed
7 months ago
0
Change (BodyContain Expr Expr) to (BodyContain Id Expr)
#300
clyben
closed
7 months ago
0
[Tree unique] Refactor `BodyContains` to `IdContains`
#299
yihozhang
closed
7 months ago
0
Add typing rules for functions/calls
#298
ajpal
closed
7 months ago
0
Add Read/Write to Type analysis
#297
ajpal
closed
7 months ago
0
Tree schema that supports shared and unique
#296
oflatt
closed
7 months ago
0
Translate RVSDG loops to tree encoding
#295
oflatt
closed
7 months ago
0
Let-inlining optimization
#294
yihozhang
closed
5 months ago
1
add ExprUsesArgs analysis
#293
yihozhang
closed
7 months ago
4
[Tree Unique] Fix correctness bug
#292
Alex-Fischman
closed
4 months ago
1
Replace unit with empty tuple and add id to All
#291
rtjoa
closed
8 months ago
0
[Tree Unique] Loop hoisting
#290
clyben
closed
7 months ago
2
No need for HasTypeDemand
#289
ajpal
closed
8 months ago
0
Translate a single region from RVSDG to tree encoding
#288
oflatt
closed
7 months ago
0
fix function purity analysis
#287
clyben
closed
8 months ago
0
Add Expr-size
#286
clyben
closed
8 months ago
1
Add loops to type analysis
#285
ajpal
closed
8 months ago
0
Add context to type analysis
#284
ajpal
closed
8 months ago
0
Add memory to RVSDG -> tree translation
#283
oflatt
opened
8 months ago
0
Add memory to Bril->RVSDG translation
#282
oflatt
closed
7 months ago
1
Destructive rewriting in egglog
#281
oflatt
opened
8 months ago
0
Tree unique ast builder for rust
#280
oflatt
closed
8 months ago
0
Interpret tests
#279
Alex-Fischman
closed
7 months ago
2
Previous
Next