Rename Miden SDK crates
greenhat opened this issue · comments
As a preparation for crates publishing. See #142 (comment)
miden-prelude -> miden-stdlib-sys
miden-sdk-tx-kernel -> miden-tx-kernel-sys
0xPolygonMiden / compiler
Compiler from MidenIR to Miden Assembly