prepare crates

Author: tcoratger

Cargo.toml

@@ -1,29 +1,27 @@
-[package]
+[workspace.package]
 name = "leanSig"
 version = "0.1.0"
 edition = "2024"
 rust-version = "1.85"
+license = "MIT OR Apache-2.0"
 
-[lints]
+[workspace]
+members = ["crates/leanIsa", "crates/leanSnark", "crates/leanVm"]
+resolver = "3"
+
+[workspace.lints]
 rust.missing_debug_implementations = "warn"
 rust.unreachable_pub = "warn"
 rust.unused_must_use = "deny"
 rust.rust_2018_idioms = { level = "deny", priority = -1 }
 rust.dead_code = "allow"
 rustdoc.all = "warn"
 
-[lints.clippy]
-# all lints that are on by default (correctness, suspicious, style, complexity, perf)
+[workspace.lints.clippy]
 all = { level = "warn", priority = -1 }
-
-# new lints that are still under development
 nursery = { level = "warn", priority = -1 }
-# avoid lints that are too pedantic
 doc_markdown = "allow"
-
-# lints which are rather strict or have occasional false positives
 pedantic = { level = "warn", priority = -1 }
-# avoid lints that are too pedantic
 cast_possible_truncation = "allow"
 cast_precision_loss = "allow"
 missing_errors_doc = "allow"
@@ -34,5 +32,7 @@ similar_names = "allow"
 suboptimal_flops = "allow"
 cast_sign_loss = "allow"
 
-
-[dependencies]
+[workspace.dependencies]
+lean-isa = { path = "crates/leanIsa" }
+lean-snark = { path = "crates/leanSnark" }
+lean-vm = { path = "crates/leanVm" }

crates/leanIsa/Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+name = "leanIsa"
+version.workspace = true
+edition.workspace = true
+rust-version.workspace = true
+license.workspace = true
+
+[lints]
+workspace = true
+
+[dependencies]

src/main.rs crates/leanIsa/src/main.rssrc/main.rs renamed to crates/leanIsa/src/main.rs

@@ -0,0 +1,11 @@
+[package]
+name = "leanSnark"
+version.workspace = true
+edition.workspace = true
+rust-version.workspace = true
+license.workspace = true
+
+[lints]
+workspace = true
+
+[dependencies]

crates/leanSnark/Cargo.toml

@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}

crates/leanSnark/src/main.rs

@@ -0,0 +1,11 @@
+[package]
+name = "leanVm"
+version.workspace = true
+edition.workspace = true
+rust-version.workspace = true
+license.workspace = true
+
+[lints]
+workspace = true
+
+[dependencies]

crates/leanVm/Cargo.toml

@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}

crates/leanVm/src/main.rs

@@ -0,0 +1,3 @@
+reorder_imports = true
+imports_granularity = "Crate"
+group_imports = "StdExternalCrate"