refactor: move math ops to new crate and add platform crate

Author: avrabe

.bazelignore

@@ -10,41 +10,47 @@ members = [
     "wrt-types",
     "wrt-decoder",
     "wrt-component",
+    "wrt-math",
     "wrt-host",
     "wrt-logging",
     "wrt-runtime",
     "wrt-instructions",
     "wrt-intercept", "test-control-instructions",
     "wrt-verification-tool",
     "wrt-test-registry",
+    "wrt-platform",
 ]
 resolver = "2"  # Use edition 2021 resolver
 
 [workspace.package]
-version = "0.2.0"
+authors = ["The WRT Project Developers"]
 edition = "2021"
-rust-version = "1.86.0"
 license = "MIT"
+repository = "placeholder/repo.git" # TODO: Replace with actual repo URL
+version = "0.2.0" # Updated to 0.2.0 for consistency
 
 [workspace.dependencies]
 anyhow = "1.0"
 wit-bindgen = "0.41.0"
 dagger-sdk = { version = "0.18.6", features = ["codegen"] }
 
 # Internal crate versions
-wrt = { path = "wrt", version = "0.2.0" }
-wrt-error = { path = "wrt-error", version = "0.2.0" }
-wrt-sync = { path = "wrt-sync", version = "0.2.0" }
-wrt-format = { path = "wrt-format", version = "0.2.0" }
-wrt-types = { path = "wrt-types", version = "0.2.0" }
-wrt-decoder = { path = "wrt-decoder", version = "0.2.0" }
-wrt-runtime = { path = "wrt-runtime", version = "0.2.0" }
-wrt-logging = { path = "wrt-logging", version = "0.2.0" }
-wrt-instructions = { path = "wrt-instructions", version = "0.2.0" }
-wrt-component = { path = "wrt-component", version = "0.2.0" }
-wrt-host = { path = "wrt-host", version = "0.2.0" }
-wrt-intercept = { path = "wrt-intercept", version = "0.2.0" }
-wrt-test-registry = { path = "wrt-test-registry", version = "0.2.0" }
+wrt = { path = "wrt", workspace = true }
+wrt-error = { path = "wrt-error", workspace = true }
+wrt-sync = { path = "wrt-sync", workspace = true }
+wrt-format = { path = "wrt-format", workspace = true }
+wrt-types = { path = "wrt-types", workspace = true }
+wrt-decoder = { path = "wrt-decoder", workspace = true }
+wrt-runtime = { path = "wrt-runtime", workspace = true }
+wrt-logging = { path = "wrt-logging", workspace = true }
+wrt-instructions = { path = "wrt-instructions", workspace = true }
+wrt-component = { path = "wrt-component", workspace = true }
+wrt-host = { path = "wrt-host", workspace = true }
+wrt-intercept = { path = "wrt-intercept", workspace = true }
+wrt-test-registry = { path = "wrt-test-registry", workspace = true }
+wrt-math = { path = "wrt-math", workspace = true }
+wrt-platform = { path = "wrt-platform", workspace = true }
+wrt-verification-tool = { path = "wrt-verification-tool", workspace = true }
 
 [workspace.lints.rust]
 unexpected_cfgs = { level = "allow", check-cfg = ['cfg(test)'] }

.bazelrc

@@ -4,19 +4,19 @@ version.workspace = true
 edition.workspace = true
 description = "WebAssembly Component Model support for WRT"
 license.workspace = true
-repository = "https://github.com/avrabe/wrt"
+repository.workspace = true
 documentation = "https://docs.rs/wrt-component"
 keywords = ["wasm", "webassembly", "runtime", "component-model"]
 categories = ["wasm", "no-std"]
 
 [dependencies]
-wrt-error = { path = "../wrt-error", version = "0.2.0" }
-wrt-format = { path = "../wrt-format", version = "0.2.0" }
-wrt-host = { path = "../wrt-host", version = "0.2.0" }
-wrt-types = { path = "../wrt-types", version = "0.2.0" }
-wrt-intercept = { path = "../wrt-intercept", version = "0.2.0" }
-wrt-decoder = { path = "../wrt-decoder", version = "0.2.0" }
-wrt-runtime = { path = "../wrt-runtime", version = "0.2.0" }
+wrt-error = { path = "../wrt-error", workspace = true }
+wrt-format = { path = "../wrt-format", workspace = true }
+wrt-host = { path = "../wrt-host", workspace = true }
+wrt-types = { path = "../wrt-types", workspace = true }
+wrt-intercept = { path = "../wrt-intercept", workspace = true }
+wrt-decoder = { path = "../wrt-decoder", workspace = true }
+wrt-runtime = { path = "../wrt-runtime", workspace = true }
 
 # No-std support
 alloc = { version = "1.0.0", optional = true, package = "rustc-std-workspace-alloc" }

