Merge pull request #3 from informalsystems/erick/metadata

Preparing Cargo.toml and README files for release

Author: erickpintor

Cargo.toml

@@ -1,6 +1,17 @@
 [workspace]
-members = [ "connect" , "connect-macros"]
+members  = ["connect" , "connect-macros"]
 resolver = "3"
 
+[workspace.package]
+version       = "0.1.0"
+edition       = "2024"
+license       = "Apache-2.0"
+repository    = "https://github.com/informalsystems/quint-connect"
+homepage      = "https://github.com/informalsystems/quint-connect"
+documentation = "https://docs.rs/quint-connect"
+categories    = ["development-tools::testing", "simulation"]
+keywords      = ["quint", "model-based-testing", "testing", "formal-methods", "verification"]
+authors       = ["Informal Systems Inc. <hello@informal.systems>"]
+
 [workspace.dependencies]
-quint-connect-macros = { path = "connect-macros" }
+quint-connect-macros = { version = "0.1.0", path = "connect-macros" }

connect-macros/Cargo.toml

@@ -1,12 +1,22 @@
 [package]
-name = "quint-connect-macros"
-version = "0.1.0"
-edition = "2024"
+name        = "quint-connect-macros"
+readme      = "README.md"
+description = "Procedural macros used by the `quint-connect` crate."
+
+version       = { workspace = true }
+edition       = { workspace = true }
+license       = { workspace = true }
+repository    = { workspace = true }
+homepage      = { workspace = true }
+documentation = { workspace = true }
+categories    = { workspace = true }
+keywords      = { workspace = true }
+authors       = { workspace = true }
 
 [lib]
 proc-macro = true
 
 [dependencies]
 proc-macro2 = "1.0"
-quote = "1.0"
-syn = { version = "2.0", features = ["full"] }
+quote       = "1.0"
+syn         = { version = "2.0", features = ["full"] }

connect-macros/README.md

@@ -0,0 +1,20 @@
+# Quint Connect Macros
+
+Procedural macros used by the `quint-connect` crate.
+
+## License
+
+Copyright 2025 Informal Systems Inc.
+
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at
+
+```text
+http://www.apache.org/licenses/LICENSE-2.0
+```
+
+Unless required by applicable law or agreed to in writing, software distributed
+under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
+CONDITIONS OF ANY KIND, either express or implied. See the License for the
+specific language governing permissions and limitations under the License.

connect/Cargo.toml

@@ -1,19 +1,29 @@
 [package]
-name = "quint-connect"
-version = "0.1.0"
-edition = "2024"
+name   = "quint-connect"
+readme = "../README.md"
+description = "A model-based testing framework that connects Quint specifications with Rust applications"
+
+version       = { workspace = true }
+edition       = { workspace = true }
+license       = { workspace = true }
+repository    = { workspace = true }
+homepage      = { workspace = true }
+documentation = { workspace = true }
+categories    = { workspace = true }
+keywords      = { workspace = true }
+authors       = { workspace = true }
 
 [dependencies]
 quint-connect-macros = { workspace = true }
 
-anyhow = "1.0"
-itf = "0.4"
-serde = "1.0"
+anyhow     = "1.0"
+itf        = "0.4"
+serde      = "1.0"
 serde_json = "1.0"
-tempfile = "3.0"
-colored = "3.0"
-rand = "0.9"
-similar = "2.7"
+tempfile   = "3.0"
+colored    = "3.0"
+rand       = "0.9"
+similar    = "2.7"
 
 [dev-dependencies]
 trybuild = { version = "1.0.114", features = ["diff"] }