New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Wasm component translation #417

Draft

greenhat wants to merge 3 commits into bitwalker/switch-to-hir2 from greenhat/i363-hir2-wasm-cm

Contributor

greenhat commented Feb 28, 2025 •

edited

Loading

This PR is stacked on the #415 and should be merged after it

TODO:

core Wasm module translation;
component exports translation (CanonLift), synth functions on the Component level;
account storage
component imports translation (CanonLower)


          feature(frontend): parse ComponentId from a Wasm component name

a3d608d

greenhat force-pushed the greenhat/i363-hir2-wasm-cm branch from bbb0b52 to 1beebcd Compare

March 3, 2025 07:33


          wip: translated the core Wasm module in the Wasm component translation

aafe61c

greenhat force-pushed the greenhat/i363-hir2-wasm-cm branch from 1beebcd to aafe61c Compare

March 3, 2025 07:34


          feature(frontend): Wasm component import translation for intrinsics,

26218da

stdlib, tx-kernel (Miden ABI)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet