refactor: rename miden-sdk-tx-kernel to miden-tx-kernel-sys

Author: greenhat

sdk/Cargo.lock

@@ -2,7 +2,7 @@
 resolver = "2"
 members = [
   "stdlib-sys",
-  "tx-kernel",
+  "tx-kernel-sys",
   "sdk",
 ]
 

sdk/Cargo.toml

@@ -16,4 +16,4 @@ crate-type = ["rlib"]
 
 [dependencies]
 miden-stdlib-sys = { path = "../stdlib-sys" }
-miden-sdk-tx-kernel = { path = "../tx-kernel" }
+miden-tx-kernel-sys = { path = "../tx-kernel-sys" }

sdk/sdk/Cargo.toml

@@ -1,4 +1,4 @@
 #![no_std]
 
-pub use miden_sdk_tx_kernel::*;
 pub use miden_stdlib_sys::*;
+pub use miden_tx_kernel_sys::*;

sdk/sdk/src/lib.rs

@@ -1,5 +1,5 @@
 [package]
-name = "miden-sdk-tx-kernel"
+name = "miden-tx-kernel-sys"
 description = "Miden SDK transaction kernel"
 version.workspace = true
 rust-version.workspace = true

sdk/tx-kernel/Cargo.toml renamed to sdk/tx-kernel-sys/Cargo.toml

@@ -10,7 +10,7 @@
         ;; Functions
         (func (export #entrypoint) (param i32)
             (block 0 (param v0 i32)
-                (call #miden_sdk_tx_kernel::get_inputs v0)
+                (call #miden_tx_kernel_sys::get_inputs v0)
                 (br (block 1)))
 
             (block 1
@@ -635,7 +635,7 @@
                 (br (block 6 v7)))
         )
 
-        (func (export #miden_sdk_tx_kernel::get_inputs)
+        (func (export #miden_tx_kernel_sys::get_inputs)
               (param i32)
             (block 0 (param v0 i32)
                 (let (v1 i32) (const.i32 0))

sdk/tx-kernel/src/externs.rs renamed to sdk/tx-kernel-sys/src/externs.rs

@@ -3,7 +3,7 @@
 use.miden::note
 
 export.entrypoint
-    exec."miden_sdk_tx_kernel::get_inputs"
+    exec."miden_tx_kernel_sys::get_inputs"
 end
 
 
@@ -2567,7 +2567,7 @@ export."<wee_alloc::WeeAlloc as core::alloc::global::GlobalAlloc>::alloc"
 end
 
 
-export."miden_sdk_tx_kernel::get_inputs"
+export."miden_tx_kernel_sys::get_inputs"
     mem_load.0x00000000
     push.16
     u32wrapping_sub