diff --git a/Cargo.lock b/Cargo.lock index 6a38a82..d5f7f6b 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -177,7 +177,7 @@ dependencies = [ [[package]] name = "circomspect-parser" -version = "2.0.1" +version = "2.0.2" dependencies = [ "circomspect-program-structure", "lalrpop", @@ -193,7 +193,7 @@ dependencies = [ [[package]] name = "circomspect-program-analysis" -version = "0.5.1" +version = "0.5.2" dependencies = [ "anyhow", "circomspect-parser", diff --git a/cli/Cargo.toml b/cli/Cargo.toml index 552b7a9..9aaa6f3 100644 --- a/cli/Cargo.toml +++ b/cli/Cargo.toml @@ -14,9 +14,9 @@ anyhow = "1.0" atty = "0.2.14" clap = { version = "3.2", features = ["derive"] } log = "0.4" -parser = { package = "circomspect-parser", version = "2.0.1", path = "../parser" } +parser = { package = "circomspect-parser", version = "2.0.2", path = "../parser" } pretty_env_logger = "0.4" -program_analysis = { package = "circomspect-program-analysis", version = "0.5.1", path = "../program_analysis" } +program_analysis = { package = "circomspect-program-analysis", version = "0.5.2", path = "../program_analysis" } program_structure = { package = "circomspect-program-structure", version = "2.0.2", path = "../program_structure" } serde_json = "1.0.81" termcolor = "1.1.3" diff --git a/parser/Cargo.toml b/parser/Cargo.toml index 6eb2e3e..b412826 100644 --- a/parser/Cargo.toml +++ b/parser/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "circomspect-parser" -version = "2.0.1" +version = "2.0.2" edition = "2018" build = "build.rs" license = "LGPL-3.0-only" diff --git a/program_analysis/Cargo.toml b/program_analysis/Cargo.toml index a1d82c0..14f5140 100644 --- a/program_analysis/Cargo.toml +++ b/program_analysis/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "circomspect-program-analysis" -version = "0.5.1" +version = "0.5.2" edition = "2021" license = "LGPL-3.0-only" authors = ["Trail of Bits"] @@ -12,9 +12,9 @@ anyhow = "1.0" log = "0.4" num-bigint-dig = "0.6.0" num-traits = "0.2.6" -parser = { package = "circomspect-parser", version = "2.0.1", path = "../parser" } +parser = { package = "circomspect-parser", version = "2.0.2", path = "../parser" } program_structure = { package = "circomspect-program-structure", version = "2.0.2", path = "../program_structure" } [dev-dependencies] -parser = { package = "circomspect-parser", version = "2.0.1", path = "../parser" } +parser = { package = "circomspect-parser", version = "2.0.2", path = "../parser" } program_structure = { package = "circomspect-program-structure", version = "2.0.2", path = "../program_structure" }