diff --git a/.resources/release-version b/.resources/release-version index 7651c3726e..e1e35526c0 100644 --- a/.resources/release-version +++ b/.resources/release-version @@ -1 +1 @@ -v1.9.4 \ No newline at end of file +v1.10.0 \ No newline at end of file diff --git a/Cargo.lock b/Cargo.lock index 6da4251e36..d6458173d2 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1277,7 +1277,7 @@ checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646" [[package]] name = "leo-abnf" -version = "1.9.4" +version = "1.10.0" dependencies = [ "abnf", "anyhow", @@ -1285,7 +1285,7 @@ dependencies = [ [[package]] name = "leo-ast" -version = "1.9.4" +version = "1.10.0" dependencies = [ "criterion", "indexmap 1.9.3", @@ -1299,7 +1299,7 @@ dependencies = [ [[package]] name = "leo-compiler" -version = "1.9.4" +version = "1.10.0" dependencies = [ "dotenvy", "leo-ast", @@ -1320,7 +1320,7 @@ dependencies = [ [[package]] name = "leo-errors" -version = "1.9.4" +version = "1.10.0" dependencies = [ "anyhow", "backtrace", @@ -1334,7 +1334,7 @@ dependencies = [ [[package]] name = "leo-lang" -version = "1.9.4" +version = "1.10.0" dependencies = [ "ansi_term", "assert_cmd", @@ -1373,7 +1373,7 @@ dependencies = [ [[package]] name = "leo-package" -version = "1.9.4" +version = "1.10.0" dependencies = [ "indexmap 1.9.3", "lazy_static", @@ -1388,7 +1388,7 @@ dependencies = [ [[package]] name = "leo-parser" -version = "1.9.4" +version = "1.10.0" dependencies = [ "clap", "indexmap 1.9.3", @@ -1407,7 +1407,7 @@ dependencies = [ [[package]] name = "leo-passes" -version = "1.9.4" +version = "1.10.0" dependencies = [ "indexmap 1.9.3", "itertools 0.11.0", @@ -1423,7 +1423,7 @@ dependencies = [ [[package]] name = "leo-span" -version = "1.9.4" +version = "1.10.0" dependencies = [ "fxhash", "indexmap 1.9.3", @@ -1433,7 +1433,7 @@ dependencies = [ [[package]] name = "leo-test-framework" -version = "1.9.4" +version = "1.10.0" dependencies = [ "backtrace", "clap", diff --git a/Cargo.toml b/Cargo.toml index 6be37adbfa..7f1ac4a65c 100644 --- 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 " ] 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 index b0aa561597..f1199f50ba 100644 --- 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 " ] 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 index d4fa9cd1cf..03e156f2ee 100644 --- 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 " ] 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 index 8c20034c2b..6ced3d64ff 100644 --- 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 " ] 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 index f161d4b2b0..5f85683c0a 100644 --- 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 " ] 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 index 3e377f3a4d..babd274b00 100644 --- 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 " ] description = "Span handling for the Leo programming language" homepage = "https://aleo.org" diff --git a/docs/grammar/Cargo.toml b/docs/grammar/Cargo.toml index 05b915029d..91e078f575 100644 --- 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 " ] description = "ABNF to Markdown converter for the Leo programming language" homepage = "https://aleo.org" diff --git a/errors/Cargo.toml b/errors/Cargo.toml index 414497516d..ec4708fcd5 100644 --- 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 " ] 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 new file mode 100644 index 0000000000..f721f7f6f4 --- /dev/null +++ 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 new file mode 100644 index 0000000000..53cfde8c89 --- /dev/null +++ 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 new file mode 100644 index 0000000000..7cdbe45740 --- /dev/null +++ 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 new file mode 100644 index 0000000000..a4c305481b --- /dev/null +++ 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 new file mode 100644 index 0000000000..70824e61eb --- /dev/null +++ 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 new file mode 100644 index 0000000000..a4c305481b --- /dev/null +++ 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 new file mode 100644 index 0000000000..dc5295871c --- /dev/null +++ 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 index 7ddbdea22a..be30bd982a 100644 --- 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 " ] 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 index e84bbfa55e..66ef2441cf 100644 --- 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 " ] 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"