update artefacts

tooling/nargo_cli/tests/acir_artifacts/bit_shifts_comptime/target/debug_bit_shifts_comptime.json

@@ -1 +1 @@
-{"debug_symbols":[{"locations":{"1":[{"span":{"start":159,"end":176},"file":1}],"2":[{"span":{"start":159,"end":176},"file":1}],"3":[{"span":{"start":159,"end":176},"file":1}],"4":[{"span":{"start":159,"end":176},"file":1}],"5":[{"span":{"start":217,"end":230},"file":1}],"6":[{"span":{"start":217,"end":230},"file":1}],"7":[{"span":{"start":217,"end":230},"file":1}],"8":[{"span":{"start":217,"end":230},"file":1}],"9":[{"span":{"start":217,"end":230},"file":1}],"10":[{"span":{"start":241,"end":253},"file":1}],"11":[{"span":{"start":261,"end":278},"file":1},{"span":{"start":261,"end":278},"file":1}],"12":[{"span":{"start":261,"end":278},"file":1},{"span":{"start":338,"end":344},"file":1}],"13":[{"span":{"start":261,"end":278},"file":1},{"span":{"start":338,"end":344},"file":1}],"14":[{"span":{"start":261,"end":278},"file":1},{"span":{"start":382,"end":388},"file":1}]}}],"file_map":{"1":{"source":"fn main(x: u64) {\n    let two: u64 = 2;\n    let three: u64 = 3;\n\n\t// shifts on constant values\n\tassert(two << 2 == 8);\n\tassert((two << 3) / 8 == two);\n\tassert((three >> 1) == 1);\n\n\t// shifts on runtime values\n\tassert(x << 1 == 128);\n\tassert(x >> 2 == 16);\n\n    regression_2250();\n}\n\nfn regression_2250() {\n    let a: u1 = 1 >> 1;\n\tassert(a == 0);\n\n    let b: u32 = 1 >> 32;\n\tassert(b == 0);\n}\n","path":"/mnt/user-data/kev/noir/tooling/nargo_cli/tests/execution_success/bit_shifts_comptime/src/main.nr"}}}
+{"debug_symbols":[{"locations":{"1":[{"span":{"start":222,"end":223},"file":1}],"2":[{"span":{"start":222,"end":223},"file":1}],"3":[{"span":{"start":222,"end":223},"file":1}],"4":[{"span":{"start":222,"end":223},"file":1}],"5":[{"span":{"start":217,"end":230},"file":1}],"6":[{"span":{"start":246,"end":247},"file":1}],"7":[{"span":{"start":246,"end":247},"file":1}],"8":[{"span":{"start":246,"end":247},"file":1}],"9":[{"span":{"start":246,"end":247},"file":1}],"10":[{"span":{"start":241,"end":253},"file":1}]}}],"file_map":{"1":{"source":"fn main(x: u64) {\n    let two: u64 = 2;\n    let three: u64 = 3;\n\n\t// shifts on constant values\n\tassert(two << 2 == 8);\n\tassert((two << 3) / 8 == two);\n\tassert((three >> 1) == 1);\n\n\t// shifts on runtime values\n\tassert(x << 1 == 128);\n\tassert(x >> 2 == 16);\n\n    regression_2250();\n}\n\nfn regression_2250() {\n    let a: u1 = 1 >> 1;\n\tassert(a == 0);\n\n    let b: u32 = 1 >> 32;\n\tassert(b == 0);\n}\n","path":"/mnt/user-data/kev/noir/tooling/nargo_cli/tests/execution_success/bit_shifts_comptime/src/main.nr"}}}

tooling/nargo_cli/tests/acir_artifacts/brillig_pedersen/target/debug_brillig_pedersen.json