Cargo.lock

@@ -4,18 +4,18 @@ version.workspace = true
 edition.workspace = true
 description = "WebAssembly module decoder for wrt runtime"
 license.workspace = true
-repository = "https://github.com/avrabe/wrt"
+repository.workspace = true
 readme = "README.md"
 keywords = ["wasm", "webassembly", "decoder", "parser", "runtime"]
 categories = ["wasm", "parsing", "no-std", "embedded"]
 
 [dependencies]
 # Error handling
-wrt-error = { path = "../wrt-error", version = "0.2.0", default-features = false }
+wrt-error = { path = "../wrt-error", workspace = true, default-features = false }
 # Format handling
-wrt-format = { path = "../wrt-format", version = "0.2.0", default-features = false }
+wrt-format = { path = "../wrt-format", workspace = true, default-features = false }
 # Shared type definitions
-wrt-types = { path = "../wrt-types", version = "0.2.0", default-features = false }
+wrt-types = { path = "../wrt-types", workspace = true, default-features = false }
 
 # Core dependencies
 log = { version = "0.4", optional = true }

Cargo.toml

@@ -8,11 +8,12 @@
 // Re-export core module utilities
 // Re-export module-related functions
 // Re-export with more convenient names
-pub use crate::module::decode_module_with_binary;
 // Additional alias for backwards compatibility
-pub use crate::module::decode_module_with_binary as decode;
 pub use crate::{
     decoder_core::validate::validate_module,
-    module::{decode_module, encode_module, encode_module as encode},
+    module::{
+        decode_module, decode_module_with_binary as decode, decode_module_with_binary,
+        encode_module, encode_module as encode,
+    },
     name_section::*,
 };

wrt-component/Cargo.toml

@@ -4,7 +4,7 @@ version.workspace = true
 edition.workspace = true
 license.workspace = true
 description = "Error handling for the WebAssembly Runtime"
-repository = "https://github.com/avrabe/wrt"
+repository.workspace = true
 readme = "../README.md"
 keywords = ["webassembly", "wasm", "error", "no_std", "component-model"]
 categories = ["wasm", "no-std", "embedded"]

wrt-decoder/Cargo.toml

@@ -4,14 +4,14 @@ version.workspace = true
 edition.workspace = true
 description = "WebAssembly format handling for WRT"
 license.workspace = true
-repository = "https://github.com/avrabe/wrt"
+repository.workspace = true
 readme = "README.md"
 keywords = ["wasm", "webassembly", "format", "binary", "no-std"]
 categories = ["wasm", "parsing", "data-structures", "no-std", "embedded"]
 
 [dependencies]
-wrt-error = { path = "../wrt-error", version = "0.2.0", default-features = false }
-wrt-types = { path = "../wrt-types", version = "0.2.0", default-features = false }
+wrt-error = { path = "../wrt-error", workspace = true, default-features = false }
+wrt-types = { path = "../wrt-types", workspace = true, default-features = false }
 
 [dev-dependencies]
 # For property testing

wrt-decoder/src/wasm/mod.rs

@@ -4,16 +4,16 @@ version.workspace = true
 edition.workspace = true
 description = "Host function infrastructure for the WebAssembly Runtime (WRT)"
 license.workspace = true
-repository = "https://github.com/avrabe/wrt"
+repository.workspace = true
 documentation = "https://docs.rs/wrt-host"
 keywords = ["wasm", "webassembly", "runtime", "host", "component-model"]
 categories = ["wasm", "no-std"]
 
 [dependencies]
-wrt-error = { path = "../wrt-error", version = "0.2.0", default-features = false }
-wrt-types = { path = "../wrt-types", version = "0.2.0", default-features = false }
-wrt-intercept = { path = "../wrt-intercept", version = "0.2.0", default-features = false }
-wrt-sync = { path = "../wrt-sync", version = "0.2.0", default-features = false }
+wrt-error = { path = "../wrt-error", workspace = true, default-features = false }
+wrt-types = { path = "../wrt-types", workspace = true, default-features = false }
+wrt-intercept = { path = "../wrt-intercept", workspace = true, default-features = false }
+wrt-sync = { path = "../wrt-sync", workspace = true, default-features = false }
 
 # Std dependencies
 log = { version = "0.4", optional = true }