From 3daf9d90bec1f4ff9e07fdee46719563c430563d Mon Sep 17 00:00:00 2001 From: Leo Alt Date: Fri, 26 Jan 2024 16:01:31 +0100 Subject: [PATCH] add package info --- Cargo.toml | 7 +++++++ airgen/Cargo.toml | 8 ++++++-- analysis/Cargo.toml | 8 ++++++-- asm-to-pil/Cargo.toml | 8 ++++++-- asm-utils/Cargo.toml | 8 ++++++-- ast/Cargo.toml | 8 ++++++-- backend/Cargo.toml | 8 ++++++-- cli/Cargo.toml | 8 ++++++-- executor/Cargo.toml | 8 ++++++-- halo2/Cargo.toml | 8 ++++++-- importer/Cargo.toml | 8 ++++++-- linker/Cargo.toml | 8 ++++++-- number/Cargo.toml | 8 ++++++-- parser-util/Cargo.toml | 8 ++++++-- parser/Cargo.toml | 8 ++++++-- pil-analyzer/Cargo.toml | 8 ++++++-- pilopt/Cargo.toml | 8 ++++++-- pipeline/Cargo.toml | 8 ++++++-- powdr/Cargo.toml | 8 ++++++-- riscv-executor/Cargo.toml | 8 ++++++-- riscv-runtime/Cargo.toml | 6 +++++- riscv/Cargo.toml | 8 ++++++-- 22 files changed, 132 insertions(+), 41 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index e4a709f54..7abead3b4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -26,6 +26,13 @@ members = [ exclude = [ "riscv-runtime" ] +[workspace.package] +version = "0.1.0-alpha.1" +edition = "2021" +license = "MIT" +homepage = "https://powdr.org" +repository = "https://github.com/powdr-labs/powdr" + [patch."https://github.com/privacy-scaling-explorations/halo2.git"] # TODO change back to this once the PR is merged #halo2_proofs = { git = "https://github.com/appliedzkp/halo2.git", rev = "d3746109d7d38be53afc8ddae8fdfaf1f02ad1d7" } diff --git a/airgen/Cargo.toml b/airgen/Cargo.toml index c4f2e0f7d..1f9575196 100644 --- a/airgen/Cargo.toml +++ b/airgen/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-airgen" -version = "0.1.0" -edition = "2021" +description = "powdr AIR generator for asm machines" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/analysis/Cargo.toml b/analysis/Cargo.toml index 62b3dd691..7b8094dae 100644 --- a/analysis/Cargo.toml +++ b/analysis/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-analysis" -version = "0.1.0" -edition = "2021" +description = "powdr compiler for high level asm machines to a fully analyzed asm machine" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-asm-to-pil = { path = "../asm-to-pil" } diff --git a/asm-to-pil/Cargo.toml b/asm-to-pil/Cargo.toml index b87f9f917..8f372fbca 100644 --- a/asm-to-pil/Cargo.toml +++ b/asm-to-pil/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-asm-to-pil" -version = "0.1.0" -edition = "2021" +description = "Transforms dynamic machines into constrained machines" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/asm-utils/Cargo.toml b/asm-utils/Cargo.toml index 2c7d05d2d..c236142ca 100644 --- a/asm-utils/Cargo.toml +++ b/asm-utils/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-asm-utils" -version = "0.1.0" -edition = "2021" +description = "powdr utilities for LLVM / RISCV assembly" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] itertools = "^0.10" diff --git a/ast/Cargo.toml b/ast/Cargo.toml index 0f4c4f8e6..4cc12aa5d 100644 --- a/ast/Cargo.toml +++ b/ast/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-ast" -version = "0.1.0" -edition = "2021" +description = "powdr AST definitions" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-number = { path = "../number" } diff --git a/backend/Cargo.toml b/backend/Cargo.toml index 4022c8b2a..fd782ad7d 100644 --- a/backend/Cargo.toml +++ b/backend/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-backend" -version = "0.1.0" -edition = "2021" +description = "powdr backend types and API" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [features] halo2 = ["dep:powdr-halo2"] diff --git a/cli/Cargo.toml b/cli/Cargo.toml index f7dca4b83..3659964aa 100644 --- a/cli/Cargo.toml +++ b/cli/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-cli" -version = "0.1.0" -edition = "2021" +description = "powdr CLI" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [features] default = [] # halo2 is disabled by default diff --git a/executor/Cargo.toml b/executor/Cargo.toml index 51e3306a3..2285d8418 100644 --- a/executor/Cargo.toml +++ b/executor/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-executor" -version = "0.1.0" -edition = "2021" +description = "powdr executor for powdr-PIL code, also known as 'witness generator' or 'witgen'" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/halo2/Cargo.toml b/halo2/Cargo.toml index e0c71b88b..0672abdcb 100644 --- a/halo2/Cargo.toml +++ b/halo2/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-halo2" -version = "0.1.0" -edition = "2021" +description = "powdr Halo2 integration" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/importer/Cargo.toml b/importer/Cargo.toml index 46a0ec5a5..2364cffa9 100644 --- a/importer/Cargo.toml +++ b/importer/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-importer" -version = "0.1.0" -edition = "2021" +description = "powdr module import system" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/linker/Cargo.toml b/linker/Cargo.toml index df6122f73..d3924ecd1 100644 --- a/linker/Cargo.toml +++ b/linker/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-linker" -version = "0.1.0" -edition = "2021" +description = "powdr submachine linking system" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-analysis = { path = "../analysis" } diff --git a/number/Cargo.toml b/number/Cargo.toml index e18dc60db..2cdb2e38b 100644 --- a/number/Cargo.toml +++ b/number/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-number" -version = "0.1.0" -edition = "2021" +description = "powdr finite field definitions" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] ark-bn254 = { version = "0.4.0", default-features = false, features = [ diff --git a/parser-util/Cargo.toml b/parser-util/Cargo.toml index 489028774..88e386a6e 100644 --- a/parser-util/Cargo.toml +++ b/parser-util/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-parser-util" -version = "0.1.0" -edition = "2021" +description = "powdr parser utilities" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] lalrpop-util = {version = "^0.19", features = ["lexer"]} diff --git a/parser/Cargo.toml b/parser/Cargo.toml index 6ca41ece7..20715d972 100644 --- a/parser/Cargo.toml +++ b/parser/Cargo.toml @@ -1,8 +1,12 @@ [package] name = "powdr-parser" -version = "0.1.0" -edition = "2021" build = "build.rs" +description = "powdr parser" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/pil-analyzer/Cargo.toml b/pil-analyzer/Cargo.toml index 85b7cc17d..20e59089a 100644 --- a/pil-analyzer/Cargo.toml +++ b/pil-analyzer/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-pil-analyzer" -version = "0.1.0" -edition = "2021" +description = "powdr-PIL compiler and analyzer" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/pilopt/Cargo.toml b/pilopt/Cargo.toml index 791416cc7..c75b925aa 100644 --- a/pilopt/Cargo.toml +++ b/pilopt/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-pilopt" -version = "0.1.0" -edition = "2021" +description = "powdr-PIL optimizer" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-ast = { path = "../ast" } diff --git a/pipeline/Cargo.toml b/pipeline/Cargo.toml index 590a4d28a..5dd885f49 100644 --- a/pipeline/Cargo.toml +++ b/pipeline/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-pipeline" -version = "0.1.0" -edition = "2021" +description = "powdr compiler pipeline from asm to proof" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [features] halo2 = ["dep:powdr-halo2", "powdr-backend/halo2"] diff --git a/powdr/Cargo.toml b/powdr/Cargo.toml index 4a3e9f6ba..1bf9e4b5a 100644 --- a/powdr/Cargo.toml +++ b/powdr/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr" -version = "0.1.0" -edition = "2021" +description = "Main powdr crate, re-exporting the key APIs" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-backend = { path = "../backend" } diff --git a/riscv-executor/Cargo.toml b/riscv-executor/Cargo.toml index 60204b075..f7b9b5c1a 100644 --- a/riscv-executor/Cargo.toml +++ b/riscv-executor/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-riscv-executor" -version = "0.1.0" -edition = "2021" +description = "powdr-asm RISCV executor" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [dependencies] powdr-analysis = { path = "../analysis" } diff --git a/riscv-runtime/Cargo.toml b/riscv-runtime/Cargo.toml index 265375d3c..d9391501d 100644 --- a/riscv-runtime/Cargo.toml +++ b/riscv-runtime/Cargo.toml @@ -1,7 +1,11 @@ [package] name = "powdr-riscv-runtime" -version = "0.1.0" +description = "powdr runtime provider for RISCV programs" +version = "0.1.0-alpha.1" edition = "2021" +license = "MIT" +homepage = "https://powdr.org" +repository = "https://github.com/powdr-labs/powdr" [dependencies] serde = { version = "1.0", default-features = false, features = ["alloc", "derive", "rc"] } diff --git a/riscv/Cargo.toml b/riscv/Cargo.toml index f037f262d..30bda4d19 100644 --- a/riscv/Cargo.toml +++ b/riscv/Cargo.toml @@ -1,8 +1,12 @@ [package] name = "powdr-riscv" -version = "0.1.0" -edition = "2021" build = "build.rs" +description = "powdr RISCV frontend" +version = { workspace = true } +edition = { workspace = true } +license = { workspace = true } +homepage = { workspace = true } +repository = { workspace = true } [features] default = [] # complex-tests is disabled by default