AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-11-24 02:42:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

impl nonce

Browse Source
This commit is contained in:
collin 2022-08-03 13:35:58 -07:00
parent 3a9b7c276b
commit e5da76abaf
559 changed files with 154 additions and 26478 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

361
Cargo.lock generated
View File

@ -71,7 +71,7 @@ dependencies = [
[[package]]
name = "aleo"
version = "0.2.0"
source = "git+https://github.com/AleoHQ/aleo.git?rev=38e9d91#38e9d9135795db1dd40d6b4d97a3dcb6f6f4228f"
source = "git+https://github.com/AleoHQ/aleo.git?rev=cbbe6c4#cbbe6c4a4041da6d5c55a88bd73ca6fcd63f317d"
dependencies = [
"anyhow",
"clap 3.2.16",
@ -240,12 +240,6 @@ version = "1.0.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8a32fd6af2b5827bce66c29053ba0e7c42b9dcab01835835058558c10851a46b"
[[package]]
name = "bech32"
version = "0.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cf9ff0bbfd639f15c74af777d81383cf53efb7c93613f6cab67c6c11e05bbf8b"
[[package]]
name = "bech32"
version = "0.9.0"
@ -267,15 +261,6 @@ version = "1.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
[[package]]
name = "blake2"
version = "0.10.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b9cf849ee05b2ee5fba5e36f97ff8ec2533916700fc0758d40d92136a42f3388"
dependencies = [
"digest",
]
[[package]]
name = "blake2s_simd"
version = "1.0.0"
@ -1267,7 +1252,7 @@ dependencies = [
"serde_json",
"serde_yaml",
"smallvec",
"snarkvm-dpc",
"snarkvm-console",
"tracing",
]
@ -1743,15 +1728,6 @@ dependencies = [
"termtree",
]
[[package]]
name = "proc-macro-crate"
version = "0.1.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1d6ea3c4595b96363c13943497db34af4460fb474a95c43f4446ad341b8c9785"
dependencies = [
"toml",
]
[[package]]
name = "proc-macro-crate"
version = "1.1.3"
@ -2297,7 +2273,7 @@ dependencies = [
[[package]]
name = "snarkvm"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"clap 3.2.16",
@ -2312,10 +2288,10 @@ dependencies = [
"snarkvm-circuit",
"snarkvm-compiler",
"snarkvm-console",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields",
"snarkvm-parameters",
"snarkvm-utilities",
"thiserror",
"tracing",
"ureq",
"walkdir",
]
@ -2323,12 +2299,11 @@ dependencies = [
[[package]]
name = "snarkvm-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"aleo-std",
"anyhow",
"bincode",
"blake2s_simd",
"crossbeam-channel",
"curl",
"derivative",
@ -2347,52 +2322,18 @@ dependencies = [
"serde",
"sha2",
"smallvec",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-parameters 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-r1cs 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"thiserror",
]
[[package]]
name = "snarkvm-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"aleo-std",
"anyhow",
"bincode",
"blake2s_simd",
"crossbeam-channel",
"curl",
"derivative",
"digest",
"hashbrown",
"hex",
"itertools",
"lazy_static",
"num_cpus",
"once_cell",
"parking_lot",
"rand",
"rand_chacha",
"rand_core",
"rayon",
"serde",
"sha2",
"smallvec",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-r1cs 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-parameters",
"snarkvm-r1cs",
"snarkvm-utilities",
"thiserror",
]
[[package]]
name = "snarkvm-circuit"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-account",
"snarkvm-circuit-algorithms",
@ -2406,7 +2347,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-account"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-network",
@ -2417,17 +2358,17 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-types",
"snarkvm-console-algorithms",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields",
]
[[package]]
name = "snarkvm-circuit-collections"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-types",
@ -2437,7 +2378,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-environment"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"indexmap",
"itertools",
@ -2446,45 +2387,45 @@ dependencies = [
"once_cell",
"snarkvm-circuit-environment-witness",
"snarkvm-console-network",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-r1cs 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-r1cs",
"snarkvm-utilities",
]
[[package]]
name = "snarkvm-circuit-environment-witness"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
[[package]]
name = "snarkvm-circuit-network"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-collections",
"snarkvm-circuit-types",
"snarkvm-console-network",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields",
]
[[package]]
name = "snarkvm-circuit-program"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-account",
"snarkvm-circuit-network",
"snarkvm-circuit-types",
"snarkvm-console-program",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities",
]
[[package]]
name = "snarkvm-circuit-types"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-address",
@ -2499,7 +2440,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-address"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2512,7 +2453,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-boolean"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-console-types-boolean",
@ -2521,7 +2462,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-field"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2531,20 +2472,20 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-group"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
"snarkvm-circuit-types-field",
"snarkvm-circuit-types-scalar",
"snarkvm-console-types-group",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-curves",
]
[[package]]
name = "snarkvm-circuit-types-integers"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2555,7 +2496,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-scalar"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2566,7 +2507,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-string"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2578,7 +2519,7 @@ dependencies = [
[[package]]
name = "snarkvm-compiler"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"colored",
@ -2589,20 +2530,21 @@ dependencies = [
"rand",
"rayon",
"serde_json",
"snarkvm-algorithms 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-algorithms",
"snarkvm-circuit",
"snarkvm-console",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-parameters 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-parameters",
"snarkvm-utilities",
"time",
"tracing",
]
[[package]]
name = "snarkvm-console"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-account",
"snarkvm-console-algorithms",
@ -2615,7 +2557,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-account"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"base58",
"snarkvm-console-network",
@ -2625,19 +2567,19 @@ dependencies = [
[[package]]
name = "snarkvm-console-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"blake2s_simd",
"smallvec",
"snarkvm-console-types",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields",
"snarkvm-utilities",
]
[[package]]
name = "snarkvm-console-collections"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"aleo-std",
"rayon",
@ -2648,7 +2590,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-network"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"itertools",
@ -2658,33 +2600,33 @@ dependencies = [
"snarkvm-console-collections",
"snarkvm-console-network-environment",
"snarkvm-console-types",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-utilities",
]
[[package]]
name = "snarkvm-console-network-environment"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"bech32 0.9.0",
"bech32",
"itertools",
"nom",
"num-traits",
"rand",
"rand_xorshift",
"serde",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-utilities",
]
[[package]]
name = "snarkvm-console-program"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"enum_index",
"enum_index_derive",
@ -2701,7 +2643,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-address",
@ -2716,7 +2658,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-address"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2727,7 +2669,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-boolean"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
]
@ -2735,7 +2677,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-field"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2744,7 +2686,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-group"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2755,7 +2697,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-integers"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2765,7 +2707,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-scalar"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2775,7 +2717,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-string"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2786,64 +2728,21 @@ dependencies = [
[[package]]
name = "snarkvm-curves"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"derivative",
"rand",
"rustc_version",
"serde",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields",
"snarkvm-utilities",
"thiserror",
]
[[package]]
name = "snarkvm-curves"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"derivative",
"rand",
"rustc_version",
"serde",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"thiserror",
]
[[package]]
name = "snarkvm-dpc"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"anyhow",
"base58",
"bech32 0.8.1",
"bincode",
"blake2",
"derivative",
"hex",
"itertools",
"once_cell",
"rand",
"rayon",
"serde",
"serde_json",
"snarkvm-algorithms 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-gadgets",
"snarkvm-parameters 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-r1cs 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"thiserror",
"time",
]
[[package]]
name = "snarkvm-fields"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"derivative",
@ -2851,45 +2750,14 @@ dependencies = [
"rand",
"rayon",
"serde",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"thiserror",
]
[[package]]
name = "snarkvm-fields"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"anyhow",
"derivative",
"rand",
"rayon",
"serde",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"thiserror",
]
[[package]]
name = "snarkvm-gadgets"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"anyhow",
"derivative",
"itertools",
"num-traits",
"snarkvm-algorithms 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-r1cs 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities",
"thiserror",
]
[[package]]
name = "snarkvm-parameters"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"aleo-std",
"anyhow",
@ -2903,64 +2771,31 @@ dependencies = [
"rand",
"serde_json",
"sha2",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"thiserror",
]
[[package]]
name = "snarkvm-parameters"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"aleo-std",
"anyhow",
"cfg-if",
"curl",
"hex",
"paste",
"serde_json",
"snarkvm-algorithms 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-curves",
"snarkvm-utilities",
"thiserror",
]
[[package]]
name = "snarkvm-r1cs"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"anyhow",
"cfg-if",
"fxhash",
"indexmap",
"itertools",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"thiserror",
]
[[package]]
name = "snarkvm-r1cs"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"anyhow",
"cfg-if",
"fxhash",
"indexmap",
"itertools",
"snarkvm-curves 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-fields 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-curves",
"snarkvm-fields",
"snarkvm-utilities",
"thiserror",
]
[[package]]
name = "snarkvm-utilities"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"aleo-std",
"anyhow",
@ -2971,46 +2806,16 @@ dependencies = [
"rand_xorshift",
"rayon",
"serde",
"snarkvm-utilities-derives 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20)",
"thiserror",
]
[[package]]
name = "snarkvm-utilities"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"aleo-std",
"anyhow",
"bincode",
"num-bigint",
"num_cpus",
"rand",
"rand_xorshift",
"rayon",
"serde",
"snarkvm-utilities-derives 0.7.5 (git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79)",
"snarkvm-utilities-derives",
"thiserror",
]
[[package]]
name = "snarkvm-utilities-derives"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=84c3e20#84c3e20742f9136ac112639da6ee46aa5a0eaf6f"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
dependencies = [
"proc-macro-crate 1.1.3",
"proc-macro-error",
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
]
[[package]]
name = "snarkvm-utilities-derives"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=85b7a79#85b7a790659168d693ebb93bfe49e3b8808fbb41"
dependencies = [
"proc-macro-crate 0.1.5",
"proc-macro-crate",
"proc-macro-error",
"proc-macro2 1.0.40",
"quote 1.0.20",

4
Cargo.toml
View File

@ -62,11 +62,11 @@ version = "1.5.3"
[dependencies.aleo]
git = "https://github.com/AleoHQ/aleo.git"
rev = "38e9d91"
rev = "cbbe6c4"
[dependencies.snarkvm]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "84c3e20"
rev = "62de4cf"
features = ["circuit", "console", "parallel"]
[dependencies.backtrace]

34
compiler/ast/src/expressions/circuit_init.rs
View File

@ -13,6 +13,8 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_span::sym;
use super::*;
/// An initializer for a single field / variable of a circuit initializer expression.
@ -50,6 +52,38 @@ pub struct CircuitExpression {
pub span: Span,
}
impl CircuitExpression {
/// Returns true if the record has all required fields and visibility.
pub fn check_record(&self) -> bool {
let has_member = |symbol| self
.members
.iter()
.any(|variable| variable.identifier.name == symbol);
has_member(sym::owner)
&& has_member(sym::gates)
&& has_member(sym::_nonce)
}
/// Returns the circuit as a record interface with visibility.
pub fn to_record_string(&self) -> String {
format!(
"{{{}}}",
self.members
.iter()
.map(|variable| {
// Write default visibility.
if variable.identifier.name == sym::_nonce {
format!("{}.public", variable)
} else {
format!("{}.private", variable)
}
})
.collect::<Vec<_>>()
.join(", "))
}
}
impl fmt::Display for CircuitExpression {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(

11
compiler/ast/src/input/input_ast.rs
View File

@ -58,16 +58,9 @@ impl InputAst {
Some(circuit) => match circuit.is_record {
false => definition.value.to_string(),
true => match &definition.value {
// Print out the record interface with visibility.
Expression::Circuit(circuit_expression) => {
format!(
"{{{}}}",
circuit_expression
.members
.iter()
.map(|x| format!("{}.private", x))
.collect::<Vec<_>>()
.join(", ")
)
circuit_expression.to_record_string()
}
_ => panic!("Input error: Expected a circuit expression."),
},

2
compiler/compiler/Cargo.toml
View File

@ -47,7 +47,7 @@ version = "1.4.0"
[dev-dependencies.snarkvm]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "84c3e20"
rev = "62de4cf"
features = ["circuit", "console", "parallel"]
[dev-dependencies.serde]

5
compiler/parser/Cargo.toml
View File

@ -30,9 +30,10 @@ version = "1.5.3"
path = "../span"
version = "1.5.3"
[dependencies.snarkvm-dpc]
[dependencies.snarkvm-console]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "85b7a79"
rev = "62de4cf"
features = ["account", "network"]
[dependencies.clap]
version = "3.2"

3
compiler/parser/src/parser/context.rs
View File

@ -39,6 +39,8 @@ pub(crate) struct ParserContext<'a> {
pub(crate) prev_token: SpannedToken,
/// true if parsing an expression for if and loop statements -- means circuit inits are not legal
pub(crate) disallow_circuit_construction: bool,
/// true if parsing an identifier inside an input file.
pub(crate) allow_identifier_underscores: bool,
}
/// Dummy span used to appease borrow checker.
@ -59,6 +61,7 @@ impl<'a> ParserContext<'a> {
let mut p = Self {
handler,
disallow_circuit_construction: false,
allow_identifier_underscores: false,
prev_token: token.clone(),
token,
tokens,

20
compiler/parser/src/parser/expression.rs
View File

@ -17,7 +17,8 @@
use super::*;
use leo_errors::{ParserError, Result};
use snarkvm_dpc::{prelude::Address, testnet2::Testnet2};
use snarkvm_console::{account::Address, network::Testnet3};
use leo_span::Symbol;
const INT_TYPES: &[Token] = &[
Token::I8,
@ -459,7 +460,14 @@ impl ParserContext<'_> {
}
fn parse_circuit_member(&mut self) -> Result<CircuitVariableInitializer> {
let identifier = self.expect_identifier()?;
let identifier = if self.allow_identifier_underscores && self.eat(&Token::Underscore) {
// Allow `_nonce` for circuit records.
let identifier_without_underscore = self.expect_identifier()?;
Identifier::new(Symbol::intern(&format!("_{}", identifier_without_underscore.name)))
} else {
self.expect_identifier()?
};
let expression = if self.eat(&Token::Colon) {
// Parse individual circuit variable declarations.
Some(self.parse_expression()?)
@ -543,11 +551,11 @@ impl ParserContext<'_> {
}
Token::True => Expression::Literal(Literal::Boolean(true, span)),
Token::False => Expression::Literal(Literal::Boolean(false, span)),
Token::AddressLit(addr) => {
if addr.parse::<Address<Testnet2>>().is_err() {
self.emit_err(ParserError::invalid_address_lit(&addr, span));
Token::AddressLit(address_string) => {
if address_string.parse::<Address<Testnet3>>().is_err() {
self.emit_err(ParserError::invalid_address_lit(&address_string, span));
}
Expression::Literal(Literal::Address(addr, span))
Expression::Literal(Literal::Address(address_string, span))
}
Token::StaticString(value) => Expression::Literal(Literal::String(value, span)),
Token::Identifier(name) => {

5
compiler/parser/src/parser/input.rs
View File

@ -21,6 +21,8 @@ use leo_errors::{ParserError, Result};
impl ParserContext<'_> {
/// Returns a [`ParsedInputFile`] struct filled with the data acquired in the file.
pub(crate) fn parse_input(&mut self) -> Result<InputAst> {
// Allow underscores in identifiers for input record declarations.
self.allow_identifier_underscores = true;
let mut sections = Vec::new();
while self.has_next() {
@ -31,6 +33,9 @@ impl ParserContext<'_> {
}
}
// Do not allow underscores in identifiers outside of input files.
self.allow_identifier_underscores = false;
Ok(InputAst { sections })
}

10
compiler/parser/src/tokenizer/lexer.rs
View File

@ -385,12 +385,12 @@ impl Token {
'^' => return match_two(&mut input, Token::BitXor, '=', Token::BitXorAssign),
_ => (),
}
if let Some(ident) = eat_identifier(&mut input) {
if let Some(identifier) = eat_identifier(&mut input) {
return Ok((
ident.len(),
identifier.len(),
// todo: match on symbols instead of hard-coded &str's
match &*ident {
x if x.starts_with("aleo1") => Token::AddressLit(ident),
match &*identifier {
x if x.starts_with("aleo1") => Token::AddressLit(identifier),
"address" => Token::Address,
"bool" => Token::Bool,
"circuit" => Token::Circuit,
@ -423,7 +423,7 @@ impl Token {
"u32" => Token::U32,
"u64" => Token::U64,
"u128" => Token::U128,
_ => Token::Identifier(Symbol::intern(&ident)),
_ => Token::Identifier(Symbol::intern(&identifier)),
},
));
}

1
compiler/span/src/symbol.rs
View File

@ -214,6 +214,7 @@ symbols! {
private,
owner,
gates,
_nonce,
// input file
registers,

1
examples/token/inputs/token.in
View File

@ -8,6 +8,7 @@ token: Token = Token {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7,
gates: 0u64,
amount: 100u64,
_nonce: 0group,
};
to: address = aleo1mgfq6g40l6zkhsm063n3uhr43qk5e0zsua5aszeq5080dsvlcvxsn0rrau;
amount: u64 = 50u64;

0
tests/compiler/records/inputs/address.in
View File

9
tests/expectations/compiler/address/binary.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: fe880c907d0257c9fc8314b8b98cabd8a8282b587d2d618408cc3cd8e528fda5
initial_ast: c177fab4c6cc5eed0d032d8e8cd7524696c9e25b926e1201bf387f1d45eedd77
unrolled_ast: c177fab4c6cc5eed0d032d8e8cd7524696c9e25b926e1201bf387f1d45eedd77
ssa_ast: 3c0eb3cb1422b94d43c2f2448a6d46d7709710c553dbbb090bcd9d5155670095

9
tests/expectations/compiler/address/branch.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 00f5aba05e4efae5a125eb52f02f16400132085b8a34919d910aa40c6c405a22
initial_ast: 6bb20402ba03af83e6df6d5f98c7ff2fdde0035089f88f8d07d3c876e42931c8
unrolled_ast: 6bb20402ba03af83e6df6d5f98c7ff2fdde0035089f88f8d07d3c876e42931c8
ssa_ast: b0ed5ffb139d6666e4cf2f54dcd972ed9deeb2fa61fd7974dc21841a25edbb0a

9
tests/expectations/compiler/address/equal.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 03e9df3bd1409f4af9e2a7f55130bc52f27d41f32a624ffa27f0ab114bf6fbf4
initial_ast: f982c042353b69179f192a11adca20cb7b43121af83a3f2711246f49e639d486
unrolled_ast: f982c042353b69179f192a11adca20cb7b43121af83a3f2711246f49e639d486
ssa_ast: bcb19c84428c7c5aa1f71e688512d56287291770dfaea831fd6a649b7c4257b3

5
tests/expectations/compiler/address/gt_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372021]: Comparison `>` is not supported for the address type.\n --> compiler-test:6:12\n |\n 6 | return x > sender;\n | ^^^^^^^^^^\n"

5
tests/expectations/compiler/address/gte_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372021]: Comparison `>=` is not supported for the address type.\n --> compiler-test:6:12\n |\n 6 | return x >= sender;\n | ^^^^^^^^^^^\n"

5
tests/expectations/compiler/address/lt_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372021]: Comparison `<` is not supported for the address type.\n --> compiler-test:6:12\n |\n 6 | return x < sender;\n | ^^^^^^^^^^\n"

5
tests/expectations/compiler/address/lte_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372021]: Comparison `<=` is not supported for the address type.\n --> compiler-test:6:12\n |\n 6 | return x <= sender;\n | ^^^^^^^^^^^\n"

10
tests/expectations/compiler/address/ternary.out
View File

@ -1,10 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: ec3cfeb93ea66a530150a5c5e2bd396688b3ef9b9fb0bcb961c62dac4daa064e
- initial_input_ast: cb1d48114c10b2b732ad47a46fc8d05bf7a3e783da89e7f00065244bfc8d15c8
initial_ast: 34fa13578b50765e2d6e3ccd007bf8d92a036c93269a135001862b00c25191fb
unrolled_ast: 34fa13578b50765e2d6e3ccd007bf8d92a036c93269a135001862b00c25191fb
ssa_ast: 7b6e63a841b22403748da3a1e959fc112526c89c1f594b0c53e658fe6f725806

12
tests/expectations/compiler/boolean/and.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: da1d028d28792f9625d528ebee6f3abd09b21a7bfa6bb3be5d8c3ad01d974558
- initial_input_ast: 5f19f0086b0509628dc64db0f69000d599bc761cb8e3125144de44367081126a
- initial_input_ast: 4c5eeffd0306b20c8deece509782b81ea8583245f650e40a4a300d517f6ed5f4
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 55d744a3c33451d66b14c795dc447e41de0cf5639b0ebef7b69edf54c5d89093
unrolled_ast: 55d744a3c33451d66b14c795dc447e41de0cf5639b0ebef7b69edf54c5d89093
ssa_ast: 8d64b5c090f828416d6468f309ce7266cc91b115f50bd4189edb5555b60f3b3c

12
tests/expectations/compiler/boolean/conditional.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 194c39c41573171b5ba154f70577279b4c535465fe4475c889ea693a81b316c7
- initial_input_ast: 9af3ce639269ea18073cb3b1a19520ba98f0484a04b20526584131d18c54712c
- initial_input_ast: 7a1c39dec2388ab801496ceb17ca85665d2f515269929925b7cc9018e14297ea
- initial_input_ast: 650984ca5077d11a815889421656b7735b4c6bd320bdf68b4deb87dfc0f49388
initial_ast: 83c406dac8e86b59a28af6e4ea4b26682e27d54d2f4388e5a07241b5c65cb3fb
unrolled_ast: 83c406dac8e86b59a28af6e4ea4b26682e27d54d2f4388e5a07241b5c65cb3fb
ssa_ast: 60c54965341cc24a373b1725e9bb5b06c4866b718cc447bbbbd471db3a3eb7f1

12
tests/expectations/compiler/boolean/equal.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: da1d028d28792f9625d528ebee6f3abd09b21a7bfa6bb3be5d8c3ad01d974558
- initial_input_ast: 5f19f0086b0509628dc64db0f69000d599bc761cb8e3125144de44367081126a
- initial_input_ast: 4c5eeffd0306b20c8deece509782b81ea8583245f650e40a4a300d517f6ed5f4
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: cebfbbe734699586c7aecb5658acb031a5575b451bfa73d0705c1760eaff4794
unrolled_ast: cebfbbe734699586c7aecb5658acb031a5575b451bfa73d0705c1760eaff4794
ssa_ast: 6f816b2cad1190d363074dc040aad24e814e72902f0a87c93c9a0c3a400aa15a

12
tests/expectations/compiler/boolean/not_equal.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: da1d028d28792f9625d528ebee6f3abd09b21a7bfa6bb3be5d8c3ad01d974558
- initial_input_ast: 5f19f0086b0509628dc64db0f69000d599bc761cb8e3125144de44367081126a
- initial_input_ast: 4c5eeffd0306b20c8deece509782b81ea8583245f650e40a4a300d517f6ed5f4
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 799b12d7d00d994098c55ad350d9e6dcecc8ac5c094005a121c5a0b2fd97d14d
unrolled_ast: 799b12d7d00d994098c55ad350d9e6dcecc8ac5c094005a121c5a0b2fd97d14d
ssa_ast: 2d3f104901633eeda4a94848c0015d1ebcfb130052b8ce947354cb67a6a9e53c

12
tests/expectations/compiler/boolean/operator_methods.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: e0fdf4f304b80e670735af85014968ae21f78d309ab9ad55bdc5e02167dcbb54
- initial_input_ast: 3254bbbc78ad3eec1c6667ade0b3d3da5ee17c7e569118cc1c771ba607e79ab0
- initial_input_ast: 19f1be52a19445695f23724e1979b362dd3fcf31aace997c829e2206dc1cccbe
- initial_input_ast: d2fc1992beaf062678bbf6c3e862820dbbea39926589afcdc46c19c8669f0e37
initial_ast: 183ddb57bc8f209613ad3d93465ec5ca782268d62748ef090312b90c378e50ce
unrolled_ast: 183ddb57bc8f209613ad3d93465ec5ca782268d62748ef090312b90c378e50ce
ssa_ast: 6c71c2d58a2748b9f349fcf0c7d095d13777587c79c0a43f3d93c53e957b26f1

12
tests/expectations/compiler/boolean/or.out
View File

@ -1,12 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: da1d028d28792f9625d528ebee6f3abd09b21a7bfa6bb3be5d8c3ad01d974558
- initial_input_ast: 5f19f0086b0509628dc64db0f69000d599bc761cb8e3125144de44367081126a
- initial_input_ast: 4c5eeffd0306b20c8deece509782b81ea8583245f650e40a4a300d517f6ed5f4
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 05f3b4b5be5b81f6ba33041f135a04caeea5733c41ed1c8d9890ca2ae9807b80
unrolled_ast: 05f3b4b5be5b81f6ba33041f135a04caeea5733c41ed1c8d9890ca2ae9807b80
ssa_ast: bf96cc9a3e0c84f6ac7e49b34823628e5f43dcaeaf888bf78186b9d618c1e313

5
tests/expectations/compiler/circuits/circuit_function_namespace_conflict_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:7:16\n |\n 7 | function Foo() {}\n | ^"

5
tests/expectations/compiler/circuits/duplicate_circuit_variable.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372015]: Circuit Bar defined with more than one member with the same name.\n --> compiler-test:3:1\n |\n 3 | circuit Bar {\n 4 | x: u32,\n 5 | x: u32,\n 6 | }\n | ^\n"

5
tests/expectations/compiler/circuits/duplicate_name_context.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EAST0372009]: circuit `Bar` shadowed by\n --> compiler-test:8:5\n |\n 8 | const Bar: u32 = 66u32;\n | ^^^^^^^^^^^^^^^^^^^^^^\n"

9
tests/expectations/compiler/circuits/inline.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: no input
initial_ast: ab13abfe19f1ce1a3bdc6e632f34bba90b1534dae5b3354d22b0c659ecfa5fde
unrolled_ast: ab13abfe19f1ce1a3bdc6e632f34bba90b1534dae5b3354d22b0c659ecfa5fde
ssa_ast: 8379d97641e8e302534294f0a6215d095bdd3ba554d704c2e8c7d1e8c258a21d

5
tests/expectations/compiler/circuits/inline_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:7:17\n |\n 7 | function main() {\n | ^"

5
tests/expectations/compiler/circuits/inline_member_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:7:17\n |\n 7 | function main() {\n | ^"

5
tests/expectations/compiler/circuits/inline_member_pass.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372005]: Unknown variable `b`\n --> compiler-test:10:13\n |\n 10 | return (b.x == a.x) == y;\n | ^\nError [ETYC0372004]: Could not determine the type of `b`\n --> compiler-test:10:13\n |\n 10 | return (b.x == a.x) == y;\n | ^\nError [ETYC0372003]: Expected type `u8` but type `no type` was found\n --> compiler-test:10:13\n |\n 10 | return (b.x == a.x) == y;\n | ^^^^^^^^\n"

5
tests/expectations/compiler/circuits/inline_undefined.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:3:17\n |\n 3 | function main() {\n | ^"

9
tests/expectations/compiler/circuits/member_variable.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 29f6139d908d390f890f04d8ee620757d29b7f71cd48c46ff65bc1e70aae840c
initial_ast: d99ea689ff68e085c40b86f1a018b05bf96cdfa82e9828d1df08c3294edc900e
unrolled_ast: d99ea689ff68e085c40b86f1a018b05bf96cdfa82e9828d1df08c3294edc900e
ssa_ast: d3501b6d89b4191d24bab8ca2f11ab665e5fe48f254aafd21e832824f322be00

5
tests/expectations/compiler/circuits/member_variable_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:7:17\n |\n 7 | function main() {\n | ^"

9
tests/expectations/compiler/console/assert.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 15a1f00a6c0ca8141202e45e534b7afd196e9391c184a4efd94f0d0ccf04a59d
initial_ast: 517671a3a7da0848144f535dde8d28aefcabefa62d9938bccac16c786b15c8d2
unrolled_ast: 517671a3a7da0848144f535dde8d28aefcabefa62d9938bccac16c786b15c8d2
ssa_ast: 030306c3161e8b351028499e05e69fe56f093b174be4d2a76181a06383318b2c

9
tests/expectations/compiler/console/error.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 14cd2c781b154a9037de84e945cfb348e9c587cef94d3e1f3be83e4306f92a0e
initial_ast: 4c992083d0b9bc51d1600eb3841c838936cf9669cdd46ea65bfb5bd22e07b591
unrolled_ast: 4c992083d0b9bc51d1600eb3841c838936cf9669cdd46ea65bfb5bd22e07b591
ssa_ast: 3df2ca289184727370d8660e6ff607bcb810291e08db1e0b0211897814962c2a

9
tests/expectations/compiler/console/log.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: fd19d82c3aba921f01b37174e3eb7fb603438506fe511657e21235b9fb3647d2
initial_ast: 7c157486b4b4de54001520eaad505a8a4d7d33bd43cfc239fc6136df2e11db6e
unrolled_ast: 7c157486b4b4de54001520eaad505a8a4d7d33bd43cfc239fc6136df2e11db6e
ssa_ast: 5d2be7fa1f3c6fae4f9997c1193377f73c52ef8cec3371e7b7f238e783d66028

10
tests/expectations/compiler/console/log_conditional.out
View File

@ -1,10 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 12a0efa27e9b65c045088e471e6c254bb71c60cca4eb369f41e83a29301130cf
- initial_input_ast: 5622eb396c2aea656e3bfa6b1ad0d39fce6bc221978a13c9be4d750da46cfc48
initial_ast: bed59c01a4008b6d778a8d0712db49e6649249d3e56f23705689ed477e70b188
unrolled_ast: bed59c01a4008b6d778a8d0712db49e6649249d3e56f23705689ed477e70b188
ssa_ast: c590c29fcf41b5f9c532cf5f62ab960079ad16743265e47d41dcc20dc62b1513

5
tests/expectations/compiler/console/log_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:3:17\n |\n 3 | function main() {\n | ^"

9
tests/expectations/compiler/console/log_input.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 0961f603812e241567b6e3ef5adb458309f1829eb2c08a216efccb17bea89faf
initial_ast: 3b65cb5a74cdc704921cc74196298d9eeb4c6aad4e583bf68cf97967fdb10c8d
unrolled_ast: 3b65cb5a74cdc704921cc74196298d9eeb4c6aad4e583bf68cf97967fdb10c8d
ssa_ast: e536ba2e6e50e4e54e01868b443411be1522bf12a4671d10c5ec01459b1ee6ca

9
tests/expectations/compiler/console/log_parameter.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: f18a0e019ca4719c4c4ef5b7313f562c3bc9581819d161d84566e706f3765249
initial_ast: 0948ec0eab95b6e7505d1dc57171d331d4761a5862aba39a824d8eae4fc7ca0f
unrolled_ast: 0948ec0eab95b6e7505d1dc57171d331d4761a5862aba39a824d8eae4fc7ca0f
ssa_ast: 29599104b1235b24eed567663d0ea40c667df5759033297767f3e0cebadd7f93

9
tests/expectations/compiler/console/log_parameter_many.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 16910a94cf1f803ae6425ae6bee9422b01651c2c243b5e46807dc3191d169e64
initial_ast: 67374111d3b6104af14a6a9246b1c5151171512d98c904e62183d29ed0b1e62f
unrolled_ast: 67374111d3b6104af14a6a9246b1c5151171512d98c904e62183d29ed0b1e62f
ssa_ast: 5ecb75e68a6ee324e63efba97a9bb5d4ab1f453be77dd781542c31fe23587aa2

5
tests/expectations/compiler/console/log_parameter_unkown_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:3:17\n |\n 3 | function main() {\n | ^"

5
tests/expectations/compiler/console/log_string.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370009]: unexpected string: expected 'formatted static_string', found 'hello'\n --> compiler-test:5:17\n |\n 5 | console.log(hello);\n | ^^^^^"

9
tests/expectations/compiler/core/algorithms/bhp1024_commit.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 27bbdd2fe5dc1a75a4bd2aa543e12b7c284ab950028657fc0087dfef631664b9
initial_ast: 679d4f1ad4a54d3821e5f85c64e5e253dbf8ee07aaac7fc7ec2e086f2cbaa909
unrolled_ast: 679d4f1ad4a54d3821e5f85c64e5e253dbf8ee07aaac7fc7ec2e086f2cbaa909
ssa_ast: 6860f1b6b49a9bd0bf1c0f4afa8ad0067036196b5de4b17b26bbae9657f204f9

9
tests/expectations/compiler/core/algorithms/bhp1024_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 4a84cbe8cc7ea360153e9da6f2d475dcbb4921c329fe8dd3b4cdca617b6d38a6
initial_ast: 8a961f82417010275495fdcc212292b809a71969396604e49e745fef94b3086f
unrolled_ast: 8a961f82417010275495fdcc212292b809a71969396604e49e745fef94b3086f
ssa_ast: 3d31265bf4923378c3202c852c599fad1dcd196920c23b4596186f1dcff0abe9

9
tests/expectations/compiler/core/algorithms/bhp256_commit.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 46df628c79eeda6fe31fdee9cd1dccb921b45efc9bc203d5d9ce6bda069f6be2
unrolled_ast: 46df628c79eeda6fe31fdee9cd1dccb921b45efc9bc203d5d9ce6bda069f6be2
ssa_ast: b2911915da86b51ed768cd8eb81f6b0c6aeda73de1e76278a75db44c3cc3fd76

9
tests/expectations/compiler/core/algorithms/bhp256_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: 78c14952814d10190e26fa2fa4470e6af854fd6cff96e8c3c768662daa2aa005
unrolled_ast: 78c14952814d10190e26fa2fa4470e6af854fd6cff96e8c3c768662daa2aa005
ssa_ast: 484e4cbfade2151163bc2c09b542c6746fc9fbcf208473454aa08002c1e13c1f

9
tests/expectations/compiler/core/algorithms/bhp512_commit.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 505d1cdcee0dac47f49fea5f7af40c20a2262677aa7d8caf3b7051f4b5c70a6e
unrolled_ast: 505d1cdcee0dac47f49fea5f7af40c20a2262677aa7d8caf3b7051f4b5c70a6e
ssa_ast: cdccc90d8023edcf5e6ef7ab7dc42fe8812889cbbf6bb5bcf74a5628edc7d2eb

9
tests/expectations/compiler/core/algorithms/bhp512_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: 0f72dc8f0fe5a8bf44067f5928a1835d0fc58551cda0280400060ff3519e02e2
unrolled_ast: 0f72dc8f0fe5a8bf44067f5928a1835d0fc58551cda0280400060ff3519e02e2
ssa_ast: 3da7df0dd03e5215a9df1095f875ecaaa2c549810b961b3444a168fe5cccde9a

9
tests/expectations/compiler/core/algorithms/bhp768_commit.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 1697ade1991b3fe9489d04a4b1c9d2f85defceea27455664a8dd6aad9d67c363
unrolled_ast: 1697ade1991b3fe9489d04a4b1c9d2f85defceea27455664a8dd6aad9d67c363
ssa_ast: ebb84c20196355f32d94db47d1b594ffd6c8ae078f47cf5f05986aa32b894185

9
tests/expectations/compiler/core/algorithms/bhp768_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: af795006736c973728c5d91f2ce6a4771dca2b71249e7d2c7d189326918a168f
unrolled_ast: af795006736c973728c5d91f2ce6a4771dca2b71249e7d2c7d189326918a168f
ssa_ast: 60cd32ce055a0a051d8a0894ec014ad4a90b76c27a5ee18463373ec2fb5fc1fe

9
tests/expectations/compiler/core/algorithms/pedersen128_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 356dd963e90ec1d3b56f169372c9e9bb2b70d053df96359cfd150679919c758a
initial_ast: 96d1ffc3060c89b3441c0fc5bc8e8b7d9a6982117c6634b0c7c26b1fe0be587a
unrolled_ast: 96d1ffc3060c89b3441c0fc5bc8e8b7d9a6982117c6634b0c7c26b1fe0be587a
ssa_ast: 3788cd3b3b7ffe50fabdaa88d8f61452a14da116622ccdb14a34bdff848e2d17

9
tests/expectations/compiler/core/algorithms/pedersen64_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 5395306a6ab6901b3c5df094b3b49dbe5f29fb5886c5f0718097fbe5acd7602e
initial_ast: cf4a7dbbf0e7f4d0518c62104d6e89f4eff178bab8df5417286d9214a2704401
unrolled_ast: cf4a7dbbf0e7f4d0518c62104d6e89f4eff178bab8df5417286d9214a2704401
ssa_ast: 663b8b6703900c217dfef21d2b52162c49eb48f2fffc74d7054db99cd5e6d669

5
tests/expectations/compiler/core/algorithms/pedersen_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372007]: Expected one type from `boolean, i8, i16, i32, i64, u8, u16, u32, u64, string`, but got `u128`\n --> compiler-test:4:20\n |\n 4 | let a: group = Pedersen64::hash(1u128);\n | ^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372003]: Expected type `group` but type `field` was found\n --> compiler-test:4:20\n |\n 4 | let a: group = Pedersen64::hash(1u128);\n | ^^^^^^^^^^^^^^^^^^^^^^^\n"

9
tests/expectations/compiler/core/algorithms/poseidon2_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 58d78478c0f85a019221ebdc21e79083d80f70774210934a18eee5fce7d588d1
unrolled_ast: 58d78478c0f85a019221ebdc21e79083d80f70774210934a18eee5fce7d588d1
ssa_ast: 4ee97e337b3cf59243e63f1339f4e5a060cc38d45378e6bb1a040ff4ba5320c6

9
tests/expectations/compiler/core/algorithms/poseidon4_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 086408c110059f1af409ca0dfbfadf85b8c3ed55f28bc76e133bc57cf832ed21
unrolled_ast: 086408c110059f1af409ca0dfbfadf85b8c3ed55f28bc76e133bc57cf832ed21
ssa_ast: 3681b11adb8495432eb3e13378f5b70030bd7c643d8765ae6251a2f17120139f

9
tests/expectations/compiler/core/algorithms/poseidon8_hash.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 632a5144ec2fe401dc832a98bb6c8244272fd08799af229fc6fea179a8788ca3
unrolled_ast: 632a5144ec2fe401dc832a98bb6c8244272fd08799af229fc6fea179a8788ca3
ssa_ast: 6749addd8071f14f367b8af4514b497c9ae2d19780ae7d68a0a4d1dd359458cf

9
tests/expectations/compiler/definition/out_of_order.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: b649852fa2fd7eda05bd0ba261f01dcee93b6b825d5d30fddb8dd5c5710081ca
initial_ast: 840776885448094e9749c6b182ea5c1c37012df4d16366b69d703f742f8c1d70
unrolled_ast: 840776885448094e9749c6b182ea5c1c37012df4d16366b69d703f742f8c1d70
ssa_ast: cd2649726e53372f5efb7d47fb3dbf02bdb1157868d13babe19d8b62a3ae897a

5
tests/expectations/compiler/definition/use_decl_variable_as_assign_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372005]: Unknown variable `b`\n --> compiler-test:4:14\n |\n 4 | \tlet b: u8 = b;\n | ^\n"

9
tests/expectations/compiler/field/add.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3f35e74d282a1e5281e7f283d1e572a3dc75dea1a5ef1a0f8c7f46412ef946a7
initial_ast: a642bb5c7cfb36da9119944a050704e70165ace5a19bff542fe99746c4661caa
unrolled_ast: a642bb5c7cfb36da9119944a050704e70165ace5a19bff542fe99746c4661caa
ssa_ast: 4a6176fd8639ac8fa962d731d70e7ac767b481636742a7c00e3d5b56acae977e

9
tests/expectations/compiler/field/div.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 4e3882d83c8044e40258f8414966b09c715b00e08bc3383030cecf2c4a825c60
initial_ast: a8b947e11bb42d6cec1f00bc4fdeb9a56f0706366b4a01d41939628d5516e29c
unrolled_ast: a8b947e11bb42d6cec1f00bc4fdeb9a56f0706366b4a01d41939628d5516e29c
ssa_ast: 42fda378b7550f678e4efa347978b807801b9109f33d5dea0aa4c01ecc563580

9
tests/expectations/compiler/field/eq.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: eeba130bda3ee24f2a4bf92f67fb555ab849173910a647096e28729c2ebd71c2
initial_ast: 85979e9e3e049b13ee7c03e9d7b109427bb5fdf6a5e333dba3f755de817b13f0
unrolled_ast: 85979e9e3e049b13ee7c03e9d7b109427bb5fdf6a5e333dba3f755de817b13f0
ssa_ast: 923467fd53b8d3b54011bbf339d3937cf15c305f6377b7842052783f30d9c3f7

9
tests/expectations/compiler/field/field.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3a510480221eb323713b4b10cc374ba357f130e8ac2b07bf1c69ad5d8c936f12
initial_ast: 1bc7e68d6898615de5f7142601fd40112a8604fc4f5bcab01ec058a6763bd9c3
unrolled_ast: 1bc7e68d6898615de5f7142601fd40112a8604fc4f5bcab01ec058a6763bd9c3
ssa_ast: a2d126a82860c39719dbeb32ad086aecb5c0506fa871bf3de87bf794c922f2c3

9
tests/expectations/compiler/field/mul.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3f35e74d282a1e5281e7f283d1e572a3dc75dea1a5ef1a0f8c7f46412ef946a7
initial_ast: 7305c64e6febf09dee173facbadaf96a5eeaa441cc52c2218efb62d97884481c
unrolled_ast: 7305c64e6febf09dee173facbadaf96a5eeaa441cc52c2218efb62d97884481c
ssa_ast: a96f78c8bb2bf2aeafcf823cad700552f5abb41dd9e4aafb4c7c381aa8ae64f0

9
tests/expectations/compiler/field/negate.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 9206742d7f18345efbd4d9077cd1aca0855d43a2436be0697ec22954650e3737
initial_ast: 075cd5aba0c52ac0a30ad4f593e2dfbb573655e59f3d8bc858d7aa459585700d
unrolled_ast: 075cd5aba0c52ac0a30ad4f593e2dfbb573655e59f3d8bc858d7aa459585700d
ssa_ast: 0a24ae04ac26dde68cfdb896ccf0859f275b5960ac8b309fb8928e8f7ae27b72

5
tests/expectations/compiler/field/no_space_between_literal.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:3:17\n |\n 3 | function main() {\n | ^"

9
tests/expectations/compiler/field/operator_methods.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 047866515f4dc74cd9966242734984b53e72f87afc21f7171b118e6defa1f166
initial_ast: d1abbcdea418813712a552d60cfe56bfcdfa25ec3e8d20579e3ccfb190d69090
unrolled_ast: d1abbcdea418813712a552d60cfe56bfcdfa25ec3e8d20579e3ccfb190d69090
ssa_ast: 9607ee8d554a5d946cbcc5d599616f403a21da37f1f97d901fbb0c1d34da5bcf

9
tests/expectations/compiler/field/pow.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 5e0a61d909d2e94dfbc95775e4c5c356adb61375ceef2d583a5ab927b3b6342e
initial_ast: 6e70939b64b3db3b19754ab75adc3854eccef6a0e0d17923993c5bad0712d6db
unrolled_ast: 6e70939b64b3db3b19754ab75adc3854eccef6a0e0d17923993c5bad0712d6db
ssa_ast: 0de0aacf8a6cfd3eb9c43e84f65c1a3f988e801d0f871cdf7e6bb1a8ddecb7fd

9
tests/expectations/compiler/field/sub.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 4e3882d83c8044e40258f8414966b09c715b00e08bc3383030cecf2c4a825c60
initial_ast: b683bf0a120ac9d6ca333a9f5eba572be5c76d8e50df43496f3a95cf4684ad37
unrolled_ast: b683bf0a120ac9d6ca333a9f5eba572be5c76d8e50df43496f3a95cf4684ad37
ssa_ast: 9146f7d13d581ce7b49d9dec7c9f53e3318daf79319262844203514b3880c320

9
tests/expectations/compiler/field/ternary.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: e19dcac0064fed4ec8293b9b40ec70cb94b5fdb05f1081fc29f46a023bf79b09
initial_ast: 90e4661bfe4be03914931788bdaa89b6057d0299019cf4d72c8f59ba80872201
unrolled_ast: 90e4661bfe4be03914931788bdaa89b6057d0299019cf4d72c8f59ba80872201
ssa_ast: 747443858f151feff074a55a5535e512fe7933e4b40c7e3c0772db32a3b18d68

5
tests/expectations/compiler/function/9_inputs_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected ; -- found '}'\n --> compiler-test:16:1\n |\n 16 | }\n | ^"

9
tests/expectations/compiler/function/conditional_return.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: ae0703890dbea144e675f85228e958d6903df0d1ebd88f16a531624270205cc2
initial_ast: 3dac7cf725df154640f7ea5979ac102b14916dc88215a69f555752f1e8051eec
unrolled_ast: 3dac7cf725df154640f7ea5979ac102b14916dc88215a69f555752f1e8051eec
ssa_ast: 866ffe9a91b29ef7e55837c4971c606d60d61561f7bf8078cbc9489912267ed6

5
tests/expectations/compiler/function/duplicate_definition_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EAST0372008]: function `main` shadowed by\n --> compiler-test:8:1\n |\n 8 | function main(y: bool) -> bool {\n 9 | console.log(\"{}\", 2u8);\n 10 | return y; \n 11 | }\n | ^\n"

5
tests/expectations/compiler/function/duplicate_parameter_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EAST0372011]: variable `a` shadowed by\n --> compiler-test:3:23\n |\n 3 | function main(a: u32, a: u32) -> u32 {\n | ^\n"

5
tests/expectations/compiler/function/no_return_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372011]: The function main has no return statement.\n --> compiler-test:3:1\n |\n 3 | function main() -> u8 {}\n | ^^^^^^^^^^^^^^^^^^^^^^^^\n"

5
tests/expectations/compiler/function/scope_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected : -- found '='\n --> compiler-test:9:20\n |\n 9 | const myGlobal = 42field;\n | ^"

5
tests/expectations/compiler/function/shadow_function_with_input_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EAST0372008]: function `hi` shadowed by\n --> compiler-test:7:17\n |\n 7 | function tester(hi: u8) -> u8 {\n | ^^\n"

5
tests/expectations/compiler/function/shadow_parameter_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected : -- found '='\n --> compiler-test:4:14\n |\n 4 | const hi = 2u8;\n | ^"

5
tests/expectations/compiler/function/undefined_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370022]: Expression statements are not supported.\n --> compiler-test:4:5\n |\n 4 | my_function();\n | ^^^^^^^^^^^^^^"

9
tests/expectations/compiler/group/add.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: b5deb6fe058cfd48245b762ae48484205ae3912fd912d877315b93700d6278a8
initial_ast: 82fb59b4d1b0f14e58551155fe37565c9ea89d1a4a368b6018f235ec47420039
unrolled_ast: 82fb59b4d1b0f14e58551155fe37565c9ea89d1a4a368b6018f235ec47420039
ssa_ast: 627f929cb1ae78fe112f0cf0d21ffe564081eebdb9a91498ca8d5bce96ae24cd

9
tests/expectations/compiler/group/assert_eq.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 05dd4d307ee7545a894ea5eea710b1271ee80550b02be767c626032132edb1d0
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f

9
tests/expectations/compiler/group/eq.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 05dd4d307ee7545a894ea5eea710b1271ee80550b02be767c626032132edb1d0
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f

9
tests/expectations/compiler/group/group_mul.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: eb3189d9f0067604b0469eb04d438a85be64e3e4565635a1851584bcd3ba4b6d
initial_ast: a60613f5def981f4df8f49c965754e5eeaa77d6e87f99f1bb6cdb17b364cb517
unrolled_ast: a60613f5def981f4df8f49c965754e5eeaa77d6e87f99f1bb6cdb17b364cb517
ssa_ast: cc100550e1ec1c35522c06194bf160e1fb60f5d002ce4b6ca0745d3040904893

9
tests/expectations/compiler/group/input.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 27f7ed55718c2a07aa6f84e974b1358426a4e618563d07c514df7c88d7188ca8
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f

9
tests/expectations/compiler/group/mul.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: aa9f032e49947f1f8e9fa3d594c2564d1635966fde117565dc19677bc2ee4882
initial_ast: b80807e39da4b5a4c3e5a4311f3f003c4990c9815ba30c461dfcb3e84c5e6c32
unrolled_ast: b80807e39da4b5a4c3e5a4311f3f003c4990c9815ba30c461dfcb3e84c5e6c32
ssa_ast: 4d6a74519733c6cb1f7ccdc84a93baf5daf3a7ef662937732085923df9ca55bd

5
tests/expectations/compiler/group/mult_by_group_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372007]: Expected one type from `scalar`, but got `group`\n --> compiler-test:4:26\n |\n 4 | return (_, _)group * a;\n | ^\n"

9
tests/expectations/compiler/group/mult_by_scalar.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3d94a5b90d4b4178d7e3278e134a55145bffd9c296ecba5282f24d995c0fe04a
initial_ast: da67531b49522acb0f87d7cf0786683f4d2608efbf5fa4da89827e36652b7ff4
unrolled_ast: da67531b49522acb0f87d7cf0786683f4d2608efbf5fa4da89827e36652b7ff4
ssa_ast: eec3c94aeb1d30cdb448d7b30c9f21ba26a80d6de174dfa9b3de5536cb7c8240

9
tests/expectations/compiler/group/negate.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: c8df42c50c421f9032ead784e7860f118d7b9e0f495c1107ddfcebd5fcfdd9d9
initial_ast: 79d9474ece6029ed3b0b5a5fd7657c932914d1867572dd6e5478330a8127f249
unrolled_ast: 79d9474ece6029ed3b0b5a5fd7657c932914d1867572dd6e5478330a8127f249
ssa_ast: 5e2f8c9b0347fa0b52c4d9bd72f207eefef3b9f3ef280effaa5bbcdf2fb1b828

5
tests/expectations/compiler/group/no_space_between_literal.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370004]: Unexpected white space between terms (0,1) and group\n --> compiler-test:4:25\n |\n 4 | const g: group = (0,1) group;\n | ^"

9
tests/expectations/compiler/group/operator_methods.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: d745c513c959ce3abed861d77d87a662248f8417b7521258835e9ace56b0b6da
initial_ast: fe43ed8f6727cf763c6d22db1818916cdd5c74fc30b7a2f9879966b2949391e9
unrolled_ast: fe43ed8f6727cf763c6d22db1818916cdd5c74fc30b7a2f9879966b2949391e9
ssa_ast: 004778e5bc54ab474940178885f3444dc056b843b49e7c487a7039e4fbb2a4cc

9
tests/expectations/compiler/group/point_input.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 1eef8447118efa7352e198dc76a0f41882c1f90bdc3aa29fd45bd7c17b547816
initial_ast: ed9d5db3d1ff005b6dc820e3d57dd7b20e8bb78ef376948eb386fe6f6b27854b
unrolled_ast: ed9d5db3d1ff005b6dc820e3d57dd7b20e8bb78ef376948eb386fe6f6b27854b
ssa_ast: a3c45630e1d5f537f1207924c8f2e068e58fe2ac364e93c3d2f9b6f3e37eaafc

9
tests/expectations/compiler/group/sub.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: b5deb6fe058cfd48245b762ae48484205ae3912fd912d877315b93700d6278a8
initial_ast: 65be9ce3a9bfb68c6e008b95bf6809c26f6717e778632f0a49aca92be9d0e043
unrolled_ast: 65be9ce3a9bfb68c6e008b95bf6809c26f6717e778632f0a49aca92be9d0e043
ssa_ast: cd9cc948e73d6aca5cb02ce4f260fba98fd3ba7c1ced682fd28f397a94189b00

9
tests/expectations/compiler/group/ternary.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 7d33564ae09ce3409cb75346a4776c7284007ec68c9f4716617433cafcfa1b13
initial_ast: 6802e3731f48ab83fa0a38b43249ebd7a73cb99b6ca536834013330063d9a0ba
unrolled_ast: 6802e3731f48ab83fa0a38b43249ebd7a73cb99b6ca536834013330063d9a0ba
ssa_ast: f5c0d6e0125e56b208d96177b9a84f0f8ec56cba3d4284c103567bbef0c1308e

9
tests/expectations/compiler/group/x_and_y.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 9abdfd027f3d9911431dc87b745b184540eb4dfed735db8ab507c94752307ded
initial_ast: 481d919557c8feaab1d37018bbb51972dcc27dd370f8aad370880110ab572e2a
unrolled_ast: 481d919557c8feaab1d37018bbb51972dcc27dd370f8aad370880110ab572e2a
ssa_ast: 5bf490deb9be48c713e6a0220328d2c8057639b47671ef72c45e67c536b7e4ba

9
tests/expectations/compiler/group/x_sign_high.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3da70d17ef476250c442a591d7a99347d3fbf616b16456f975a9c655f04e742a
initial_ast: adb753c202153a4e7df0440001e01a79cbb35c6cc6882a1b68c9023d70e58fa2
unrolled_ast: adb753c202153a4e7df0440001e01a79cbb35c6cc6882a1b68c9023d70e58fa2
ssa_ast: c22c8c471015fd973a7582bc53aef4ea687354337fa7b0d7ad904e48fbb31768

9
tests/expectations/compiler/group/x_sign_inferred.out
View File

@ -1,9 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3da70d17ef476250c442a591d7a99347d3fbf616b16456f975a9c655f04e742a
initial_ast: 1abc09643eb8b4ad261f0e80a684c84b6508b210afcbfedaeb51434e584fd8a0
unrolled_ast: 1abc09643eb8b4ad261f0e80a684c84b6508b210afcbfedaeb51434e584fd8a0
ssa_ast: aa5b17a7ae49eef92db76e977dcea78368a1a149f57cc99cfb13ade6b76c8bd8

Some files were not shown because too many files have changed in this diff Show More