From a00ac16b5a62f3fcf586e1e0b0465de95d5041a4 Mon Sep 17 00:00:00 2001 From: grjte Date: Thu, 23 Feb 2023 10:05:59 +0000 Subject: [PATCH 1/2] fix: AirScript example failed to compile --- examples/example.air | 3 +++ 1 file changed, 3 insertions(+) diff --git a/examples/example.air b/examples/example.air index c8c783b5..95f85042 100644 --- a/examples/example.air +++ b/examples/example.air @@ -13,6 +13,9 @@ public_inputs: periodic_columns: k0: [1, 1, 1, 1, 1, 1, 1, 0] +random_values: + rand: [1] + boundary_constraints: # define boundary constraints against the main trace at the first row of the trace. enf a.first = stack_inputs[0] From 32d0963eafc6ae1b4b8a916dd00dab4f18da1470 Mon Sep 17 00:00:00 2001 From: grjte Date: Thu, 23 Feb 2023 10:17:50 +0000 Subject: [PATCH 2/2] chore: update dependencies and crate versions --- CHANGELOG.md | 2 +- air-script-core/Cargo.toml | 2 +- air-script/Cargo.toml | 16 ++++++++-------- codegen/winterfell/Cargo.toml | 6 +++--- ir/Cargo.toml | 6 +++--- parser/Cargo.toml | 4 ++-- 6 files changed, 18 insertions(+), 18 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ace8dad3..06569a12 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## 0.2.0 (2023-02-22) +## 0.2.0 (2023-02-23) - Added support for named constants (scalars, vectors, and matrices). - Added support for intermediate variables in `boundary_constraints` and `integrity_constraints` sections (scalars, vectors, and matrices). diff --git a/air-script-core/Cargo.toml b/air-script-core/Cargo.toml index a89cdae7..44d4a151 100644 --- a/air-script-core/Cargo.toml +++ b/air-script-core/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "air-script-core" -version = "0.1.0" +version = "0.2.0" description="Core types for the AirScript compiler" authors = ["miden contributors"] readme="README.md" diff --git a/air-script/Cargo.toml b/air-script/Cargo.toml index d4f5591e..5b9234b5 100644 --- a/air-script/Cargo.toml +++ b/air-script/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "air-script" -version = "0.1.0" +version = "0.2.0" description="AirScript language compiler" authors = ["miden contributors"] readme="README.md" @@ -17,15 +17,15 @@ name = "airc" path = "src/main.rs" [dependencies] -codegen-winter = { package = "air-codegen-winter", path = "../codegen/winterfell", version = "0.1.0" } -env_logger = "0.9" -ir = { package = "air-ir", path = "../ir", version = "0.1.0" } +codegen-winter = { package = "air-codegen-winter", path = "../codegen/winterfell", version = "0.2.0" } +env_logger = "0.10.0" +ir = { package = "air-ir", path = "../ir", version = "0.2.0" } log = { version = "0.4", default-features = false } -parser = { package = "air-parser", path = "../parser", version = "0.1.0" } +parser = { package = "air-parser", path = "../parser", version = "0.2.0" } structopt = "0.3.26" [dev-dependencies] -winter-air = { package = "winter-air", version = "0.4.2", default-features = false } -winter-math = { package = "winter-math", version = "0.4.2", default-features = false } -winter-utils = { package = "winter-utils", version = "0.4.2", default-features = false } +winter-air = { package = "winter-air", version = "0.5.1", default-features = false } +winter-math = { package = "winter-math", version = "0.5.1", default-features = false } +winter-utils = { package = "winter-utils", version = "0.5.1", default-features = false } expect-test = "1.4.0" diff --git a/codegen/winterfell/Cargo.toml b/codegen/winterfell/Cargo.toml index 98870c60..088f0688 100644 --- a/codegen/winterfell/Cargo.toml +++ b/codegen/winterfell/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "air-codegen-winter" -version = "0.1.0" +version = "0.2.0" description="Winterfell code generator for the AirScript language" authors = ["miden contributors"] readme="README.md" @@ -12,6 +12,6 @@ edition = "2021" rust-version = "1.65" [dependencies] -air-script-core = {package = "air-script-core", path="../../air-script-core", version="0.1.0" } -ir = {package = "air-ir", path="../../ir", version="0.1.0" } +air-script-core = { package = "air-script-core", path="../../air-script-core", version="0.2.0" } +ir = { package = "air-ir", path="../../ir", version="0.2.0" } codegen = "0.2.0" diff --git a/ir/Cargo.toml b/ir/Cargo.toml index 851c1fa6..0b76949a 100644 --- a/ir/Cargo.toml +++ b/ir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "air-ir" -version = "0.1.0" +version = "0.2.0" description="Intermediate representation for the AirScript language" authors = ["miden contributors"] readme="README.md" @@ -12,5 +12,5 @@ edition = "2021" rust-version = "1.65" [dependencies] -air-script-core = {package = "air-script-core", path="../air-script-core", version="0.1.0" } -parser = { package = "air-parser", path = "../parser", version = "0.1.0" } +air-script-core = { package = "air-script-core", path="../air-script-core", version="0.2.0" } +parser = { package = "air-parser", path = "../parser", version = "0.2.0" } diff --git a/parser/Cargo.toml b/parser/Cargo.toml index 24dd2451..a4d23320 100644 --- a/parser/Cargo.toml +++ b/parser/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "air-parser" -version = "0.1.0" +version = "0.2.0" description="Parser for the AirScript language" authors = ["miden contributors"] readme="README.md" @@ -14,7 +14,7 @@ rust-version = "1.65" lalrpop = "0.19.7" [dependencies] -air-script-core = {package = "air-script-core", path="../air-script-core", version="0.1.0" } +air-script-core = { package = "air-script-core", path="../air-script-core", version="0.2.0" } lalrpop-util = { version = "0.19.7" } logos = "0.12.0" regex = "1" \ No newline at end of file