Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
sonatina
micahscopes/sonatina
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
7
Last push
19d ago
Recent commits
Latest commits.
Merge pull request #187 from sbillig/inliner
815287c
sbillig
4mo ago
Merge pull request #188 from sbillig/egraph2
1f26c02
sbillig
4mo ago
egraph: derive elaborated gep result type from indices
629d4e1
Sean Billig
4mo ago
egraph: remove dead pure ops after rewrites, add filecheck tests
af25b5f
Sean Billig
4mo ago
add single-block inliner
6d08319
Sean Billig
5mo ago
egraph: make load forwarding transitive and memphi-generic
c5809d9
Sean Billig
4mo ago
egraph: add phi/cast/evm/gep term modeling
83e115a
Sean Billig
4mo ago
Merge pull request #186 from sbillig/fix-egraph
25862c0
sbillig
4mo ago
Top contributors
Builders behind this project.
Y-Nak
570 commits
sbillig
166 commits
dependabot[bot]
51 commits
k0aki
33 commits
emhane
23 commits
micahscopes
2 commits
syszery
2 commits