@@ -1 +1 @@
-{"debug_symbols":[{"locations":{"0.10":[{"span":{"start":131,"end":176},"file":1}],"0.11":[{"span":{"start":131,"end":176},"file":1}],"0.12":[{"span":{"start":131,"end":176},"file":1}],"0.13":[{"span":{"start":131,"end":176},"file":1}],"0.14":[{"span":{"start":131,"end":176},"file":1}],"0.15":[{"span":{"start":131,"end":176},"file":1}],"0.16":[{"span":{"start":131,"end":176},"file":1}],"0.17":[{"span":{"start":131,"end":176},"file":1}],"0.18":[{"span":{"start":131,"end":176},"file":1}],"0.19":[{"span":{"start":131,"end":176},"file":1}],"0.20":[{"span":{"start":131,"end":176},"file":1}],"0.21":[{"span":{"start":131,"end":176},"file":1}],"0.22":[{"span":{"start":131,"end":176},"file":1}],"0.23":[{"span":{"start":131,"end":176},"file":1}],"0.24":[{"span":{"start":131,"end":176},"file":1}],"0.25":[{"span":{"start":131,"end":176},"file":1}],"0.26":[{"span":{"start":131,"end":176},"file":1}],"0.27":[{"span":{"start":131,"end":176},"file":1}],"0.28":[{"span":{"start":189,"end":195},"file":1}],"0.29":[{"span":{"start":189,"end":195},"file":1}],"0.30":[{"span":{"start":189,"end":195},"file":1}],"0.31":[{"span":{"start":189,"end":204},"file":1}],"0.32":[{"span":{"start":189,"end":204},"file":1}],"0.33":[{"span":{"start":189,"end":204},"file":1}],"0.34":[{"span":{"start":218,"end":224},"file":1}],"0.35":[{"span":{"start":218,"end":224},"file":1}],"0.36":[{"span":{"start":218,"end":224},"file":1}],"0.37":[{"span":{"start":218,"end":233},"file":1}],"0.38":[{"span":{"start":218,"end":233},"file":1}],"0.39":[{"span":{"start":218,"end":233},"file":1}],"0.40":[{"span":{"start":255,"end":305},"file":1}],"0.41":[{"span":{"start":255,"end":305},"file":1}],"0.42":[{"span":{"start":255,"end":305},"file":1}],"0.43":[{"span":{"start":255,"end":305},"file":1}],"0.44":[{"span":{"start":255,"end":305},"file":1}],"0.45":[{"span":{"start":255,"end":305},"file":1}],"0.46":[{"span":{"start":255,"end":305},"file":1}],"0.47":[{"span":{"start":255,"end":305},"file":1}],"0.48":[{"span":{"start":255,"end":305},"file":1}],"0.49":[{"span":{"start":255,"end":305},"file":1}],"0.50":[{"span":{"start":255,"end":305},"file":1}],"0.51":[{"span":{"start":255,"end":305},"file":1}],"0.52":[{"span":{"start":255,"end":305},"file":1}],"0.53":[{"span":{"start":255,"end":305},"file":1}],"0.54":[{"span":{"start":311,"end":340},"file":1}],"0.55":[{"span":{"start":311,"end":340},"file":1}],"0.56":[{"span":{"start":311,"end":340},"file":1}],"0.57":[{"span":{"start":354,"end":372},"file":1}],"0.58":[{"span":{"start":354,"end":372},"file":1}],"0.59":[{"span":{"start":354,"end":372},"file":1}],"0.60":[{"span":{"start":354,"end":372},"file":1}],"0.61":[{"span":{"start":354,"end":372},"file":1}],"0.62":[{"span":{"start":354,"end":372},"file":1}],"0.63":[{"span":{"start":354,"end":372},"file":1}],"0.64":[{"span":{"start":354,"end":372},"file":1}],"0.65":[{"span":{"start":354,"end":372},"file":1}],"0.66":[{"span":{"start":354,"end":372},"file":1}],"0.67":[{"span":{"start":354,"end":372},"file":1}],"0.68":[{"span":{"start":354,"end":372},"file":1}],"0.69":[{"span":{"start":354,"end":372},"file":1}],"0.70":[{"span":{"start":354,"end":372},"file":1}],"0.71":[{"span":{"start":354,"end":372},"file":1}],"0.72":[{"span":{"start":354,"end":372},"file":1}],"0.75":[{"span":{"start":442,"end":450},"file":1}],"0.76":[{"span":{"start":442,"end":450},"file":1}],"0.79":[{"span":{"start":470,"end":493},"file":1}],"0.80":[{"span":{"start":505,"end":518},"file":1}],"0.81":[{"span":{"start":505,"end":518},"file":1}],"0.82":[{"span":{"start":505,"end":518},"file":1}],"0.83":[{"span":{"start":505,"end":518},"file":1}],"0.84":[{"span":{"start":505,"end":518},"file":1}],"0.85":[{"span":{"start":505,"end":518},"file":1}],"0.86":[{"span":{"start":505,"end":518},"file":1}],"0.87":[{"span":{"start":535,"end":581},"file":1}],"0.88":[{"span":{"start":535,"end":581},"file":1}],"0.89":[{"span":{"start":535,"end":581},"file":1}],"0.90":[{"span":{"start":535,"end":581},"file":1}],"0.91":[{"span":{"start":535,"end":581},"file":1}],"0.92":[{"span":{"start":535,"end":581},"file":1}],"0.93":[{"span":{"start":535,"end":581},"file":1}],"0.94":[{"span":{"start":535,"end":581},"file":1}],"0.95":[{"span":{"start":535,"end":581},"file":1}],"0.96":[{"span":{"start":535,"end":581},"file":1}],"0.97":[{"span":{"start":535,"end":581},"file":1}],"0.98":[{"span":{"start":535,"end":581},"file":1}],"0.99":[{"span":{"start":535,"end":581},"file":1}],"0.100":[{"span":{"start":535,"end":581},"file":1}],"0.101":[{"span":{"start":594,"end":637},"file":1}],"0.102":[{"span":{"start":594,"end":637},"file":1}],"0.103":[{"span":{"start":594,"end":637},"file":1}],"0.104":[{"span":{"start":594,"end":637},"file":1}],"0.105":[{"span":{"start":594,"end":637},"file":1}],"0.106":[{"span":{"start":594,"end":637},"file":1}],"0.107":[{"span":{"start":594,"end":637},"file":1}],"0.108":[{"span":{"start":594,"end":637},"file":1}],"0.109":[{"span":{"start":594,"end":637},"file":1}],"0.110":[{"span":{"start":594,"end":637},"file":1}],"0.111":[{"span":{"start":594,"end":637},"file":1}],"0.112":[{"span":{"start":594,"end":637},"file":1}],"0.113":[{"span":{"start":594,"end":637},"file":1}],"0.114":[{"span":{"start":594,"end":637},"file":1}],"0.115":[{"span":{"start":594,"end":640},"file":1}],"0.116":[{"span":{"start":594,"end":640},"file":1}],"0.117":[{"span":{"start":594,"end":640},"file":1}],"0.118":[{"span":{"start":644,"end":651},"file":1}],"0.119":[{"span":{"start":644,"end":651},"file":1}],"0.120":[{"span":{"start":594,"end":651},"file":1}],"0.121":[{"span":{"start":594,"end":651},"file":1}],"0.122":[{"span":{"start":594,"end":651},"file":1}],"0.124":[{"span":{"start":442,"end":450},"file":1}],"0.125":[{"span":{"start":470,"end":479},"file":1}],"0.126":[{"span":{"start":470,"end":479},"file":1}],"0.127":[{"span":{"start":482,"end":493},"file":1}],"0.128":[{"span":{"start":482,"end":493},"file":1}],"0.129":[{"span":{"start":482,"end":493},"file":1}],"0.130":[{"span":{"start":482,"end":493},"file":1}],"0.131":[{"span":{"start":482,"end":493},"file":1}],"0.132":[{"span":{"start":482,"end":493},"file":1}],"0.133":[{"span":{"start":482,"end":493},"file":1}],"0.134":[{"span":{"start":482,"end":493},"file":1}],"0.135":[{"span":{"start":482,"end":493},"file":1}],"0.136":[{"span":{"start":482,"end":493},"file":1}],"0.137":[{"span":{"start":482,"end":493},"file":1}],"0.138":[{"span":{"start":482,"end":493},"file":1}],"0.139":[{"span":{"start":482,"end":493},"file":1}],"0.140":[{"span":{"start":482,"end":493},"file":1}],"0.141":[{"span":{"start":470,"end":493},"file":1}],"0.142":[{"span":{"start":470,"end":493},"file":1}],"0.143":[{"span":{"start":470,"end":493},"file":1}],"0.144":[{"span":{"start":470,"end":493},"file":1}],"0.145":[{"span":{"start":470,"end":493},"file":1}],"0.146":[{"span":{"start":470,"end":493},"file":1}],"0.147":[{"span":{"start":470,"end":493},"file":1}],"0.148":[{"span":{"start":470,"end":493},"file":1}],"0.149":[{"span":{"start":470,"end":493},"file":1}]}}],"file_map":{"1":{"source":"use dep::std;\n\nunconstrained fn main(x: Field, y: Field, salt: Field, out_x: Field, out_y: Field, out_hash: Field) {\n    let res = std::hash::pedersen_with_separator([x, y], 0);\n    assert(res[0] == out_x);\n    assert(res[1] == out_y);\n    let res_hash = std::hash::pedersen_hash_with_separator([x, y], 0);\n    assert_eq(res_hash, out_hash);\n\n    assert(res_hash != res[0]);\n\n    let raw_data = [x,y];\n    let mut state = 0;\n    for i in 0..(2 as u32) {\n        state = state * 8 + raw_data[i];\n    }\n    state += salt;\n    let hash = std::hash::pedersen_with_separator([state], 0);\n    assert(std::hash::pedersen_with_separator([43], 0)[0] == hash[0]);\n}\n\n","path":"/mnt/user-data/kev/noir/tooling/nargo_cli/tests/execution_success/brillig_pedersen/src/main.nr"}}}
+{"debug_symbols":[{"locations":{"0.10":[{"span":{"start":131,"end":176},"file":1}],"0.11":[{"span":{"start":131,"end":176},"file":1}],"0.12":[{"span":{"start":131,"end":176},"file":1}],"0.13":[{"span":{"start":131,"end":176},"file":1}],"0.14":[{"span":{"start":131,"end":176},"file":1}],"0.15":[{"span":{"start":131,"end":176},"file":1}],"0.16":[{"span":{"start":131,"end":176},"file":1}],"0.17":[{"span":{"start":131,"end":176},"file":1}],"0.18":[{"span":{"start":131,"end":176},"file":1}],"0.19":[{"span":{"start":131,"end":176},"file":1}],"0.20":[{"span":{"start":131,"end":176},"file":1}],"0.21":[{"span":{"start":131,"end":176},"file":1}],"0.22":[{"span":{"start":131,"end":176},"file":1}],"0.23":[{"span":{"start":131,"end":176},"file":1}],"0.24":[{"span":{"start":131,"end":176},"file":1}],"0.25":[{"span":{"start":131,"end":176},"file":1}],"0.26":[{"span":{"start":131,"end":176},"file":1}],"0.27":[{"span":{"start":131,"end":176},"file":1}],"0.28":[{"span":{"start":189,"end":195},"file":1}],"0.29":[{"span":{"start":189,"end":195},"file":1}],"0.30":[{"span":{"start":189,"end":195},"file":1}],"0.31":[{"span":{"start":189,"end":204},"file":1}],"0.32":[{"span":{"start":189,"end":204},"file":1}],"0.33":[{"span":{"start":189,"end":204},"file":1}],"0.34":[{"span":{"start":218,"end":224},"file":1}],"0.35":[{"span":{"start":218,"end":224},"file":1}],"0.36":[{"span":{"start":218,"end":224},"file":1}],"0.37":[{"span":{"start":218,"end":233},"file":1}],"0.38":[{"span":{"start":218,"end":233},"file":1}],"0.39":[{"span":{"start":218,"end":233},"file":1}],"0.40":[{"span":{"start":255,"end":305},"file":1}],"0.41":[{"span":{"start":255,"end":305},"file":1}],"0.42":[{"span":{"start":255,"end":305},"file":1}],"0.43":[{"span":{"start":255,"end":305},"file":1}],"0.44":[{"span":{"start":255,"end":305},"file":1}],"0.45":[{"span":{"start":255,"end":305},"file":1}],"0.46":[{"span":{"start":255,"end":305},"file":1}],"0.47":[{"span":{"start":255,"end":305},"file":1}],"0.48":[{"span":{"start":255,"end":305},"file":1}],"0.49":[{"span":{"start":255,"end":305},"file":1}],"0.50":[{"span":{"start":255,"end":305},"file":1}],"0.51":[{"span":{"start":255,"end":305},"file":1}],"0.52":[{"span":{"start":255,"end":305},"file":1}],"0.53":[{"span":{"start":255,"end":305},"file":1}],"0.54":[{"span":{"start":311,"end":340},"file":1}],"0.55":[{"span":{"start":311,"end":340},"file":1}],"0.56":[{"span":{"start":311,"end":340},"file":1}],"0.57":[{"span":{"start":354,"end":372},"file":1}],"0.58":[{"span":{"start":354,"end":372},"file":1}],"0.59":[{"span":{"start":354,"end":372},"file":1}],"0.60":[{"span":{"start":354,"end":372},"file":1}],"0.61":[{"span":{"start":354,"end":372},"file":1}],"0.62":[{"span":{"start":354,"end":372},"file":1}],"0.63":[{"span":{"start":354,"end":372},"file":1}],"0.64":[{"span":{"start":422,"end":423},"file":1}],"0.65":[{"span":{"start":422,"end":423},"file":1}],"0.66":[{"span":{"start":422,"end":423},"file":1}],"0.67":[{"span":{"start":422,"end":423},"file":1}],"0.68":[{"span":{"start":422,"end":423},"file":1}],"0.69":[{"span":{"start":422,"end":423},"file":1}],"0.70":[{"span":{"start":422,"end":423},"file":1}],"0.71":[{"span":{"start":422,"end":423},"file":1}],"0.72":[{"span":{"start":422,"end":423},"file":1}],"0.75":[{"span":{"start":442,"end":450},"file":1}],"0.76":[{"span":{"start":442,"end":450},"file":1}],"0.79":[{"span":{"start":470,"end":493},"file":1}],"0.80":[{"span":{"start":505,"end":518},"file":1}],"0.81":[{"span":{"start":505,"end":518},"file":1}],"0.82":[{"span":{"start":505,"end":518},"file":1}],"0.83":[{"span":{"start":505,"end":518},"file":1}],"0.84":[{"span":{"start":505,"end":518},"file":1}],"0.85":[{"span":{"start":505,"end":518},"file":1}],"0.86":[{"span":{"start":505,"end":518},"file":1}],"0.87":[{"span":{"start":535,"end":581},"file":1}],"0.88":[{"span":{"start":535,"end":581},"file":1}],"0.89":[{"span":{"start":535,"end":581},"file":1}],"0.90":[{"span":{"start":535,"end":581},"file":1}],"0.91":[{"span":{"start":535,"end":581},"file":1}],"0.92":[{"span":{"start":535,"end":581},"file":1}],"0.93":[{"span":{"start":535,"end":581},"file":1}],"0.94":[{"span":{"start":535,"end":581},"file":1}],"0.95":[{"span":{"start":535,"end":581},"file":1}],"0.96":[{"span":{"start":535,"end":581},"file":1}],"0.97":[{"span":{"start":535,"end":581},"file":1}],"0.98":[{"span":{"start":535,"end":581},"file":1}],"0.99":[{"span":{"start":535,"end":581},"file":1}],"0.100":[{"span":{"start":535,"end":581},"file":1}],"0.101":[{"span":{"start":594,"end":637},"file":1}],"0.102":[{"span":{"start":594,"end":637},"file":1}],"0.103":[{"span":{"start":594,"end":637},"file":1}],"0.104":[{"span":{"start":594,"end":637},"file":1}],"0.105":[{"span":{"start":594,"end":637},"file":1}],"0.106":[{"span":{"start":594,"end":637},"file":1}],"0.107":[{"span":{"start":594,"end":637},"file":1}],"0.108":[{"span":{"start":594,"end":637},"file":1}],"0.109":[{"span":{"start":594,"end":637},"file":1}],"0.110":[{"span":{"start":594,"end":637},"file":1}],"0.111":[{"span":{"start":594,"end":637},"file":1}],"0.112":[{"span":{"start":594,"end":637},"file":1}],"0.113":[{"span":{"start":594,"end":637},"file":1}],"0.114":[{"span":{"start":594,"end":637},"file":1}],"0.115":[{"span":{"start":594,"end":640},"file":1}],"0.116":[{"span":{"start":594,"end":640},"file":1}],"0.117":[{"span":{"start":594,"end":640},"file":1}],"0.118":[{"span":{"start":644,"end":651},"file":1}],"0.119":[{"span":{"start":644,"end":651},"file":1}],"0.120":[{"span":{"start":594,"end":651},"file":1}],"0.121":[{"span":{"start":594,"end":651},"file":1}],"0.122":[{"span":{"start":594,"end":651},"file":1}],"0.124":[{"span":{"start":442,"end":450},"file":1}],"0.125":[{"span":{"start":470,"end":479},"file":1}],"0.126":[{"span":{"start":470,"end":479},"file":1}],"0.127":[{"span":{"start":482,"end":493},"file":1}],"0.128":[{"span":{"start":482,"end":493},"file":1}],"0.129":[{"span":{"start":482,"end":493},"file":1}],"0.130":[{"span":{"start":482,"end":493},"file":1}],"0.131":[{"span":{"start":482,"end":493},"file":1}],"0.132":[{"span":{"start":482,"end":493},"file":1}],"0.133":[{"span":{"start":482,"end":493},"file":1}],"0.134":[{"span":{"start":482,"end":493},"file":1}],"0.135":[{"span":{"start":482,"end":493},"file":1}],"0.136":[{"span":{"start":482,"end":493},"file":1}],"0.137":[{"span":{"start":482,"end":493},"file":1}],"0.138":[{"span":{"start":482,"end":493},"file":1}],"0.139":[{"span":{"start":482,"end":493},"file":1}],"0.140":[{"span":{"start":482,"end":493},"file":1}],"0.141":[{"span":{"start":470,"end":493},"file":1}],"0.142":[{"span":{"start":470,"end":493},"file":1}],"0.143":[{"span":{"start":470,"end":493},"file":1}],"0.144":[{"span":{"start":470,"end":493},"file":1}],"0.145":[{"span":{"start":470,"end":493},"file":1}],"0.146":[{"span":{"start":470,"end":493},"file":1}],"0.147":[{"span":{"start":470,"end":493},"file":1}],"0.148":[{"span":{"start":470,"end":493},"file":1}],"0.149":[{"span":{"start":470,"end":493},"file":1}]}}],"file_map":{"1":{"source":"use dep::std;\n\nunconstrained fn main(x: Field, y: Field, salt: Field, out_x: Field, out_y: Field, out_hash: Field) {\n    let res = std::hash::pedersen_with_separator([x, y], 0);\n    assert(res[0] == out_x);\n    assert(res[1] == out_y);\n    let res_hash = std::hash::pedersen_hash_with_separator([x, y], 0);\n    assert_eq(res_hash, out_hash);\n\n    assert(res_hash != res[0]);\n\n    let raw_data = [x,y];\n    let mut state = 0;\n    for i in 0..(2 as u32) {\n        state = state * 8 + raw_data[i];\n    }\n    state += salt;\n    let hash = std::hash::pedersen_with_separator([state], 0);\n    assert(std::hash::pedersen_with_separator([43], 0)[0] == hash[0]);\n}\n\n","path":"/mnt/user-data/kev/noir/tooling/nargo_cli/tests/execution_success/brillig_pedersen/src/main.nr"}}}