chore(leo): bump version for new release

ProvableHQ · Oct 20, 2023 · eb12c7e · eb12c7e
1 parent 3548158
commit eb12c7e
Show file tree

Hide file tree

Showing 19 changed files with 94 additions and 45 deletions.
diff --git a/.resources/release-version b/.resources/release-version
@@ -1 +1 @@
-v1.9.4
+v1.10.0
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-lang"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "The Leo programming language"
 homepage = "https://aleo.org"
@@ -47,7 +47,6 @@ members = [
 [workspace.dependencies.snarkvm]
 version = "0.16.1"
 
-
 [workspace.dependencies.snarkvm-console]
 version = "0.16.1"
 
@@ -65,27 +64,27 @@ noconfig = [ ]
 
 [dependencies.leo-ast]
 path = "./compiler/ast"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-compiler]
 path = "./compiler/compiler"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-errors]
 path = "./errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-package]
 path = "./leo/package"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-parser]
 path = "./compiler/parser"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-span]
 path = "./compiler/span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.backtrace]
 version = "0.3.68"

diff --git a/compiler/ast/Cargo.toml b/compiler/ast/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-ast"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Abstract syntax tree (AST) for the Leo programming language"
 homepage = "https://aleo.org"
@@ -20,11 +20,11 @@ rust-version = "1.69"
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-span]
 path = "../span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.indexmap]
 version = "1.9"

diff --git a/compiler/compiler/Cargo.toml b/compiler/compiler/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-compiler"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Compiler for Leo programming language"
 homepage = "https://aleo.org"
@@ -20,23 +20,23 @@ rust-version = "1.69"
 
 [dependencies.leo-ast]
 path = "../ast"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-passes]
 path = "../passes"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-parser]
 path = "../parser"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-span]
 path = "../span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.sha2]
 version = "0.10"

diff --git a/compiler/parser/Cargo.toml b/compiler/parser/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-parser"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Parser for the Leo programming language"
 homepage = "https://aleo.org"
@@ -20,15 +20,15 @@ rust-version = "1.69"
 
 [dependencies.leo-ast]
 path = "../ast"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-span]
 path = "../span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.snarkvm-console]
 workspace = true

diff --git a/compiler/passes/Cargo.toml b/compiler/passes/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-passes"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Compiler passes for the Leo programming language"
 homepage = "https://aleo.org"
@@ -27,19 +27,19 @@ features = [ "network" ]
 
 [dependencies.leo-ast]
 path = "../ast"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-parser]
 path = "../parser"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.leo-span]
 path = "../span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.indexmap]
 version = "1.9"

diff --git a/compiler/span/Cargo.toml b/compiler/span/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-span"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Span handling for the Leo programming language"
 homepage = "https://aleo.org"

diff --git a/docs/grammar/Cargo.toml b/docs/grammar/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-abnf"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "ABNF to Markdown converter for the Leo programming language"
 homepage = "https://aleo.org"

diff --git a/errors/Cargo.toml b/errors/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-errors"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Errors for the Leo programming language"
 homepage = "https://aleo.org"
@@ -20,7 +20,7 @@ rust-version = "1.69"
 
 [dependencies.leo-span]
 path = "../compiler/span"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.anyhow]
 version = "1.0"

diff --git a/examples/helloworld/hello/.gitignore b/examples/helloworld/hello/.gitignore
@@ -0,0 +1,5 @@
+.env
+*.avm
+*.prover
+*.verifier
+outputs/
diff --git a/examples/helloworld/hello/README.md b/examples/helloworld/hello/README.md
@@ -0,0 +1,13 @@
+# hello.aleo
+
+## Build Guide
+
+To compile this Aleo program, run:
+```bash
+snarkvm build
+```
+
+To execute this Aleo program, run:
+```bash
+snarkvm run hello
+```
diff --git a/examples/helloworld/hello/build/main.aleo b/examples/helloworld/hello/build/main.aleo
@@ -0,0 +1,9 @@
+program hello.aleo;
+
+
+
+function main:
+    input r0 as u32.public;
+    input r1 as u32.private;
+    add r0 r1 into r2;
+    output r2 as u32.private;
diff --git a/examples/helloworld/hello/build/program.json b/examples/helloworld/hello/build/program.json
@@ -0,0 +1,6 @@
+{
+    "program": "hello.aleo",
+    "version": "0.0.0",
+    "description": "",
+    "license": "MIT"
+}
diff --git a/examples/helloworld/hello/inputs/hello.in b/examples/helloworld/hello/inputs/hello.in
@@ -0,0 +1,4 @@
+// The program input for hello/src/main.leo
+[main]
+public a: u32 = 1u32;
+b: u32 = 2u32;
diff --git a/examples/helloworld/hello/program.json b/examples/helloworld/hello/program.json
@@ -0,0 +1,6 @@
+{
+    "program": "hello.aleo",
+    "version": "0.0.0",
+    "description": "",
+    "license": "MIT"
+}
diff --git a/examples/helloworld/hello/src/main.leo b/examples/helloworld/hello/src/main.leo
@@ -0,0 +1,7 @@
+// The 'hello' program.
+program hello.aleo {
+    transition main(public a: u32, b: u32) -> u32 {
+        let c: u32 = a + b;
+        return c;
+    }
+}
diff --git a/leo/package/Cargo.toml b/leo/package/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-package"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "Package parser for the Leo programming language"
 homepage = "https://aleo.org"
@@ -24,7 +24,7 @@ features = [ "account" ]
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.indexmap]
 version = "1.9"

diff --git a/tests/test-framework/Cargo.toml b/tests/test-framework/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "leo-test-framework"
-version = "1.9.4"
+version = "1.10.0"
 authors = [ "The Aleo Team <[email protected]>" ]
 description = "The testing framework for the Leo programming language"
 homepage = "https://aleo.org"
@@ -24,7 +24,7 @@ harness = false
 
 [dependencies.leo-errors]
 path = "../../errors"
-version = "=1.9.4"
+version = "=1.10.0"
 
 [dependencies.backtrace]
 version = "0.3.68"