ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-19 17:57:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

merge testnet3

Browse Source
This commit is contained in:
collin 2022-08-03 17:20:40 -07:00
commit 13350da303
372 changed files with 1849 additions and 554 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

353
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=cbbe6c4#cbbe6c4a4041da6d5c55a88bd73ca6fcd63f317d"
source = "git+https://github.com/AleoHQ/aleo.git?rev=8f752ce#8f752ceb5b2508dd5c29b831177097c570481d40"
dependencies = [
"anyhow",
"clap 3.2.16",
@ -135,9 +135,9 @@ version = "0.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6118baab6285accf088b31d5ea5029c37bbf9d98e62b4d8720a0a5a66bc2e427"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -307,9 +307,9 @@ checksum = "14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610"
[[package]]
name = "bytes"
version = "1.1.0"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c4872d67bab6358e59559027aa3b9157c53d9358c51423c17554809a8858e0f8"
checksum = "ec8a7b6a70fde80372154c65702f00a0f56f3e1c36abbc6c440484be248856db"
[[package]]
name = "bzip2"
@ -413,9 +413,9 @@ checksum = "9ba52acd3b0a5c33aeada5cdaa3267cdc7c594a98731d4268cdc1532f4264cb4"
dependencies = [
"heck",
"proc-macro-error",
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -541,9 +541,9 @@ dependencies = [
[[package]]
name = "crossbeam-channel"
version = "0.5.5"
version = "0.5.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4c02a4d71819009c192cf4872265391563fd6a84c81ff2c0f2a7026ca4c1d85c"
checksum = "c2dd04ddaf88237dc3b8d8f9a3c1004b506b54b3313403944054d23c0870c521"
dependencies = [
"cfg-if",
"crossbeam-utils",
@ -551,9 +551,9 @@ dependencies = [
[[package]]
name = "crossbeam-deque"
version = "0.8.1"
version = "0.8.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6455c0ca19f0d2fbf751b908d5c55c1f5cbc65e03c4225427254b46890bdde1e"
checksum = "715e8152b692bba2d374b53d4875445368fdf21a94751410af607a5ac677d1fc"
dependencies = [
"cfg-if",
"crossbeam-epoch",
@ -562,9 +562,9 @@ dependencies = [
[[package]]
name = "crossbeam-epoch"
version = "0.9.9"
version = "0.9.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "07db9d94cbd326813772c968ccd25999e5f8ae22f4f8d1b11effa37ef6ce281d"
checksum = "045ebe27666471bb549370b4b0b3e51b07f56325befa4284db65fc89c02511b1"
dependencies = [
"autocfg",
"cfg-if",
@ -576,9 +576,9 @@ dependencies = [
[[package]]
name = "crossbeam-utils"
version = "0.8.10"
version = "0.8.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7d82ee10ce34d7bc12c2122495e7593a9c41347ecdd64185af4ecf72cb1a7f83"
checksum = "51887d4adc7b564537b15adcfb307936f8075dfcd5f00dde9a9f1d29383682bc"
dependencies = [
"cfg-if",
"once_cell",
@ -586,9 +586,9 @@ dependencies = [
[[package]]
name = "crypto-common"
version = "0.1.5"
version = "0.1.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2ccfd8c0ee4cce11e45b3fd6f9d5e69e0cc62912aa6a0cb1bf4617b0eba5a12f"
checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
dependencies = [
"generic-array",
"typenum",
@ -618,9 +618,9 @@ dependencies = [
[[package]]
name = "curl"
version = "0.4.43"
version = "0.4.44"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "37d855aeef205b43f65a5001e0997d81f8efca7badad4fad7d897aa7f0d0651f"
checksum = "509bd11746c7ac09ebd19f0b17782eae80aadee26237658a6b4808afb5c11a22"
dependencies = [
"curl-sys",
"libc",
@ -633,9 +633,9 @@ dependencies = [
[[package]]
name = "curl-sys"
version = "0.4.55+curl-7.83.1"
version = "0.4.56+curl-7.83.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "23734ec77368ec583c2e61dd3f0b0e5c98b93abe6d2a004ca06b91dd7e3e2762"
checksum = "6093e169dd4de29e468fa649fbae11cdcd5551c81fe5bf1b0677adad7ef3d26f"
dependencies = [
"cc",
"libc",
@ -652,9 +652,9 @@ version = "2.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -749,9 +749,9 @@ dependencies = [
[[package]]
name = "fastrand"
version = "1.7.0"
version = "1.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c3fcf0cee53519c866c09b5de1f6c56ff9d647101f81c1964fa632e148896cdf"
checksum = "a7a407cfaa3385c4ae6b23e84623d48c2798d06e3e6a1878f7f59f17b3f86499"
dependencies = [
"instant",
]
@ -862,9 +862,9 @@ dependencies = [
[[package]]
name = "generic-array"
version = "0.14.5"
version = "0.14.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fd48d33ec7f05fbfa152300fdad764757cbded343c1aa1cff2fbaf4134851803"
checksum = "bff49e947297f3312447abdca79f45f4738097cc82b06e72054d2223f601f1b9"
dependencies = [
"typenum",
"version_check",
@ -892,9 +892,9 @@ dependencies = [
[[package]]
name = "gimli"
version = "0.26.1"
version = "0.26.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "78cc372d058dcf6d5ecd98510e7fbc9e5aec4d21de70f65fea8fecebcd881bd4"
checksum = "22030e2c5a68ec659fde1e949a745124b48e6fa8b045b7ed5bd1fe4ccc5c4e5d"
[[package]]
name = "h2"
@ -923,9 +923,9 @@ checksum = "eabb4a44450da02c90444cf74558da904edde8fb4e9035a9a6a4e15445af0bd7"
[[package]]
name = "hashbrown"
version = "0.12.2"
version = "0.12.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "607c8a29735385251a339424dd462993c0fed8fa09d378f259377df08c126022"
checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"
dependencies = [
"ahash",
]
@ -968,7 +968,7 @@ checksum = "75f43d41e26995c17e71ee126451dd3941010b0514a81a9d11f3b341debc2399"
dependencies = [
"bytes",
"fnv",
"itoa 1.0.2",
"itoa 1.0.3",
]
[[package]]
@ -1009,7 +1009,7 @@ dependencies = [
"http-body",
"httparse",
"httpdate",
"itoa 1.0.2",
"itoa 1.0.3",
"pin-project-lite",
"socket2",
"tokio",
@ -1098,9 +1098,9 @@ checksum = "b71991ff56294aa922b450139ee08b3bfc70982c6b2c7562771375cf73542dd4"
[[package]]
name = "itoa"
version = "1.0.2"
version = "1.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "112c678d4050afce233f4f2852bb2eb519230b3cf12f33585275537d7e41578d"
checksum = "6c8af84674fe1f223a982c933a0ee1086ac4d4052aa0fb8060c12c6ad838e754"
[[package]]
name = "jobserver"
@ -1113,9 +1113,9 @@ dependencies = [
[[package]]
name = "js-sys"
version = "0.3.58"
version = "0.3.59"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c3fac17f7123a73ca62df411b1bf727ccc805daa070338fda671c86dac1bdc27"
checksum = "258451ab10b34f8af53416d1fdab72c22e805f0c92a1136d59470ec0b11138b2"
dependencies = [
"wasm-bindgen",
]
@ -1299,9 +1299,9 @@ dependencies = [
[[package]]
name = "libc"
version = "0.2.126"
version = "0.2.127"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "349d5a591cd28b49e1d1037471617a32ddcda5731b99419008085f72d5a53836"
checksum = "505e71a4706fa491e9b1b55f51b95d4037d0821ee40131190475f692b35b009b"
[[package]]
name = "libz-sys"
@ -1455,9 +1455,9 @@ version = "0.3.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "876a53fff98e03a936a674b29568b0e605f06b29372c2489ff4de23f1949743d"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -1552,9 +1552,9 @@ version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b501e44f11665960c7e7fcf062c7d96a14ade4aa98116c004b2e37b5be7d736c"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -1578,9 +1578,9 @@ dependencies = [
[[package]]
name = "os_str_bytes"
version = "6.1.0"
version = "6.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "21326818e99cfe6ce1e524c2a805c189a99b5ae555a35d19f9a284b427d86afa"
checksum = "648001efe5d5c0102d8cea768e348da85d90af8ba91f0bea908f157951493cd4"
[[package]]
name = "parking_lot"
@ -1618,9 +1618,9 @@ dependencies = [
[[package]]
name = "paste"
version = "1.0.7"
version = "1.0.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c520e05135d6e763148b6426a837e239041653ba7becd2e538c076c738025fc"
checksum = "9423e2b32f7a043629287a536f21951e8c6a82482d0acb1eeebfc90bc2225b22"
[[package]]
name = "pbkdf2"
@ -1642,10 +1642,11 @@ checksum = "d4fd5641d01c8f18a23da7b6fe29298ff4b55afcccdf78973b24cf3175fee32e"
[[package]]
name = "pest"
version = "2.1.3"
version = "2.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "10f4872ae94d7b90ae48754df22fd42ad52ce740b8f370b03da4835417403e53"
checksum = "69486e2b8c2d2aeb9762db7b4e00b0331156393555cff467f4163ff06821eef8"
dependencies = [
"thiserror",
"ucd-trie",
]
@ -1730,10 +1731,11 @@ dependencies = [
[[package]]
name = "proc-macro-crate"
version = "1.1.3"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e17d47ce914bf4de440332250b0edd23ce48c005f59fab39d3335866b114f11a"
checksum = "26d50bfb8c23f23915855a00d98b5a35ef2e0b871bb52937bacadb798fbb66c8"
dependencies = [
"once_cell",
"thiserror",
"toml",
]
@ -1745,9 +1747,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "da25490ff9892aab3fcf7c36f08cfb902dd3e71ca0f9f9517bea02a73a5ce38c"
dependencies = [
"proc-macro-error-attr",
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
"version_check",
]
@ -1757,8 +1759,8 @@ version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a1be40180e52ecc98ad80b184934baf3d0d29f979574e439af5a55274b35f869"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"proc-macro2 1.0.43",
"quote 1.0.21",
"version_check",
]
@ -1773,9 +1775,9 @@ dependencies = [
[[package]]
name = "proc-macro2"
version = "1.0.40"
version = "1.0.43"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dd96a1e8ed2596c337f8eae5f24924ec83f5ad5ab21ea8e455d3566c69fbcaf7"
checksum = "0a2ca2c61bc9f3d74d2886294ab7b9853abd9c1ad903a3ac7815c58989bb7bab"
dependencies = [
"unicode-ident",
]
@ -1815,11 +1817,11 @@ dependencies = [
[[package]]
name = "quote"
version = "1.0.20"
version = "1.0.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3bcdf212e9776fbcb2d23ab029360416bb1706b1aea2d1a5ba002727cbcab804"
checksum = "bbe448f377a7d6961e30f5955f9b8d106c3f5e449d493ee1b125c1d43c2b5179"
dependencies = [
"proc-macro2 1.0.40",
"proc-macro2 1.0.43",
]
[[package]]
@ -1887,9 +1889,9 @@ dependencies = [
[[package]]
name = "redox_syscall"
version = "0.2.13"
version = "0.2.16"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "62f25bc4c7e55e0b0b7a1d43fb893f4fa1361d0abe38b9ce4f323c2adfe6ef42"
checksum = "fb5a58c1855b4b6819d59012155603f0b22ad30cad752600aadfcb695265519a"
dependencies = [
"bitflags",
]
@ -2002,7 +2004,7 @@ version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bfa0f585226d2e68097d4f95d113b15b83a82e819ab25717ec0590d9584ef366"
dependencies = [
"semver 1.0.12",
"semver 1.0.13",
]
[[package]]
@ -2031,9 +2033,9 @@ dependencies = [
[[package]]
name = "ryu"
version = "1.0.10"
version = "1.0.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f3f6f92acf49d1b98f7a81226834412ada05458b7364277387724a237f062695"
checksum = "4501abdff3ae82a1c1b477a17252eb69cee9e66eb915c1abaa4f44d873df9f09"
[[package]]
name = "same-file"
@ -2128,7 +2130,7 @@ dependencies = [
"quick-xml 0.22.0",
"regex",
"reqwest",
"semver 1.0.12",
"semver 1.0.13",
"serde_json",
"tempfile",
"zip",
@ -2145,9 +2147,9 @@ dependencies = [
[[package]]
name = "semver"
version = "1.0.12"
version = "1.0.13"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a2333e6df6d6598f2b1974829f853c2b4c5f4a6e503c10af918081aa6f8564e1"
checksum = "93f6841e709003d68bb2deee8c343572bf446003ec20a583e76f7b15cebf3711"
[[package]]
name = "semver-parser"
@ -2160,9 +2162,9 @@ dependencies = [
[[package]]
name = "serde"
version = "1.0.140"
version = "1.0.142"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fc855a42c7967b7c369eb5860f7164ef1f6f81c20c7cc1141f2a604e18723b03"
checksum = "e590c437916fb6b221e1d00df6e3294f3fccd70ca7e92541c475d6ed6ef5fee2"
dependencies = [
"serde_derive",
]
@ -2179,23 +2181,23 @@ dependencies = [
[[package]]
name = "serde_derive"
version = "1.0.140"
version = "1.0.142"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6f2122636b9fe3b81f1cb25099fcf2d3f542cdb1d45940d56c713158884a05da"
checksum = "34b5b8d809babe02f538c2cfec6f2c1ed10804c0e5a6a041a049a4f5588ccc2e"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
name = "serde_json"
version = "1.0.82"
version = "1.0.83"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "82c2c1fdcd807d1098552c5b9a36e425e42e9fbd7c6a37a8425f390f781f7fa7"
checksum = "38dd04e3c8279e75b31ef29dbdceebfe5ad89f4d0937213c53f7d49d01b3d5a7"
dependencies = [
"indexmap",
"itoa 1.0.2",
"itoa 1.0.3",
"ryu",
"serde",
]
@ -2207,7 +2209,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d3491c14715ca2294c4d6a88f15e84739788c1d030eed8c110436aafdaa2f3fd"
dependencies = [
"form_urlencoded",
"itoa 1.0.2",
"itoa 1.0.3",
"ryu",
"serde",
]
@ -2257,9 +2259,12 @@ dependencies = [
[[package]]
name = "slab"
version = "0.4.6"
version = "0.4.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "eb703cfe953bccee95685111adeedb76fabe4e97549a58d16f03ea7b9367bb32"
checksum = "4614a76b2a8be0058caa9dbbaf66d988527d86d003c11a94fbd335d7661edcef"
dependencies = [
"autocfg",
]
[[package]]
name = "smallvec"
@ -2273,7 +2278,7 @@ dependencies = [
[[package]]
name = "snarkvm"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"clap 3.2.16",
@ -2299,7 +2304,7 @@ dependencies = [
[[package]]
name = "snarkvm-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"aleo-std",
"anyhow",
@ -2333,7 +2338,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-account",
"snarkvm-circuit-algorithms",
@ -2347,7 +2352,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-account"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-network",
@ -2358,7 +2363,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-types",
"snarkvm-console-algorithms",
@ -2368,7 +2373,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-collections"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-types",
@ -2378,7 +2383,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-environment"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"indexmap",
"itertools",
@ -2396,12 +2401,12 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-environment-witness"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
[[package]]
name = "snarkvm-circuit-network"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-algorithms",
"snarkvm-circuit-collections",
@ -2413,7 +2418,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-program"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-account",
"snarkvm-circuit-network",
@ -2425,7 +2430,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-address",
@ -2440,7 +2445,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-address"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2453,7 +2458,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-boolean"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-console-types-boolean",
@ -2462,7 +2467,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-field"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2472,7 +2477,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-group"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2485,7 +2490,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-integers"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2496,7 +2501,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-scalar"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2507,7 +2512,7 @@ dependencies = [
[[package]]
name = "snarkvm-circuit-types-string"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-circuit-environment",
"snarkvm-circuit-types-boolean",
@ -2519,7 +2524,7 @@ dependencies = [
[[package]]
name = "snarkvm-compiler"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"colored",
@ -2544,7 +2549,7 @@ dependencies = [
[[package]]
name = "snarkvm-console"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-account",
"snarkvm-console-algorithms",
@ -2557,7 +2562,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-account"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"base58",
"snarkvm-console-network",
@ -2567,7 +2572,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-algorithms"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"blake2s_simd",
"smallvec",
@ -2579,7 +2584,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-collections"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"aleo-std",
"rayon",
@ -2590,7 +2595,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-network"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"itertools",
@ -2608,7 +2613,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-network-environment"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"bech32",
@ -2626,7 +2631,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-program"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"enum_index",
"enum_index_derive",
@ -2643,7 +2648,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-address",
@ -2658,7 +2663,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-address"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2669,7 +2674,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-boolean"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
]
@ -2677,7 +2682,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-field"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2686,7 +2691,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-group"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2697,7 +2702,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-integers"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2707,7 +2712,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-scalar"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2717,7 +2722,7 @@ dependencies = [
[[package]]
name = "snarkvm-console-types-string"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"snarkvm-console-network-environment",
"snarkvm-console-types-boolean",
@ -2728,7 +2733,7 @@ dependencies = [
[[package]]
name = "snarkvm-curves"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"derivative",
"rand",
@ -2742,7 +2747,7 @@ dependencies = [
[[package]]
name = "snarkvm-fields"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"derivative",
@ -2757,7 +2762,7 @@ dependencies = [
[[package]]
name = "snarkvm-parameters"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"aleo-std",
"anyhow",
@ -2765,6 +2770,7 @@ dependencies = [
"cfg-if",
"curl",
"hex",
"indexmap",
"itertools",
"lazy_static",
"paste",
@ -2779,7 +2785,7 @@ dependencies = [
[[package]]
name = "snarkvm-r1cs"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"anyhow",
"cfg-if",
@ -2795,7 +2801,7 @@ dependencies = [
[[package]]
name = "snarkvm-utilities"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"aleo-std",
"anyhow",
@ -2813,13 +2819,13 @@ dependencies = [
[[package]]
name = "snarkvm-utilities-derives"
version = "0.7.5"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=62de4cf#62de4cfe5a7fabb68b14d0175e922c5414ec19a8"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=4576d44#4576d44373e537c737dfcc8aad6378fa1337c563"
dependencies = [
"proc-macro-crate",
"proc-macro-error",
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -2874,12 +2880,12 @@ dependencies = [
[[package]]
name = "syn"
version = "1.0.98"
version = "1.0.99"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c50aef8a904de4c23c788f104b7dddc7d6f79c647c7c8ce4cc8f73eb0ca773dd"
checksum = "58dbef6ec655055e20b86b15a8cc6d439cca19b667537ac6a1369572d151ab13"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"proc-macro2 1.0.43",
"quote 1.0.21",
"unicode-ident",
]
@ -2967,22 +2973,22 @@ checksum = "b1141d4d61095b28419e22cb0bbf02755f5e54e0526f97f1e3d1d160e60885fb"
[[package]]
name = "thiserror"
version = "1.0.31"
version = "1.0.32"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bd829fe32373d27f76265620b5309d0340cb8550f523c1dda251d6298069069a"
checksum = "f5f6586b7f764adc0231f4c79be7b920e766bb2f3e51b3661cdb263828f19994"
dependencies = [
"thiserror-impl",
]
[[package]]
name = "thiserror-impl"
version = "1.0.31"
version = "1.0.32"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0396bc89e626244658bef819e22d0cc459e795a5ebe878e6ec336d1674a8d79a"
checksum = "12bafc5b54507e0149cdf1b145a5d80ab80a90bcd9275df43d4fff68460f6c21"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -2996,11 +3002,12 @@ dependencies = [
[[package]]
name = "time"
version = "0.3.11"
version = "0.3.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72c91f41dcb2f096c05f0873d667dceec1087ce5bcf984ec8ffb19acddbb3217"
checksum = "74b7cc93fc23ba97fde84f7eea56c55d1ba183f495c6715defdfc7b9cb8c870f"
dependencies = [
"itoa 1.0.2",
"itoa 1.0.3",
"js-sys",
"libc",
"num_threads",
"time-macros",
@ -3039,9 +3046,9 @@ checksum = "cda74da7e1a664f795bb1f8a87ec406fb89a02522cf6e50620d016add6dbbf5c"
[[package]]
name = "tokio"
version = "1.20.0"
version = "1.20.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "57aec3cfa4c296db7255446efb4928a6be304b431a806216105542a67b6ca82e"
checksum = "7a8325f63a7d4774dd041e363b2409ed1c5cbbd0f867795e661df066b2b0a581"
dependencies = [
"autocfg",
"bytes",
@ -3112,9 +3119,9 @@ version = "0.1.22"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "11c75893af559bc8e10716548bdef5cb2b983f8e637db9d0e15126b61b484ee2"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
]
[[package]]
@ -3187,9 +3194,9 @@ checksum = "099b7128301d285f79ddd55b9a83d5e6b9e97c92e0ea0daebee7263e932de992"
[[package]]
name = "unicode-ident"
version = "1.0.2"
version = "1.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "15c61ba63f9235225a22310255a29b806b907c9b8c964bcbd0a2c70f3f2deea7"
checksum = "c4f5b37a154999a8f3f98cc23a628d850e154479cd94decf3414696e12e31aaf"
[[package]]
name = "unicode-normalization"
@ -3311,9 +3318,9 @@ checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
[[package]]
name = "wasm-bindgen"
version = "0.2.81"
version = "0.2.82"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7c53b543413a17a202f4be280a7e5c62a1c69345f5de525ee64f8cfdbc954994"
checksum = "fc7652e3f6c4706c8d9cd54832c4a4ccb9b5336e2c3bd154d5cccfbf1c1f5f7d"
dependencies = [
"cfg-if",
"wasm-bindgen-macro",
@ -3321,24 +3328,24 @@ dependencies = [
[[package]]
name = "wasm-bindgen-backend"
version = "0.2.81"
version = "0.2.82"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5491a68ab4500fa6b4d726bd67408630c3dbe9c4fe7bda16d5c82a1fd8c7340a"
checksum = "662cd44805586bd52971b9586b1df85cdbbd9112e4ef4d8f41559c334dc6ac3f"
dependencies = [
"bumpalo",
"lazy_static",
"log",
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"once_cell",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
"wasm-bindgen-shared",
]
[[package]]
name = "wasm-bindgen-futures"
version = "0.4.31"
version = "0.4.32"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "de9a9cec1733468a8c657e57fa2413d2ae2c0129b95e87c5b72b8ace4d13f31f"
checksum = "fa76fb221a1f8acddf5b54ace85912606980ad661ac7a503b4570ffd3a624dad"
dependencies = [
"cfg-if",
"js-sys",
@ -3348,38 +3355,38 @@ dependencies = [
[[package]]
name = "wasm-bindgen-macro"
version = "0.2.81"
version = "0.2.82"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c441e177922bc58f1e12c022624b6216378e5febc2f0533e41ba443d505b80aa"
checksum = "b260f13d3012071dfb1512849c033b1925038373aea48ced3012c09df952c602"
dependencies = [
"quote 1.0.20",
"quote 1.0.21",
"wasm-bindgen-macro-support",
]
[[package]]
name = "wasm-bindgen-macro-support"
version = "0.2.81"
version = "0.2.82"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7d94ac45fcf608c1f45ef53e748d35660f168490c10b23704c7779ab8f5c3048"
checksum = "5be8e654bdd9b79216c2929ab90721aa82faf65c48cdf08bdc4e7f51357b80da"
dependencies = [
"proc-macro2 1.0.40",
"quote 1.0.20",
"syn 1.0.98",
"proc-macro2 1.0.43",
"quote 1.0.21",
"syn 1.0.99",
"wasm-bindgen-backend",
"wasm-bindgen-shared",
]
[[package]]
name = "wasm-bindgen-shared"
version = "0.2.81"
version = "0.2.82"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6a89911bd99e5f3659ec4acf9c4d93b0a90fe4a2a11f15328472058edc5261be"
checksum = "6598dd0bd3c7d51095ff6531a5b23e02acdc81804e30d8f07afb77b7215a140a"
[[package]]
name = "web-sys"
version = "0.3.58"
version = "0.3.59"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2fed94beee57daf8dd7d51f2b15dc2bcde92d7a72304cdf662a4371008b71b90"
checksum = "ed055ab27f941423197eb86b2035720b1a3ce40504df082cac2ecc6ed73335a1"
dependencies = [
"js-sys",
"wasm-bindgen",

4
Cargo.toml
View File

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

13
compiler/ast/src/expressions/binary.rs
View File

@ -44,6 +44,8 @@ pub enum BinaryOperation {
Lte,
/// Lesser-than relation, i.e. `<`, `.lt()`.
Lt,
/// Arithmetic modulo, i.e. `.mod()`
Mod,
/// Multiplication, i.e. `*`, `.mul()`.
Mul,
/// Wrapping multiplication, i.e. `.mul_wrapped()`.
@ -62,6 +64,10 @@ pub enum BinaryOperation {
Pow,
/// Wrapping exponentiation, i.e. `.pow_wrapped()`.
PowWrapped,
/// Remainder, i.e. `%`, `.rem()`.
Rem,
/// Wrapping remainder, i.e. `.rem_wrapped()`.
RemWrapped,
/// Shift left operation, i.e. `<<`, `.shl()`.
Shl,
/// Wrapping shift left operation, i.e. `.shl_wrapped()`.
@ -95,6 +101,7 @@ impl fmt::Display for BinaryOperation {
Self::Gt => ">",
Self::Lte => "<=",
Self::Lt => "<",
Self::Mod => "mod",
Self::Mul => "*",
Self::MulWrapped => "mul_wrapped",
Self::Nand => "NAND",
@ -104,6 +111,8 @@ impl fmt::Display for BinaryOperation {
Self::BitwiseOr => "|",
Self::Pow => "**",
Self::PowWrapped => "pow_wrapped",
Self::Rem => "%",
Self::RemWrapped => "rem_wrapped",
Self::Shl => "<<",
Self::ShlWrapped => "shl_wrapped",
Self::Shr => ">>",
@ -118,6 +127,7 @@ impl fmt::Display for BinaryOperation {
impl BinaryOperation {
/// Returns a `BinaryOperation` from the given `Symbol`.
/// This is used to resolve native operators invoked as method calls, e.g. `a.add_wrapped(b)`.
pub fn from_symbol(symbol: Symbol) -> Option<Self> {
Some(match symbol {
sym::add => Self::Add,
@ -130,6 +140,7 @@ impl BinaryOperation {
sym::gt => Self::Gt,
sym::lte => Self::Lte,
sym::lt => Self::Lt,
sym::Mod => Self::Mod,
sym::mul => Self::Mul,
sym::mul_wrapped => Self::MulWrapped,
sym::nand => Self::Nand,
@ -138,6 +149,8 @@ impl BinaryOperation {
sym::or => Self::BitwiseOr,
sym::pow => Self::Pow,
sym::pow_wrapped => Self::PowWrapped,
sym::rem => Self::Rem,
sym::rem_wrapped => Self::RemWrapped,
sym::shl => Self::Shl,
sym::shl_wrapped => Self::ShlWrapped,
sym::shr => Self::Shr,

8
compiler/ast/src/statements/assign/mod.rs
View File

@ -33,6 +33,8 @@ pub enum AssignOperation {
Mul,
/// Dividing-assignment, `/=`.
Div,
/// Remaindering-assignment, `%=`.
Rem,
/// Exponentiating assignment `**=`.
Pow,
/// Logical or assignment `||=`.
@ -51,8 +53,6 @@ pub enum AssignOperation {
// ShrSigned,
/// Shift left assignment `<<=`.
Shl,
// /// Modulus / remainder assignment.
// Mod,
}
impl AssignOperation {
@ -63,6 +63,7 @@ impl AssignOperation {
AssignOperation::Sub => Some(BinaryOperation::Sub),
AssignOperation::Mul => Some(BinaryOperation::Mul),
AssignOperation::Div => Some(BinaryOperation::Div),
AssignOperation::Rem => Some(BinaryOperation::Rem),
AssignOperation::Pow => Some(BinaryOperation::Pow),
AssignOperation::Or => Some(BinaryOperation::Or),
AssignOperation::And => Some(BinaryOperation::And),
@ -72,7 +73,6 @@ impl AssignOperation {
AssignOperation::Shr => Some(BinaryOperation::Shr),
// AssignOperation::ShrSigned => Some(BinaryOperation::ShrSigned),
AssignOperation::Shl => Some(BinaryOperation::Shl),
// AssignOperation::Mod => Some(BinaryOperation::Mod),
}
}
}
@ -85,6 +85,7 @@ impl AsRef<str> for AssignOperation {
AssignOperation::Sub => "-=",
AssignOperation::Mul => "*=",
AssignOperation::Div => "/=",
AssignOperation::Rem => "%=",
AssignOperation::Pow => "**=",
AssignOperation::Or => "||=",
AssignOperation::And => "&&=",
@ -94,7 +95,6 @@ impl AsRef<str> for AssignOperation {
AssignOperation::Shr => ">>=",
// AssignOperation::ShrSigned => ">>>=",
AssignOperation::Shl => "<<=",
// AssignOperation::Mod => "%=",
}
}
}

4
compiler/compiler/Cargo.toml
View File

@ -47,11 +47,11 @@ version = "1.4.0"
[dev-dependencies.snarkvm]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "62de4cf"
rev = "4576d44"
features = ["circuit", "console", "parallel"]
[dev-dependencies.serde]
version = "1.0.140"
version = "1.0.141"
features = ["derive"]
[dev-dependencies.serde_yaml]

3
compiler/compiler/src/test.rs
View File

@ -263,7 +263,8 @@ fn run_test(test: Test, handler: &Handler, err_buf: &BufferEmitter) -> Result<Va
// Open the package at the temporary directory.
let _package = handler.extend_if_error(Package::<Testnet3>::open(&directory).map_err(LeoError::Anyhow))?;
// Get the program process and check all instructions.
// Commented out since it bottlenecks the test framework.
// // Get the program process and check all instructions.
// handler.extend_if_error(package.get_process().map_err(LeoError::Anyhow))?;
}

2
compiler/parser/Cargo.toml
View File

@ -32,7 +32,7 @@ version = "1.5.3"
[dependencies.snarkvm-console]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "62de4cf"
rev = "4576d44"
features = ["account", "network"]
[dependencies.clap]

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

@ -131,6 +131,7 @@ impl ParserContext<'_> {
Token::Sub => BinaryOperation::Sub,
Token::Mul => BinaryOperation::Mul,
Token::Div => BinaryOperation::Div,
Token::Rem => BinaryOperation::Rem,
Token::Or => BinaryOperation::Or,
Token::And => BinaryOperation::And,
Token::BitOr => BinaryOperation::BitwiseOr,
@ -210,11 +211,14 @@ impl ParserContext<'_> {
}
/// Returns an [`Expression`] AST node if the next tokens represent a
/// binary multiplication, division, or modulus expression.
/// binary multiplication, division, or a remainder expression.
///
/// Otherwise, tries to parse the next token using [`parse_exponential_expression`].
fn parse_multiplicative_expression(&mut self) -> Result<Expression> {
self.parse_bin_expr(&[Token::Mul, Token::Div], Self::parse_exponential_expression)
self.parse_bin_expr(
&[Token::Mul, Token::Div, Token::Rem],
Self::parse_exponential_expression,
)
}
/// Returns an [`Expression`] AST node if the next tokens represent a

2
compiler/parser/src/parser/statement.rs
View File

@ -25,6 +25,7 @@ const ASSIGN_TOKENS: &[Token] = &[
Token::SubAssign,
Token::MulAssign,
Token::DivAssign,
Token::RemAssign,
Token::PowAssign,
Token::OrAssign,
Token::AndAssign,
@ -60,6 +61,7 @@ impl ParserContext<'_> {
Token::SubAssign => AssignOperation::Sub,
Token::MulAssign => AssignOperation::Mul,
Token::DivAssign => AssignOperation::Div,
Token::RemAssign => AssignOperation::Rem,
Token::PowAssign => AssignOperation::Pow,
Token::OrAssign => AssignOperation::Or,
Token::AndAssign => AssignOperation::And,

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

@ -339,6 +339,7 @@ impl Token {
// '/'
return Ok((1, Token::Div));
}
'%' => return match_two(&mut input, Token::Rem, '=', Token::RemAssign),
':' => return match_two(&mut input, Token::Colon, ':', Token::DoubleColon),
';' => return match_one(&mut input, Token::Semicolon),
'<' => {

4
compiler/parser/src/tokenizer/token.rs
View File

@ -60,6 +60,8 @@ pub enum Token {
DivAssign,
Pow,
PowAssign,
Rem,
RemAssign,
Assign,
LeftParen,
RightParen,
@ -255,6 +257,8 @@ impl fmt::Display for Token {
DivAssign => write!(f, "/="),
Pow => write!(f, "**"),
PowAssign => write!(f, "**="),
Rem => write!(f, "%"),
RemAssign => write!(f, "%="),
Assign => write!(f, "="),
LeftParen => write!(f, "("),
RightParen => write!(f, ")"),

3
compiler/passes/src/code_generation/visit_expressions.rs
View File

@ -68,6 +68,7 @@ impl<'a> CodeGenerator<'a> {
BinaryOperation::Gt => String::from("gt"),
BinaryOperation::Lte => String::from("lte"),
BinaryOperation::Lt => String::from("lt"),
BinaryOperation::Mod => String::from("mod"),
BinaryOperation::Mul => String::from("mul"),
BinaryOperation::MulWrapped => String::from("mul.w"),
BinaryOperation::Nand => String::from("nand"),
@ -77,6 +78,8 @@ impl<'a> CodeGenerator<'a> {
BinaryOperation::BitwiseOr => String::from("or"),
BinaryOperation::Pow => String::from("pow"),
BinaryOperation::PowWrapped => String::from("pow.w"),
BinaryOperation::Rem => String::from("rem"),
BinaryOperation::RemWrapped => String::from("rem.w"),
BinaryOperation::Shl => String::from("shl"),
BinaryOperation::ShlWrapped => String::from("shl.w"),
BinaryOperation::Shr => String::from("shr"),

45
compiler/passes/src/static_single_assignment/rename_program.rs
View File

@ -15,10 +15,11 @@
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use crate::StaticSingleAssigner;
use itertools::Itertools;
use leo_ast::{
Expression, Function, FunctionInput, ProgramReconstructor, ReturnStatement, Statement, StatementReconstructor,
TernaryExpression,
TernaryExpression, TupleExpression,
};
impl ProgramReconstructor for StaticSingleAssigner<'_> {
@ -49,19 +50,41 @@ impl ProgramReconstructor for StaticSingleAssigner<'_> {
let (_, last_return_expression) = returns.pop().unwrap();
// Fold all return expressions into a single ternary expression.
let expression =
returns
.into_iter()
.rev()
.fold(last_return_expression, |acc, (guard, expression)| match guard {
None => unreachable!("All return statements except for the last one must have a guard."),
Some(guard) => Expression::Ternary(TernaryExpression {
let expression = returns
.into_iter()
.rev()
.fold(last_return_expression, |acc, (guard, expr)| match guard {
None => unreachable!("All return statements except for the last one must have a guard."),
// Note that type checking guarantees that all expressions in return statements in the function body have the same type.
Some(guard) => match (acc, expr) {
// If the function returns tuples, fold the return expressions into a tuple of ternary expressions.
(Expression::Tuple(acc_tuple), Expression::Tuple(expr_tuple)) => {
Expression::Tuple(TupleExpression {
elements: acc_tuple
.elements
.into_iter()
.zip_eq(expr_tuple.elements.into_iter())
.map(|(if_true, if_false)| {
Expression::Ternary(TernaryExpression {
condition: Box::new(guard.clone()),
if_true: Box::new(if_true),
if_false: Box::new(if_false),
span: Default::default(),
})
})
.collect(),
span: Default::default(),
})
}
// Otherwise, fold the return expressions into a single ternary expression.
(acc, expr) => Expression::Ternary(TernaryExpression {
condition: Box::new(guard),
if_true: Box::new(expression),
if_false: Box::new(acc),
if_true: Box::new(acc),
if_false: Box::new(expr),
span: Default::default(),
}),
});
},
});
// Add the `ReturnStatement` to the end of the block.
block.statements.push(Statement::Return(ReturnStatement {

23
compiler/passes/src/static_single_assignment/rename_statement.rs
View File

@ -26,19 +26,12 @@ use leo_span::Symbol;
use indexmap::IndexSet;
impl StatementReconstructor for StaticSingleAssigner<'_> {
/// Transforms a `ReturnStatement` into an `AssignStatement`,
/// storing the variable and the associated guard in `self.early_returns`.
/// Transforms a `ReturnStatement` into an empty `BlockStatement`,
/// storing the expression and the associated guard in `self.early_returns`.
///
/// Note that this pass assumes that there is at most one `ReturnStatement` in a block.
/// Note that type checking guarantees that there is at most one `ReturnStatement` in a block.
fn reconstruct_return(&mut self, input: ReturnStatement) -> Statement {
// Create a fresh name for the expression in the return statement.
let symbol = self.unique_symbol("$return");
self.rename_table.update(symbol, symbol);
// Initialize a new `AssignStatement` for the return expression.
let place = Expression::Identifier(Identifier::new(symbol));
// Add the variable and associated guard.
// Construct the associated guard.
let guard = match self.condition_stack.is_empty() {
true => None,
false => {
@ -53,9 +46,13 @@ impl StatementReconstructor for StaticSingleAssigner<'_> {
}))
}
};
self.early_returns.push((guard, place.clone()));
Self::simple_assign_statement(place, self.reconstruct_expression(input.expression).0)
// Reconstruct the expression and add it to the early returns.
let expression = self.reconstruct_expression(input.expression).0;
self.early_returns.push((guard, expression));
// Return an empty block.
Statement::dummy(input.span)
}
/// Reconstructs the `DefinitionStatement` into an `AssignStatement`, renaming the left-hand-side as appropriate.

18
compiler/passes/src/type_checking/check_expressions.rs
View File

@ -398,6 +398,24 @@ impl<'a> ExpressionVisitor<'a> for TypeChecker<'a> {
return_incorrect_type(t1, t2, destination)
}
BinaryOperation::Rem | BinaryOperation::RemWrapped => {
// Only integer types.
self.assert_int_type(destination, input.span());
let t1 = self.visit_expression(&input.left, destination);
let t2 = self.visit_expression(&input.right, destination);
return_incorrect_type(t1, t2, destination)
}
BinaryOperation::Mod => {
// Only unsigned integer types.
self.assert_unsigned_int_type(destination, input.span());
let t1 = self.visit_expression(&input.left, destination);
let t2 = self.visit_expression(&input.right, destination);
return_incorrect_type(t1, t2, destination)
}
BinaryOperation::Pow => {
// Operation returns field or integer types.
self.assert_field_int_type(destination, input.span());

12
compiler/passes/src/type_checking/checker.rs
View File

@ -55,6 +55,8 @@ const INT_TYPES: [Type; 10] = [
const SIGNED_INT_TYPES: [Type; 5] = [Type::I8, Type::I16, Type::I32, Type::I64, Type::I128];
const UNSIGNED_INT_TYPES: [Type; 5] = [Type::U8, Type::U16, Type::U32, Type::U64, Type::U128];
const MAGNITUDE_TYPES: [Type; 3] = [Type::U8, Type::U16, Type::U32];
impl<'a> TypeChecker<'a> {
@ -176,6 +178,16 @@ impl<'a> TypeChecker<'a> {
)
}
/// Emits an error to the handler if the given type is not an unsigned integer.
pub(crate) fn assert_unsigned_int_type(&self, type_: &Option<Type>, span: Span) {
self.check_type(
|type_: &Type| UNSIGNED_INT_TYPES.contains(type_),
types_to_string(&UNSIGNED_INT_TYPES),
type_,
span,
)
}
/// Emits an error to the handler if the given type is not a magnitude (u8, u16, u32).
pub(crate) fn assert_magnitude_type(&self, type_: &Option<Type>, span: Span) {
self.check_type(

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

@ -121,6 +121,7 @@ symbols! {
gt,
lte,
lt,
Mod: "mod",
mul,
mul_wrapped,
nand,
@ -129,6 +130,8 @@ symbols! {
or,
pow,
pow_wrapped,
rem,
rem_wrapped,
shl,
shl_wrapped,
shr,

57
docs/operators.md Normal file
View File

@ -0,0 +1,57 @@
# Leo Operators
|Leo Syntax | Aleo Instruction | Description |
| --------------------------------- |--------------------------------- | ----------------------------------|
|`.abs()` | `abs` | Absolute value operation |
| `.abs_wrapped()`| `abs.w` | Wrapping absolute value operation |
| `+`, `+=`, `.add(..)` | `add` | Addition operation |
|`.add_wrapped(..)`| `add.w` | Wrapping add operation |
|`&`, `&=`, `.and(..)`| `and` | Bitwise AND operation |
|`&&`, `&&=`, `.and(..)` | `and` | Logical AND operation |
|`BHP256::commit(..)`| `commit.bhp256` | 256-bit input BHP commitment |
| `BHP512::commit(..)`| `commit.bhp512` | 512-bit input BHP commitment |
| `BHP768::commit(..)`| `commit.bhp768` | 768-bit input BHP commitment |
| `BHP1024::commit(..)`| `commit.bhp1024` | 1024-bit input BHP commitment |
| `/`, `/=`, `.div(..)` | `div` | Division operation |
| `.div_wrapped(..)`| `div.w` | Wrapping division operation |
| `.double(..)`| `double` | Double operation |
| `>`, `.gt(..)`| `gt` | Greater than comparison |
| `>=`, `.gte(..)`| `gte` | Greater than or equal to comparison|
|`BHP256::hash(..)`| `hash.bhp256` | 256-bit input BHP hash |
| `BHP512::hash(..)`| `hash.bhp512` | 512-bit input BHP hash |
| `BHP768::hash(..)`| `hash.bhp768` | 768-bit input BHP hash |
| `BHP1024::hash(..)`| `hash.bhp1024` | 1024-bit input BHP hash |
| `Pedersen64::hash(..)`| `hash.ped64` | 64-bit input Pedersen hash |
| `Pedersen128::hash(..)`| `hash.ped128` | 128-bit input Pedersen hash |
| `Poseidon2::hash(..)`| `hash.psd2` | Poseidon hash with input rate 2 |
| `Poseidon4::hash(..)`| `hash.psd4` | Poseidon hash with input rate 4 |
| `Poseidon8::hash(..)`| `hash.psd8` | Poseidon hash with input rate 8 |
| `.inv(..)` | `inv` | Multiplicative inverse operation |
| `==`, `.eq(..)`| `is.eq` | Equality comparison |
|`!=`, `.neq(..)`| `is.neq` | Not equal comparison |
| `<`, `.lt(..)`| `lt` | Less than comparison |
| `<=`, `.lte(..)`| `lte` | Less than or equal to comparison |
| `.mod(..)` | `mod` | Arithmetic modulo operation |
| `*`, `*=`, `.mul(..)`| `mul` | Multiplication operation |
| `.mul_wrapped(..)`| `mul.w` | Wrapping multiplication operation |
| `.nand(..)` | `nand` | `Boolean` NAND operation |
| `-`, `.neg()`| `neg` | Additive inverse operation |
| `.nor(..)`| `nor` | `Boolean` NOR operation |
| `!`, `.not()`| `not` | NOT operation |
| `\|`, `\|=`, `.or(..)` | `or` | Bitwise OR Operation |
| `\|\|`, `\|\|=`, `.or(..)` | `or` | Logical OR Operation |
| `**`, `**=`, `.pow(..)`| `pow` | Exponentiation operation |
|`.pow_wrapped(..)`| `pow.w` | Wrapping exponentiation operation |
| `%`, `%=`, `.rem(..)`| `rem` | Remainder operation |
| `.rem_wrapped(..)`| `rem.w` | Wrapping remainder operation |
| `<<`, `<<=`, `.shl(..)`| `shl` | Shift left operation |
| `.shl_wrapped(..)`| `shl.w` | Wrapping Shift left operation |
| `>>`, `>>=`, `.shr(..)`| `shr` | Shift right operation |
| `.shr_wrapped(..)`| `shr.w` | Wrapping Shift right operation |
| `.sqrt()`| `sqrt` | Square root operation |
|`-`, `-=`, `.sub(..)`| `sub` | Subtraction operation |
|`.sub_wrapped(..)`| `sub.w` | Wrapping Subtraction operation |
|`.square()`| `square` | Square operation |
|`condition ? first : second`| `ternary` | Ternary select operation |
|`^`, `^=`, `.xor(..)` | `xor` | XOR operation |

4
errors/Cargo.toml
View File

@ -38,8 +38,8 @@ version = "0.5.1"
version = "2.2.0"
[dependencies.serde]
version = "1.0.140"
version = "1.0.141"
features = [ "derive", "rc" ]
[dependencies.thiserror]
version = "1.0.31"
version = "1.0.32"

2
tests/compiler/integers/i128/operator_methods.leo
View File

@ -45,6 +45,8 @@ function main(a: i128, b: i128) -> bool {
let ap: i128 = a.shr_wrapped(2u16);
let aq: i128 = a.shr_wrapped(2u32);
let ar: i128 = a.xor(b);
let as: i128 = a.rem(b);
let at: i128 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/i128/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: i128, b: i128, c: i128) -> bool {
return a % b == c;
}

2
tests/compiler/integers/i16/operator_methods.leo
View File

@ -45,6 +45,8 @@ function main(a: i16, b: i16) -> bool {
let ap: i16 = a.shr_wrapped(2u16);
let aq: i16 = a.shr_wrapped(2u32);
let ar: i16 = a.xor(b);
let as: i16 = a.rem(b);
let at: i16 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/i16/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: i16, b: i16, c: i16) -> bool {
return a % b == c;
}

2
tests/compiler/integers/i32/operator_methods.leo
View File

@ -45,6 +45,8 @@ function main(a: i32, b: i32) -> bool {
let ap: i32 = a.shr_wrapped(2u16);
let aq: i32 = a.shr_wrapped(2u32);
let ar: i32 = a.xor(b);
let as: i32 = a.rem(b);
let at: i32 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/i32/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: i32, b: i32, c: i32) -> bool {
return a % b == c;
}

2
tests/compiler/integers/i64/operator_methods.leo
View File

@ -45,6 +45,8 @@ function main(a: i64, b: i64) -> bool {
let ap: i64 = a.shr_wrapped(2u16);
let aq: i64 = a.shr_wrapped(2u32);
let ar: i64 = a.xor(b);
let as: i64 = a.rem(b);
let at: i64 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/i64/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: i64, b: i64, c: i64) -> bool {
return a % b == c;
}

2
tests/compiler/integers/i8/operator_methods.leo
View File

@ -45,6 +45,8 @@ function main(a: i8, b: i8) -> bool {
let ap: i8 = a.shr_wrapped(2u16);
let aq: i8 = a.shr_wrapped(2u32);
let ar: i8 = a.xor(b);
let as: i8 = a.rem(b);
let at: i8 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/i8/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: i8, b: i8, c: i8) -> bool {
return a % b == c;
}

3
tests/compiler/integers/u128/operator_methods.leo
View File

@ -42,6 +42,9 @@ function main(a: u128, b: u128) -> bool {
let ap: u128 = a.shr_wrapped(2u16);
let aq: u128 = a.shr_wrapped(2u32);
let ar: u128 = a.xor(b);
let as: u128 = a.mod(b);
let at: u128 = a.rem(b);
let au: u128 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/u128/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: u128, b: u128, c: u128) -> bool {
return a % b == c;
}

3
tests/compiler/integers/u16/operator_methods.leo
View File

@ -48,6 +48,9 @@ function main(a: u16, b: u16) -> bool {
let ap: u16 = a.shr_wrapped(b);
let aq: u16 = a.shr_wrapped(2u32);
let ar: u16 = a.xor(b);
let as: u16 = a.mod(b);
let at: u16 = a.rem(b);
let au: u16 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/u16/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: u16, b: u16, c: u16) -> bool {
return a % b == c;
}

3
tests/compiler/integers/u32/operator_methods.leo
View File

@ -48,6 +48,9 @@ function main(a: u32, b: u32) -> bool {
let ap: u32 = a.shr_wrapped(2u16);
let aq: u32 = a.shr_wrapped(b);
let ar: u32 = a.xor(b);
let as: u32 = a.mod(b);
let at: u32 = a.rem(b);
let au: u32 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/u32/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: u32, b: u32, c: u32) -> bool {
return a % b == c;
}

3
tests/compiler/integers/u64/operator_methods.leo
View File

@ -42,6 +42,9 @@ function main(a: u64, b: u64) -> bool {
let ap: u64 = a.shr_wrapped(2u16);
let aq: u64 = a.shr_wrapped(2u32);
let ar: u64 = a.xor(b);
let as: u64 = a.mod(b);
let at: u64 = a.rem(b);
let au: u64 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/u64/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: u64, b: u64, c: u64) -> bool {
return a % b == c;
}

3
tests/compiler/integers/u8/operator_methods.leo
View File

@ -42,6 +42,9 @@ function main(a: u8, b: u8) -> bool {
let ap: u8 = a.shr_wrapped(2u16);
let aq: u8 = a.shr_wrapped(2u32);
let ar: u8 = a.xor(b);
let as: u8 = a.mod(b);
let at: u8 = a.rem(b);
let au: u8 = a.rem_wrapped(b);
return a == b;
}

9
tests/compiler/integers/u8/rem.leo Normal file
View File

@ -0,0 +1,9 @@
/*
namespace: Compile
expectation: Pass
input_file: inputs/div.in
*/
function main(a: u8, b: u8, c: u8) -> bool {
return a % b == c;
}

12
tests/compiler/statements/operations/rem_assign.leo Normal file
View File

@ -0,0 +1,12 @@
/*
namespace: Compile
expectation: Pass
input_files: ../inputs/u8.in
*/
function main(a: u8) -> u8 {
let b: u8 = 1u8;
b %= a;
return b;
}

15
tests/compiler/tuple/function_early_return.leo Normal file
View File

@ -0,0 +1,15 @@
/*
namespace: Compile
expectation: Pass
input_file:
- inputs/u8_u8.in
*/
function main(a: u8, b: u8) -> (u8, u8) {
if (a == b) {
return (a, b);
}
let c: u8 = a + b;
let d: u8 = a - b;
return (c, d);
}

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: fe880c907d0257c9fc8314b8b98cabd8a8282b587d2d618408cc3cd8e528fda5
initial_ast: c177fab4c6cc5eed0d032d8e8cd7524696c9e25b926e1201bf387f1d45eedd77
unrolled_ast: c177fab4c6cc5eed0d032d8e8cd7524696c9e25b926e1201bf387f1d45eedd77
ssa_ast: 3c0eb3cb1422b94d43c2f2448a6d46d7709710c553dbbb090bcd9d5155670095
ssa_ast: 1ea2097e5df9ce1db67a1b3e7c4f374e48b73e392fbf74f1c688048a89745284

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 00f5aba05e4efae5a125eb52f02f16400132085b8a34919d910aa40c6c405a22
initial_ast: 6bb20402ba03af83e6df6d5f98c7ff2fdde0035089f88f8d07d3c876e42931c8
unrolled_ast: 6bb20402ba03af83e6df6d5f98c7ff2fdde0035089f88f8d07d3c876e42931c8
ssa_ast: b0ed5ffb139d6666e4cf2f54dcd972ed9deeb2fa61fd7974dc21841a25edbb0a
ssa_ast: de4e1d10096599b1ed3ace0c165dac3b76902031430529517b4bf7d362b6ac6d

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 03e9df3bd1409f4af9e2a7f55130bc52f27d41f32a624ffa27f0ab114bf6fbf4
initial_ast: f982c042353b69179f192a11adca20cb7b43121af83a3f2711246f49e639d486
unrolled_ast: f982c042353b69179f192a11adca20cb7b43121af83a3f2711246f49e639d486
ssa_ast: bcb19c84428c7c5aa1f71e688512d56287291770dfaea831fd6a649b7c4257b3
ssa_ast: d0fdb050ec47260e464f537a550f5d3aef18dc98cd12329054d1e83b280db3a2

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

@ -7,4 +7,4 @@ outputs:
- initial_input_ast: cb1d48114c10b2b732ad47a46fc8d05bf7a3e783da89e7f00065244bfc8d15c8
initial_ast: 34fa13578b50765e2d6e3ccd007bf8d92a036c93269a135001862b00c25191fb
unrolled_ast: 34fa13578b50765e2d6e3ccd007bf8d92a036c93269a135001862b00c25191fb
ssa_ast: 7b6e63a841b22403748da3a1e959fc112526c89c1f594b0c53e658fe6f725806
ssa_ast: fc6836035cde0aa2e602cbbd9c2f624c228d06f33101923f746a8ec7e3c51846

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 55d744a3c33451d66b14c795dc447e41de0cf5639b0ebef7b69edf54c5d89093
unrolled_ast: 55d744a3c33451d66b14c795dc447e41de0cf5639b0ebef7b69edf54c5d89093
ssa_ast: 8d64b5c090f828416d6468f309ce7266cc91b115f50bd4189edb5555b60f3b3c
ssa_ast: 8117061d2f75838e1dfbbf7d10804909b9837d2aa8e0c9f9d14313de0cba0617

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: 650984ca5077d11a815889421656b7735b4c6bd320bdf68b4deb87dfc0f49388
initial_ast: 83c406dac8e86b59a28af6e4ea4b26682e27d54d2f4388e5a07241b5c65cb3fb
unrolled_ast: 83c406dac8e86b59a28af6e4ea4b26682e27d54d2f4388e5a07241b5c65cb3fb
ssa_ast: 60c54965341cc24a373b1725e9bb5b06c4866b718cc447bbbbd471db3a3eb7f1
ssa_ast: dd673871e280755e417c35f866af9fd1922a8439183eeab6ad6c459410266592

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: cebfbbe734699586c7aecb5658acb031a5575b451bfa73d0705c1760eaff4794
unrolled_ast: cebfbbe734699586c7aecb5658acb031a5575b451bfa73d0705c1760eaff4794
ssa_ast: 6f816b2cad1190d363074dc040aad24e814e72902f0a87c93c9a0c3a400aa15a
ssa_ast: b847375110fedf5b98a23d6802dd09eba61fb1ad267b32ba445324c8fadf1fdc

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 799b12d7d00d994098c55ad350d9e6dcecc8ac5c094005a121c5a0b2fd97d14d
unrolled_ast: 799b12d7d00d994098c55ad350d9e6dcecc8ac5c094005a121c5a0b2fd97d14d
ssa_ast: 2d3f104901633eeda4a94848c0015d1ebcfb130052b8ce947354cb67a6a9e53c
ssa_ast: b3c5e38a1b2046646e6c2b70817d0bc3339a7aab9b66774f4f359d68efc98714

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: d2fc1992beaf062678bbf6c3e862820dbbea39926589afcdc46c19c8669f0e37
initial_ast: 183ddb57bc8f209613ad3d93465ec5ca782268d62748ef090312b90c378e50ce
unrolled_ast: 183ddb57bc8f209613ad3d93465ec5ca782268d62748ef090312b90c378e50ce
ssa_ast: 6c71c2d58a2748b9f349fcf0c7d095d13777587c79c0a43f3d93c53e957b26f1
ssa_ast: 7365bd1f363214b09ade91049f9b0ce8b2a3bc44eb6d7db1809fa203856cb223

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

@ -9,4 +9,4 @@ outputs:
- initial_input_ast: a56b3f9908dec2acaed302691d4fe0c2cf046f0deb8f188f617e042e75502f71
initial_ast: 05f3b4b5be5b81f6ba33041f135a04caeea5733c41ed1c8d9890ca2ae9807b80
unrolled_ast: 05f3b4b5be5b81f6ba33041f135a04caeea5733c41ed1c8d9890ca2ae9807b80
ssa_ast: bf96cc9a3e0c84f6ac7e49b34823628e5f43dcaeaf888bf78186b9d618c1e313
ssa_ast: 35c12a5a63d8e48e075b65aeab5e63a57da66620c3a3305138bfa1be03b7e9c8

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: no input
initial_ast: ab13abfe19f1ce1a3bdc6e632f34bba90b1534dae5b3354d22b0c659ecfa5fde
unrolled_ast: ab13abfe19f1ce1a3bdc6e632f34bba90b1534dae5b3354d22b0c659ecfa5fde
ssa_ast: 8379d97641e8e302534294f0a6215d095bdd3ba554d704c2e8c7d1e8c258a21d
ssa_ast: bcf0aba53fb3470cb415c30095050af3aa73c07d62890364339a7565e6a70f62

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 29f6139d908d390f890f04d8ee620757d29b7f71cd48c46ff65bc1e70aae840c
initial_ast: d99ea689ff68e085c40b86f1a018b05bf96cdfa82e9828d1df08c3294edc900e
unrolled_ast: d99ea689ff68e085c40b86f1a018b05bf96cdfa82e9828d1df08c3294edc900e
ssa_ast: d3501b6d89b4191d24bab8ca2f11ab665e5fe48f254aafd21e832824f322be00
ssa_ast: 757fbd60629fb8af54fb8a6f13fbb942d12d571c71432873471b71ad18cf73de

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 15a1f00a6c0ca8141202e45e534b7afd196e9391c184a4efd94f0d0ccf04a59d
initial_ast: 517671a3a7da0848144f535dde8d28aefcabefa62d9938bccac16c786b15c8d2
unrolled_ast: 517671a3a7da0848144f535dde8d28aefcabefa62d9938bccac16c786b15c8d2
ssa_ast: 030306c3161e8b351028499e05e69fe56f093b174be4d2a76181a06383318b2c
ssa_ast: feab45bc290d89cd6fd5e55f8fc664ad103d959d5633d82b9a201de962b3d761

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 14cd2c781b154a9037de84e945cfb348e9c587cef94d3e1f3be83e4306f92a0e
initial_ast: 4c992083d0b9bc51d1600eb3841c838936cf9669cdd46ea65bfb5bd22e07b591
unrolled_ast: 4c992083d0b9bc51d1600eb3841c838936cf9669cdd46ea65bfb5bd22e07b591
ssa_ast: 3df2ca289184727370d8660e6ff607bcb810291e08db1e0b0211897814962c2a
ssa_ast: 749520edea07cb3037c5861d7d9908ac225f983b9a4b94cebb88b8aab7708fab

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: fd19d82c3aba921f01b37174e3eb7fb603438506fe511657e21235b9fb3647d2
initial_ast: 7c157486b4b4de54001520eaad505a8a4d7d33bd43cfc239fc6136df2e11db6e
unrolled_ast: 7c157486b4b4de54001520eaad505a8a4d7d33bd43cfc239fc6136df2e11db6e
ssa_ast: 5d2be7fa1f3c6fae4f9997c1193377f73c52ef8cec3371e7b7f238e783d66028
ssa_ast: 797dcdbac6946e9301be381fddc8286c85499f094ecd1372163d9148afdfbc1e

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

@ -7,4 +7,4 @@ outputs:
- initial_input_ast: 5622eb396c2aea656e3bfa6b1ad0d39fce6bc221978a13c9be4d750da46cfc48
initial_ast: bed59c01a4008b6d778a8d0712db49e6649249d3e56f23705689ed477e70b188
unrolled_ast: bed59c01a4008b6d778a8d0712db49e6649249d3e56f23705689ed477e70b188
ssa_ast: c590c29fcf41b5f9c532cf5f62ab960079ad16743265e47d41dcc20dc62b1513
ssa_ast: f5f867377910a23fed284dba2bf311f2c1deb060bcc60d35d0187cd413bc4800

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 0961f603812e241567b6e3ef5adb458309f1829eb2c08a216efccb17bea89faf
initial_ast: 3b65cb5a74cdc704921cc74196298d9eeb4c6aad4e583bf68cf97967fdb10c8d
unrolled_ast: 3b65cb5a74cdc704921cc74196298d9eeb4c6aad4e583bf68cf97967fdb10c8d
ssa_ast: e536ba2e6e50e4e54e01868b443411be1522bf12a4671d10c5ec01459b1ee6ca
ssa_ast: 717cd479d5630d957517d0dea7e6ef3b0982e6cb4c2a8829074de21ea03050e8

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: f18a0e019ca4719c4c4ef5b7313f562c3bc9581819d161d84566e706f3765249
initial_ast: 0948ec0eab95b6e7505d1dc57171d331d4761a5862aba39a824d8eae4fc7ca0f
unrolled_ast: 0948ec0eab95b6e7505d1dc57171d331d4761a5862aba39a824d8eae4fc7ca0f
ssa_ast: 29599104b1235b24eed567663d0ea40c667df5759033297767f3e0cebadd7f93
ssa_ast: 5d84cca4d129a1fd3d583a03df259c9dcec452ab7e29cdf124dc939330f5124c

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 16910a94cf1f803ae6425ae6bee9422b01651c2c243b5e46807dc3191d169e64
initial_ast: 67374111d3b6104af14a6a9246b1c5151171512d98c904e62183d29ed0b1e62f
unrolled_ast: 67374111d3b6104af14a6a9246b1c5151171512d98c904e62183d29ed0b1e62f
ssa_ast: 5ecb75e68a6ee324e63efba97a9bb5d4ab1f453be77dd781542c31fe23587aa2
ssa_ast: effef85d7dc6dcc0c066d438b0dc764d57631503ec1fbd7c2d89ddacc8b0dfc8

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 27bbdd2fe5dc1a75a4bd2aa543e12b7c284ab950028657fc0087dfef631664b9
initial_ast: 679d4f1ad4a54d3821e5f85c64e5e253dbf8ee07aaac7fc7ec2e086f2cbaa909
unrolled_ast: 679d4f1ad4a54d3821e5f85c64e5e253dbf8ee07aaac7fc7ec2e086f2cbaa909
ssa_ast: 6860f1b6b49a9bd0bf1c0f4afa8ad0067036196b5de4b17b26bbae9657f204f9
ssa_ast: 5ba5550701329074057e2ef24588ac5668d00bda02918d2527670f6091fd3cab

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 4a84cbe8cc7ea360153e9da6f2d475dcbb4921c329fe8dd3b4cdca617b6d38a6
initial_ast: 8a961f82417010275495fdcc212292b809a71969396604e49e745fef94b3086f
unrolled_ast: 8a961f82417010275495fdcc212292b809a71969396604e49e745fef94b3086f
ssa_ast: 3d31265bf4923378c3202c852c599fad1dcd196920c23b4596186f1dcff0abe9
ssa_ast: 15cc357feafaae26a7547cbec9e9c9d2377f12c9551b591736f6759dd6959b7f

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 46df628c79eeda6fe31fdee9cd1dccb921b45efc9bc203d5d9ce6bda069f6be2
unrolled_ast: 46df628c79eeda6fe31fdee9cd1dccb921b45efc9bc203d5d9ce6bda069f6be2
ssa_ast: b2911915da86b51ed768cd8eb81f6b0c6aeda73de1e76278a75db44c3cc3fd76
ssa_ast: 5c3fdffe0e202ca049219b7f2612b60c55ab81c380429f74a9b78b605e54455d

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: 78c14952814d10190e26fa2fa4470e6af854fd6cff96e8c3c768662daa2aa005
unrolled_ast: 78c14952814d10190e26fa2fa4470e6af854fd6cff96e8c3c768662daa2aa005
ssa_ast: 484e4cbfade2151163bc2c09b542c6746fc9fbcf208473454aa08002c1e13c1f
ssa_ast: 1ce4297804a3875018e7222bac16911edc1911d001428f462c871f48f717575a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 505d1cdcee0dac47f49fea5f7af40c20a2262677aa7d8caf3b7051f4b5c70a6e
unrolled_ast: 505d1cdcee0dac47f49fea5f7af40c20a2262677aa7d8caf3b7051f4b5c70a6e
ssa_ast: cdccc90d8023edcf5e6ef7ab7dc42fe8812889cbbf6bb5bcf74a5628edc7d2eb
ssa_ast: 7e06adbb4bd30e0d709795ee30e462310ccc512b025d8867f5a8bbb3ab7f5b3d

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: 0f72dc8f0fe5a8bf44067f5928a1835d0fc58551cda0280400060ff3519e02e2
unrolled_ast: 0f72dc8f0fe5a8bf44067f5928a1835d0fc58551cda0280400060ff3519e02e2
ssa_ast: 3da7df0dd03e5215a9df1095f875ecaaa2c549810b961b3444a168fe5cccde9a
ssa_ast: 382303be365d69fbe73f2918d368ed763bc5bd8ebdc22dfa2d8f30eeed738ad2

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 71055ce4ed5911b2afac14a8719573d4ffb9a72959e060f284122350dbda53df
initial_ast: 1697ade1991b3fe9489d04a4b1c9d2f85defceea27455664a8dd6aad9d67c363
unrolled_ast: 1697ade1991b3fe9489d04a4b1c9d2f85defceea27455664a8dd6aad9d67c363
ssa_ast: ebb84c20196355f32d94db47d1b594ffd6c8ae078f47cf5f05986aa32b894185
ssa_ast: 5f0f83d62754615cce3d0a47bff7c631304afbfec1d9a8f8197d32f946684f4a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 5fa4b39f9cd209357769110ef49f609e2acce0c38f9def3f2ed7fcb4ce1b2240
initial_ast: af795006736c973728c5d91f2ce6a4771dca2b71249e7d2c7d189326918a168f
unrolled_ast: af795006736c973728c5d91f2ce6a4771dca2b71249e7d2c7d189326918a168f
ssa_ast: 60cd32ce055a0a051d8a0894ec014ad4a90b76c27a5ee18463373ec2fb5fc1fe
ssa_ast: 956cdd4463b5edb22ea3d6446de0dddd0d33da0f2cde6d7319f8ade2ad96d22a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 356dd963e90ec1d3b56f169372c9e9bb2b70d053df96359cfd150679919c758a
initial_ast: 96d1ffc3060c89b3441c0fc5bc8e8b7d9a6982117c6634b0c7c26b1fe0be587a
unrolled_ast: 96d1ffc3060c89b3441c0fc5bc8e8b7d9a6982117c6634b0c7c26b1fe0be587a
ssa_ast: 3788cd3b3b7ffe50fabdaa88d8f61452a14da116622ccdb14a34bdff848e2d17
ssa_ast: c984983d740e24b368b948729565b34b65d8449b7901a937cf52585e747edd15

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 5395306a6ab6901b3c5df094b3b49dbe5f29fb5886c5f0718097fbe5acd7602e
initial_ast: cf4a7dbbf0e7f4d0518c62104d6e89f4eff178bab8df5417286d9214a2704401
unrolled_ast: cf4a7dbbf0e7f4d0518c62104d6e89f4eff178bab8df5417286d9214a2704401
ssa_ast: 663b8b6703900c217dfef21d2b52162c49eb48f2fffc74d7054db99cd5e6d669
ssa_ast: 95e6f5e6989cf0e2dd835600934268b2da2c8e3fc37ab993695100c0f5e791fa

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 58d78478c0f85a019221ebdc21e79083d80f70774210934a18eee5fce7d588d1
unrolled_ast: 58d78478c0f85a019221ebdc21e79083d80f70774210934a18eee5fce7d588d1
ssa_ast: 4ee97e337b3cf59243e63f1339f4e5a060cc38d45378e6bb1a040ff4ba5320c6
ssa_ast: c98816ddd10d1af3bdfe773da44462fda38bc6d54657cfbcb0e86f490ad1948e

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 086408c110059f1af409ca0dfbfadf85b8c3ed55f28bc76e133bc57cf832ed21
unrolled_ast: 086408c110059f1af409ca0dfbfadf85b8c3ed55f28bc76e133bc57cf832ed21
ssa_ast: 3681b11adb8495432eb3e13378f5b70030bd7c643d8765ae6251a2f17120139f
ssa_ast: e1284d2961d96feea0df93f8949750579ac663363bb8192a2e182e68f176fed2

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 67384917f58c90880ca198b9a636e84c55d97b1068a3c88c1c4734577c798577
initial_ast: 632a5144ec2fe401dc832a98bb6c8244272fd08799af229fc6fea179a8788ca3
unrolled_ast: 632a5144ec2fe401dc832a98bb6c8244272fd08799af229fc6fea179a8788ca3
ssa_ast: 6749addd8071f14f367b8af4514b497c9ae2d19780ae7d68a0a4d1dd359458cf
ssa_ast: 2b33dfc6357c5cc7d130819e8a2cb4fe21aa3c798dcdd221ca100155ebbf78ee

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: b649852fa2fd7eda05bd0ba261f01dcee93b6b825d5d30fddb8dd5c5710081ca
initial_ast: 840776885448094e9749c6b182ea5c1c37012df4d16366b69d703f742f8c1d70
unrolled_ast: 840776885448094e9749c6b182ea5c1c37012df4d16366b69d703f742f8c1d70
ssa_ast: cd2649726e53372f5efb7d47fb3dbf02bdb1157868d13babe19d8b62a3ae897a
ssa_ast: 204d0707bc9e74cc24faf261b3eaa91534d0af153eaadc16835b224f02ee871a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3f35e74d282a1e5281e7f283d1e572a3dc75dea1a5ef1a0f8c7f46412ef946a7
initial_ast: a642bb5c7cfb36da9119944a050704e70165ace5a19bff542fe99746c4661caa
unrolled_ast: a642bb5c7cfb36da9119944a050704e70165ace5a19bff542fe99746c4661caa
ssa_ast: 4a6176fd8639ac8fa962d731d70e7ac767b481636742a7c00e3d5b56acae977e
ssa_ast: 975b0723b88bd5e938f68d4d317b5571b837b1207c880b43d1a991defac2f69c

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 4e3882d83c8044e40258f8414966b09c715b00e08bc3383030cecf2c4a825c60
initial_ast: a8b947e11bb42d6cec1f00bc4fdeb9a56f0706366b4a01d41939628d5516e29c
unrolled_ast: a8b947e11bb42d6cec1f00bc4fdeb9a56f0706366b4a01d41939628d5516e29c
ssa_ast: 42fda378b7550f678e4efa347978b807801b9109f33d5dea0aa4c01ecc563580
ssa_ast: 2e8b453f4f414d89d0d535365e0185eaaef44400141c908aa182b01142f57ee0

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: eeba130bda3ee24f2a4bf92f67fb555ab849173910a647096e28729c2ebd71c2
initial_ast: 85979e9e3e049b13ee7c03e9d7b109427bb5fdf6a5e333dba3f755de817b13f0
unrolled_ast: 85979e9e3e049b13ee7c03e9d7b109427bb5fdf6a5e333dba3f755de817b13f0
ssa_ast: 923467fd53b8d3b54011bbf339d3937cf15c305f6377b7842052783f30d9c3f7
ssa_ast: 1a99130f0effdde381a7c9607705c36758cc996c4a747c5654dee8fe352f94b5

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3a510480221eb323713b4b10cc374ba357f130e8ac2b07bf1c69ad5d8c936f12
initial_ast: 1bc7e68d6898615de5f7142601fd40112a8604fc4f5bcab01ec058a6763bd9c3
unrolled_ast: 1bc7e68d6898615de5f7142601fd40112a8604fc4f5bcab01ec058a6763bd9c3
ssa_ast: a2d126a82860c39719dbeb32ad086aecb5c0506fa871bf3de87bf794c922f2c3
ssa_ast: e4a73494ad187a3cf5080a2299d128d171e82749f119a4c38fa92b552ddef01a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3f35e74d282a1e5281e7f283d1e572a3dc75dea1a5ef1a0f8c7f46412ef946a7
initial_ast: 7305c64e6febf09dee173facbadaf96a5eeaa441cc52c2218efb62d97884481c
unrolled_ast: 7305c64e6febf09dee173facbadaf96a5eeaa441cc52c2218efb62d97884481c
ssa_ast: a96f78c8bb2bf2aeafcf823cad700552f5abb41dd9e4aafb4c7c381aa8ae64f0
ssa_ast: 6c4c5644493c3ba29ce3a29e88ca9368bd735a57d21d424db59791a6c30327e3

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 9206742d7f18345efbd4d9077cd1aca0855d43a2436be0697ec22954650e3737
initial_ast: 075cd5aba0c52ac0a30ad4f593e2dfbb573655e59f3d8bc858d7aa459585700d
unrolled_ast: 075cd5aba0c52ac0a30ad4f593e2dfbb573655e59f3d8bc858d7aa459585700d
ssa_ast: 0a24ae04ac26dde68cfdb896ccf0859f275b5960ac8b309fb8928e8f7ae27b72
ssa_ast: cefda8da4dbfbbb2bd9a62d2c61a4d1847233e2f01e4043d0f8f5bb426d795c5

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 047866515f4dc74cd9966242734984b53e72f87afc21f7171b118e6defa1f166
initial_ast: d1abbcdea418813712a552d60cfe56bfcdfa25ec3e8d20579e3ccfb190d69090
unrolled_ast: d1abbcdea418813712a552d60cfe56bfcdfa25ec3e8d20579e3ccfb190d69090
ssa_ast: 9607ee8d554a5d946cbcc5d599616f403a21da37f1f97d901fbb0c1d34da5bcf
ssa_ast: d7eaf9fd189122643662c5bfbb8f987b00c49fec9c1ee89259acb54b89ba3160

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 5e0a61d909d2e94dfbc95775e4c5c356adb61375ceef2d583a5ab927b3b6342e
initial_ast: 6e70939b64b3db3b19754ab75adc3854eccef6a0e0d17923993c5bad0712d6db
unrolled_ast: 6e70939b64b3db3b19754ab75adc3854eccef6a0e0d17923993c5bad0712d6db
ssa_ast: 0de0aacf8a6cfd3eb9c43e84f65c1a3f988e801d0f871cdf7e6bb1a8ddecb7fd
ssa_ast: 65b2824641eadc4aef8c28ea36dda969fab4ecbd9093e9c76fe43ed0ed5e399f

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 4e3882d83c8044e40258f8414966b09c715b00e08bc3383030cecf2c4a825c60
initial_ast: b683bf0a120ac9d6ca333a9f5eba572be5c76d8e50df43496f3a95cf4684ad37
unrolled_ast: b683bf0a120ac9d6ca333a9f5eba572be5c76d8e50df43496f3a95cf4684ad37
ssa_ast: 9146f7d13d581ce7b49d9dec7c9f53e3318daf79319262844203514b3880c320
ssa_ast: 9397ca0803ce8b1812a7614a291154baceaf59d1966b7b384ac7a0db26da550e

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: e19dcac0064fed4ec8293b9b40ec70cb94b5fdb05f1081fc29f46a023bf79b09
initial_ast: 90e4661bfe4be03914931788bdaa89b6057d0299019cf4d72c8f59ba80872201
unrolled_ast: 90e4661bfe4be03914931788bdaa89b6057d0299019cf4d72c8f59ba80872201
ssa_ast: 747443858f151feff074a55a5535e512fe7933e4b40c7e3c0772db32a3b18d68
ssa_ast: 77d44c77d247acf95b284cee5a378a7207fc7f96e1bd23918f97eab1553a43e2

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: ae0703890dbea144e675f85228e958d6903df0d1ebd88f16a531624270205cc2
initial_ast: 3dac7cf725df154640f7ea5979ac102b14916dc88215a69f555752f1e8051eec
unrolled_ast: 3dac7cf725df154640f7ea5979ac102b14916dc88215a69f555752f1e8051eec
ssa_ast: 866ffe9a91b29ef7e55837c4971c606d60d61561f7bf8078cbc9489912267ed6
ssa_ast: 4245cbfd9ba6af41aaffaa237c46d126d54f558b04bc7abb36751f47b0cb0c24

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: b5deb6fe058cfd48245b762ae48484205ae3912fd912d877315b93700d6278a8
initial_ast: 82fb59b4d1b0f14e58551155fe37565c9ea89d1a4a368b6018f235ec47420039
unrolled_ast: 82fb59b4d1b0f14e58551155fe37565c9ea89d1a4a368b6018f235ec47420039
ssa_ast: 627f929cb1ae78fe112f0cf0d21ffe564081eebdb9a91498ca8d5bce96ae24cd
ssa_ast: c5d91e81ff0d3d16bff5757564f1477d2c2853a92f55b76dc36cf985c0c819f3

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 05dd4d307ee7545a894ea5eea710b1271ee80550b02be767c626032132edb1d0
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f
ssa_ast: 43f1ec4d046459ffc39d824cfe3a60c8e1f91180392bfad527c3f9af778bc8ea

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 05dd4d307ee7545a894ea5eea710b1271ee80550b02be767c626032132edb1d0
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f
ssa_ast: 43f1ec4d046459ffc39d824cfe3a60c8e1f91180392bfad527c3f9af778bc8ea

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: eb3189d9f0067604b0469eb04d438a85be64e3e4565635a1851584bcd3ba4b6d
initial_ast: a60613f5def981f4df8f49c965754e5eeaa77d6e87f99f1bb6cdb17b364cb517
unrolled_ast: a60613f5def981f4df8f49c965754e5eeaa77d6e87f99f1bb6cdb17b364cb517
ssa_ast: cc100550e1ec1c35522c06194bf160e1fb60f5d002ce4b6ca0745d3040904893
ssa_ast: 89879a562827e46fa17905ec2ea7e26ef2f2535b08ba15eb202e235fb4a2e188

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 27f7ed55718c2a07aa6f84e974b1358426a4e618563d07c514df7c88d7188ca8
initial_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
unrolled_ast: 976950a13a43fd24986284453099b3c760d494bfe6707a47c05e61c410da3394
ssa_ast: 469f27d1f72f5d05ac05a078abcd9f77ee774182ac3bed2fd4aa5ca606fcb64f
ssa_ast: 43f1ec4d046459ffc39d824cfe3a60c8e1f91180392bfad527c3f9af778bc8ea

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: aa9f032e49947f1f8e9fa3d594c2564d1635966fde117565dc19677bc2ee4882
initial_ast: b80807e39da4b5a4c3e5a4311f3f003c4990c9815ba30c461dfcb3e84c5e6c32
unrolled_ast: b80807e39da4b5a4c3e5a4311f3f003c4990c9815ba30c461dfcb3e84c5e6c32
ssa_ast: 4d6a74519733c6cb1f7ccdc84a93baf5daf3a7ef662937732085923df9ca55bd
ssa_ast: 9483c670bcf1329b879f74c5603856ce321b3855afef6f25a5cd97bfc92c2ae1

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3d94a5b90d4b4178d7e3278e134a55145bffd9c296ecba5282f24d995c0fe04a
initial_ast: da67531b49522acb0f87d7cf0786683f4d2608efbf5fa4da89827e36652b7ff4
unrolled_ast: da67531b49522acb0f87d7cf0786683f4d2608efbf5fa4da89827e36652b7ff4
ssa_ast: eec3c94aeb1d30cdb448d7b30c9f21ba26a80d6de174dfa9b3de5536cb7c8240
ssa_ast: 7fb63783a4897b5d584c590549f3cb56f632b3afeb62146bb24a95b0daaba120

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: c8df42c50c421f9032ead784e7860f118d7b9e0f495c1107ddfcebd5fcfdd9d9
initial_ast: 79d9474ece6029ed3b0b5a5fd7657c932914d1867572dd6e5478330a8127f249
unrolled_ast: 79d9474ece6029ed3b0b5a5fd7657c932914d1867572dd6e5478330a8127f249
ssa_ast: 5e2f8c9b0347fa0b52c4d9bd72f207eefef3b9f3ef280effaa5bbcdf2fb1b828
ssa_ast: 6f681bb2ec65cb1ee7d55fc490c1e9682c26c0c89a77fd8e05243097318d84c9

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: d745c513c959ce3abed861d77d87a662248f8417b7521258835e9ace56b0b6da
initial_ast: fe43ed8f6727cf763c6d22db1818916cdd5c74fc30b7a2f9879966b2949391e9
unrolled_ast: fe43ed8f6727cf763c6d22db1818916cdd5c74fc30b7a2f9879966b2949391e9
ssa_ast: 004778e5bc54ab474940178885f3444dc056b843b49e7c487a7039e4fbb2a4cc
ssa_ast: 7bbd93011fa4d3b8b8b92951e7826a3e73167c36951c9c6eaf7fe834d64f370a

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 1eef8447118efa7352e198dc76a0f41882c1f90bdc3aa29fd45bd7c17b547816
initial_ast: ed9d5db3d1ff005b6dc820e3d57dd7b20e8bb78ef376948eb386fe6f6b27854b
unrolled_ast: ed9d5db3d1ff005b6dc820e3d57dd7b20e8bb78ef376948eb386fe6f6b27854b
ssa_ast: a3c45630e1d5f537f1207924c8f2e068e58fe2ac364e93c3d2f9b6f3e37eaafc
ssa_ast: 65c4c8ef4666f0b1c3f013dcc9e7bc9f5bdf2ad90c9ee809fbbf944981b1118e

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: b5deb6fe058cfd48245b762ae48484205ae3912fd912d877315b93700d6278a8
initial_ast: 65be9ce3a9bfb68c6e008b95bf6809c26f6717e778632f0a49aca92be9d0e043
unrolled_ast: 65be9ce3a9bfb68c6e008b95bf6809c26f6717e778632f0a49aca92be9d0e043
ssa_ast: cd9cc948e73d6aca5cb02ce4f260fba98fd3ba7c1ced682fd28f397a94189b00
ssa_ast: 40ffb3e4053f20230c43360eda91060d686fa3b2ce7e3d3614d65465dfb1c0d7

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 7d33564ae09ce3409cb75346a4776c7284007ec68c9f4716617433cafcfa1b13
initial_ast: 6802e3731f48ab83fa0a38b43249ebd7a73cb99b6ca536834013330063d9a0ba
unrolled_ast: 6802e3731f48ab83fa0a38b43249ebd7a73cb99b6ca536834013330063d9a0ba
ssa_ast: f5c0d6e0125e56b208d96177b9a84f0f8ec56cba3d4284c103567bbef0c1308e
ssa_ast: 785f937c6381d96ef08a6f31dccdfbc3275fb40b4754daa1abd418fb7ccb40af

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 9abdfd027f3d9911431dc87b745b184540eb4dfed735db8ab507c94752307ded
initial_ast: 481d919557c8feaab1d37018bbb51972dcc27dd370f8aad370880110ab572e2a
unrolled_ast: 481d919557c8feaab1d37018bbb51972dcc27dd370f8aad370880110ab572e2a
ssa_ast: 5bf490deb9be48c713e6a0220328d2c8057639b47671ef72c45e67c536b7e4ba
ssa_ast: 0a23f26309860be43840c4bf7135fa4b642f5c8181a736a14cde9ff5703bc964

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3da70d17ef476250c442a591d7a99347d3fbf616b16456f975a9c655f04e742a
initial_ast: adb753c202153a4e7df0440001e01a79cbb35c6cc6882a1b68c9023d70e58fa2
unrolled_ast: adb753c202153a4e7df0440001e01a79cbb35c6cc6882a1b68c9023d70e58fa2
ssa_ast: c22c8c471015fd973a7582bc53aef4ea687354337fa7b0d7ad904e48fbb31768
ssa_ast: 36da744bb8e3613d7a56380e16c611324704af8ef6729b8606c802c9e795bfc9

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

@ -6,4 +6,4 @@ outputs:
- initial_input_ast: 3da70d17ef476250c442a591d7a99347d3fbf616b16456f975a9c655f04e742a
initial_ast: 1abc09643eb8b4ad261f0e80a684c84b6508b210afcbfedaeb51434e584fd8a0
unrolled_ast: 1abc09643eb8b4ad261f0e80a684c84b6508b210afcbfedaeb51434e584fd8a0
ssa_ast: aa5b17a7ae49eef92db76e977dcea78368a1a149f57cc99cfb13ade6b76c8bd8
ssa_ast: c884b0c112bb49026b38e2ee7cb57de26a79c21831f101aba7f30cadc59a24c9

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