JueonPark

JueonPark/sym

A symbolic, algebraic type inference engine built on MLIR

1 stars 0 forks 1 watchers C++ Apache License 2.0

2 Open Issues Need Help Last updated: Jul 9, 2026

Open Issues Need Help

View All on GitHub

[Test] End-to-end golden for a non-zero pad fill value (decode→bind→execute) about 3 hours ago

enhancement good first issue

1

A symbolic, algebraic type inference engine built on MLIR

C++

[Refactor] Extract a shared padded-extent-count helper (bind ↔ fillDst) about 3 hours ago

enhancement good first issue

1

A symbolic, algebraic type inference engine built on MLIR

C++