update dev version to 0.1.3 (#2106)

Cargo.toml

@@ -34,37 +34,37 @@ members = [
 exclude = [ "riscv-runtime" ]
 
 [workspace.package]
-version = "0.1.2"
+version = "0.1.3"
 edition = "2021"
 license = "MIT"
 homepage = "https://powdr.org"
 repository = "https://github.com/powdr-labs/powdr"
 
 [workspace.dependencies]
 # workspace crates
-powdr = { path = "./powdr", version = "0.1.2" }
-powdr-airgen = { path = "./airgen", version = "0.1.2" }
-powdr-ast = { path = "./ast", version = "0.1.2" }
-powdr-asm-to-pil = { path = "./asm-to-pil", version = "0.1.2" }
-powdr-isa-utils = { path = "./isa-utils", version = "0.1.2" }
-powdr-analysis = { path = "./analysis", version = "0.1.2" }
-powdr-backend = { path = "./backend", version = "0.1.2" }
-powdr-backend-utils = { path = "./backend-utils", version = "0.1.2" }
-powdr-executor = { path = "./executor", version = "0.1.2" }
-powdr-importer = { path = "./importer", version = "0.1.2" }
-powdr-jit-compiler = { path = "./jit-compiler", version = "0.1.2" }
-powdr-linker = { path = "./linker", version = "0.1.2" }
-powdr-number = { path = "./number", version = "0.1.2" }
-powdr-parser = { path = "./parser", version = "0.1.2" }
-powdr-parser-util = { path = "./parser-util", version = "0.1.2" }
-powdr-pil-analyzer = { path = "./pil-analyzer", version = "0.1.2" }
-powdr-pilopt = { path = "./pilopt", version = "0.1.2" }
-powdr-pipeline = { path = "./pipeline", version = "0.1.2" }
-powdr-plonky3 = { path = "./plonky3", version = "0.1.2" }
-powdr-riscv = { path = "./riscv", version = "0.1.2" }
-powdr-riscv-executor = { path = "./riscv-executor", version = "0.1.2" }
-powdr-riscv-syscalls = { path = "./riscv-syscalls", version = "0.1.2" }
-powdr-schemas = { path = "./schemas", version = "0.1.2" }
+powdr = { path = "./powdr", version = "0.1.3" }
+powdr-airgen = { path = "./airgen", version = "0.1.3" }
+powdr-ast = { path = "./ast", version = "0.1.3" }
+powdr-asm-to-pil = { path = "./asm-to-pil", version = "0.1.3" }
+powdr-isa-utils = { path = "./isa-utils", version = "0.1.3" }
+powdr-analysis = { path = "./analysis", version = "0.1.3" }
+powdr-backend = { path = "./backend", version = "0.1.3" }
+powdr-backend-utils = { path = "./backend-utils", version = "0.1.3" }
+powdr-executor = { path = "./executor", version = "0.1.3" }
+powdr-importer = { path = "./importer", version = "0.1.3" }
+powdr-jit-compiler = { path = "./jit-compiler", version = "0.1.3" }
+powdr-linker = { path = "./linker", version = "0.1.3" }
+powdr-number = { path = "./number", version = "0.1.3" }
+powdr-parser = { path = "./parser", version = "0.1.3" }
+powdr-parser-util = { path = "./parser-util", version = "0.1.3" }
+powdr-pil-analyzer = { path = "./pil-analyzer", version = "0.1.3" }
+powdr-pilopt = { path = "./pilopt", version = "0.1.3" }
+powdr-pipeline = { path = "./pipeline", version = "0.1.3" }
+powdr-plonky3 = { path = "./plonky3", version = "0.1.3" }
+powdr-riscv = { path = "./riscv", version = "0.1.3" }
+powdr-riscv-executor = { path = "./riscv-executor", version = "0.1.3" }
+powdr-riscv-syscalls = { path = "./riscv-syscalls", version = "0.1.3" }
+powdr-schemas = { path = "./schemas", version = "0.1.3" }
 
 [profile.pr-tests]
 inherits = "dev"

examples/fibonacci/Cargo.toml

@@ -8,7 +8,7 @@ default = []
 simd = ["powdr/plonky3-simd"]
 
 [dependencies]
-powdr = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1", features = ["plonky3"] }
+powdr = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2", features = ["plonky3"] }
 serde = { version = "1.0", default-features = false, features = [
   "alloc",
   "derive",

examples/fibonacci/guest/Cargo.toml

@@ -4,8 +4,8 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-powdr-riscv-syscalls = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1" }
-powdr-riscv-runtime = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1", features = [
+powdr-riscv-syscalls = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2" }
+powdr-riscv-runtime = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2", features = [
   "std",
 ] }
 

examples/keccak/Cargo.toml

@@ -8,7 +8,7 @@ default = []
 simd = ["powdr/plonky3-simd"]
 
 [dependencies]
-powdr = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1", features = ["plonky3"] }
+powdr = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2", features = ["plonky3"] }
 hex = "0.4"
 serde = { version = "1.0", default-features = false, features = [
   "alloc",

examples/keccak/guest/Cargo.toml

@@ -4,8 +4,8 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-powdr-riscv-syscalls = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1" }
-powdr-riscv-runtime = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.1", features = [
+powdr-riscv-syscalls = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2" }
+powdr-riscv-runtime = { git = "https://github.com/powdr-labs/powdr", tag = "v0.1.2", features = [
   "std",
 ] }
 tiny-keccak = { version = "2.0.2", features = ["keccak"] }

riscv-runtime/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "powdr-riscv-runtime"
 description = "powdr runtime provider for RISCV programs"
-version = "0.1.2"
+version = "0.1.3"
 edition = "2021"
 license = "MIT"
 homepage = "https://powdr.org"
@@ -10,7 +10,7 @@ repository = "https://github.com/powdr-labs/powdr"
 [dependencies]
 serde = { version = "1.0", default-features = false, features = ["alloc", "derive", "rc"] }
 serde_cbor = { version = "0.11.2", default-features = false, features = ["alloc"] }
-powdr-riscv-syscalls = { path = "../riscv-syscalls", version = "0.1.0-alpha.2" }
+powdr-riscv-syscalls = { path = "../riscv-syscalls", version = "0.1.3" }
 getrandom = { version = "0.2", features = ["custom"], optional = true }
 
 [features]