ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 18:21:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

Regen expectations

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-09-18 02:33:07 +02:00
parent a96ae8e686
commit 798a682a6b
12 changed files with 56 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: e2bfa0e0050ddd8f84ce1a20c2ffc199a98ca3cbf8127be7981ac6a9bf6cad17
initial_ast: 9958494d0536d06297f929fc32bf8c1fd51256b60f2b59b763434b50318e6bae
unrolled_ast: 9958494d0536d06297f929fc32bf8c1fd51256b60f2b59b763434b50318e6bae
ssa_ast: b2a66a976ae8977fe709dacaff1d844b8008ef9cc53a93f050984feab0489b9e
flattened_ast: 08547eb032d303946c50bb6f92cf5865ebd7ffb60fcf72c5042613a04e756c38
- initial_input_ast: 8d6ceebb7eec5992baf2e10dd8b859dd823a066e40289d5fa2a3df24a0dc56f0
initial_ast: 8903fd80b2bf02ed5e96b14441b83d69a09ccf670961ab5213cc2f5e131684db
unrolled_ast: 8903fd80b2bf02ed5e96b14441b83d69a09ccf670961ab5213cc2f5e131684db
ssa_ast: 34934d9d302a1f80cb9ee60fb1f59e74447f4e343aff1590eacd839480033b60
flattened_ast: 97bc52775c1f822ccc2ce947e6fac88e31bf5af2abd960016c8cae8497fd9142

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: fbfd0e7729a170e9ad5edbe89d81a834f80286bdac7386e976bef82006266241
initial_ast: 35df8cb8a4eaedf0d7ef8c5641afc850e7ae8af4da3a370d8e8699095d7a0af0
unrolled_ast: 35df8cb8a4eaedf0d7ef8c5641afc850e7ae8af4da3a370d8e8699095d7a0af0
ssa_ast: 0073d2ce69045204ae8b098661f7ab3b03328c97e9e9462aa96ffdb7c36c45f9
flattened_ast: 6b3b316107625e6b10fc201c1fa82d70a1edf870d672a0093c63b1b154852051
- initial_input_ast: 63a3ca615379adca59155029f240686c68b95ad4885f23971dffba3444880f46
initial_ast: 7849140c0e36a400e527c807b6d64b68ec0b862f5f3669763a2fa30fdcb7367a
unrolled_ast: 7849140c0e36a400e527c807b6d64b68ec0b862f5f3669763a2fa30fdcb7367a
ssa_ast: 47dd7ea513bd2a911f75cca9a49a87a827f2a222b3c4efeda6e4f5362c7277ad
flattened_ast: d41851bc8eb88d9b2bd825f6e1b5f29e20d12e92e35e482b9a4e2a862149337d

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 30bcdf9e3064f59cff10bde5c59834ff95d21da38a9f0db7f12dee3017ae5887
initial_ast: dc461726551948d314658bfee8f13d333e454220c328756674080c5b6021c24e
unrolled_ast: dc461726551948d314658bfee8f13d333e454220c328756674080c5b6021c24e
ssa_ast: 7b94d0cbfddeeee7665d7c5094314784a7e4b9ab6cacd7739aadf8a62b52d5ac
flattened_ast: 2753015adb7a9046abffdbe034620565cdc876d9f57d39fdea9dd6927025e670
- initial_input_ast: 8762f4e3aa37b05e762fbfce76fe6904854e68b4f6c41b3151f2c472c172a50a
initial_ast: 58354a3f130aec878f279494196abb9be21000e78e2ef07d81993cecba7012ee
unrolled_ast: 58354a3f130aec878f279494196abb9be21000e78e2ef07d81993cecba7012ee
ssa_ast: 1576837d18755a2506a96b7ff6fe1283a39c21e1517a1042200a2e46bf71a5da
flattened_ast: 8c7685683d896be857be3a6e1a0083433da0018de9fae4c2fc35729c0e968a43

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 8c88aa92e2f75c9e87085f5f02553aa660cecd69581cbcaccd29b27fd2d075a8
initial_ast: d3f51f1b88ecbc5bdf7db2940fdd16cd2f58d7e6bbf118bd31d6a7986ddc93a2
unrolled_ast: d3f51f1b88ecbc5bdf7db2940fdd16cd2f58d7e6bbf118bd31d6a7986ddc93a2
ssa_ast: 5b21cb88d7cfe90a3ddd1c930b6abb38c3af19a5f7ad64e45dff11b8a8868c9f
flattened_ast: b07a3c47b0290b34dacb228bdade88d3c53951535cd3a11de395e94579c118f3
- initial_input_ast: b638b226aa80d9c8720c2abc5fef167a2903a7e46c0a15a10d85c9a9bf73ba13
initial_ast: acf1332b3e50018dd9c08f0e2eeed37a1c5a0f08aa8ee5150992dcc51ec4703e
unrolled_ast: acf1332b3e50018dd9c08f0e2eeed37a1c5a0f08aa8ee5150992dcc51ec4703e
ssa_ast: b64d34803f1cd84be4335ae4b73ebb75415d195fff8638845f02c27512d74d6a
flattened_ast: e3a01e1c1960b51f05f9e364d48ac27d854e8e7a67cfdaa963a4f5d7a604de1a

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 30bcdf9e3064f59cff10bde5c59834ff95d21da38a9f0db7f12dee3017ae5887
initial_ast: 4ff93db33f5dd59444a198075fdd86ce6445c0c2a8f899703fa6e74b18dc44a2
unrolled_ast: 4ff93db33f5dd59444a198075fdd86ce6445c0c2a8f899703fa6e74b18dc44a2
ssa_ast: 73e24de98e9639c977a47eb470758385a32daf920bd06bfdd2fb55df228624d3
flattened_ast: ecab8afdf68437603d2b8730f015c9d17bd72564c121455843f5703b17c91641
- initial_input_ast: 8762f4e3aa37b05e762fbfce76fe6904854e68b4f6c41b3151f2c472c172a50a
initial_ast: f2c00b12d62a178bbd497d3b97e8c82524b7017841b4981bdb22c0659c424ae4
unrolled_ast: f2c00b12d62a178bbd497d3b97e8c82524b7017841b4981bdb22c0659c424ae4
ssa_ast: 2a7ea14ba791f357e277f0a2a1d8f787eddfb49dd34ddec1666f3ff555bc5e98
flattened_ast: 9c88fbcb38c6494f4b5ff3d418b9dd69eb9fd739469bf3080edb4f6407b30a4c

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 8c88aa92e2f75c9e87085f5f02553aa660cecd69581cbcaccd29b27fd2d075a8
initial_ast: f006a1f3c2cc03184773f2ded982799ca75b70f4da50dbbeccd201480a151100
unrolled_ast: f006a1f3c2cc03184773f2ded982799ca75b70f4da50dbbeccd201480a151100
ssa_ast: 8e292d024d064f980f3968a305909949db2796fe75a40909d6b1feb231a34f88
flattened_ast: 9e179adcba5c6e862c18f1c10f7cf6059e8f51dcaddfad90c5ed689a5e87c3d8
- initial_input_ast: b638b226aa80d9c8720c2abc5fef167a2903a7e46c0a15a10d85c9a9bf73ba13
initial_ast: d42dde2e874e4f99efd01efe1e4961f61d6f8cff46e30c038fbd0a3735e00bd3
unrolled_ast: d42dde2e874e4f99efd01efe1e4961f61d6f8cff46e30c038fbd0a3735e00bd3
ssa_ast: 2b365232f1fb9e7dd576fa2fcb172d86f058be4544f353b96ddb6ceb9e245379
flattened_ast: 6c6dd818ff24551f5f36e704f476247308f5afe578c1aee16712c7c8409fdeff

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 30bcdf9e3064f59cff10bde5c59834ff95d21da38a9f0db7f12dee3017ae5887
initial_ast: 2e0e6612574ad838172c2075dea4cdb5a880b739cce7df5cdc427f6756b02687
unrolled_ast: 2e0e6612574ad838172c2075dea4cdb5a880b739cce7df5cdc427f6756b02687
ssa_ast: 3347601679bb63067c68437801a27385a3be9280641ae5624507aa219d3c0be8
flattened_ast: 11c6f51ce168b4a6bc2d501a705cc28af8503697eeb3980d38a8a2ac412be9b5
- initial_input_ast: 8762f4e3aa37b05e762fbfce76fe6904854e68b4f6c41b3151f2c472c172a50a
initial_ast: 9826202bb36bcfcaa5d89d31de7c26a8e17bdcb1f858c924272c7b781e7aa1c8
unrolled_ast: 9826202bb36bcfcaa5d89d31de7c26a8e17bdcb1f858c924272c7b781e7aa1c8
ssa_ast: 71fcb33cb7d7af8f6f92c24e252973c0d1f062c09644a5326f4926ac86a5476b
flattened_ast: 1bc3c6d850b3b9ea858cc44206cbfae54b5c082eea6500ea248e2ca263c8bb5c

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 8c88aa92e2f75c9e87085f5f02553aa660cecd69581cbcaccd29b27fd2d075a8
initial_ast: 3356ad5308de7f981cf38ce7eed5f1c2d6d31bc8a822d780e31b08ecb769982a
unrolled_ast: 3356ad5308de7f981cf38ce7eed5f1c2d6d31bc8a822d780e31b08ecb769982a
ssa_ast: acea126e4d4433df22831def7395ff3c00e092982ad91fcb4600b6526b427158
flattened_ast: 59841f502448ab758012feb048f70bf4a4467882a40d3a94c9b9818d11b63ea3
- initial_input_ast: b638b226aa80d9c8720c2abc5fef167a2903a7e46c0a15a10d85c9a9bf73ba13
initial_ast: 142d39ab2813fecc19a096468315f242e72a9c586d1532fc96386e107678b47e
unrolled_ast: 142d39ab2813fecc19a096468315f242e72a9c586d1532fc96386e107678b47e
ssa_ast: 4c518161bd0e20e4fa6de1750fa52a62d07a09b8b93427257644d7a7f869c919
flattened_ast: 7743fbb072340a5e48e4ce17c240b1e73198cae3a0bf635edc465afec96094f8

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

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

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 320bf92be1f73a8faef64838d58c78d2c1b3bb305d4eff603e032995d9b4bca2
initial_ast: 0044702b991284bbaa0002ff474560989765411fa886ef249f45607eeb6c3be8
unrolled_ast: 0044702b991284bbaa0002ff474560989765411fa886ef249f45607eeb6c3be8
ssa_ast: 769622ca0aeb40338fded913b743550967ae5892fa9e25a1fea655c6ba4542da
flattened_ast: 11fd8a56a5b54a699fc3e1ec3efcc4edfca7a1dba07c36e2c49eaf57c6bd3bd9
- initial_input_ast: bd66a8c48fe434715d1d19ca0c60e77b4f2b8ec92f4b0a785277774a2074a804
initial_ast: 22116947f0e502345f67deea4376392a6d5a7a1c147dcd4d58d3bda0ddfb245b
unrolled_ast: 22116947f0e502345f67deea4376392a6d5a7a1c147dcd4d58d3bda0ddfb245b
ssa_ast: ee76b847a759607f4ba1f4e896b67434442e0af2f7e666c14cbbed9c3a6c0086
flattened_ast: 4ba31b085167ff9a5ec622d5a41e21d8443d767046795d1545a26cbd3655e639

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 320bf92be1f73a8faef64838d58c78d2c1b3bb305d4eff603e032995d9b4bca2
initial_ast: b07a4db770b9b071150bbecff5d3fac88c35db3ddf438b8191b83bc2aa6cafa5
unrolled_ast: b07a4db770b9b071150bbecff5d3fac88c35db3ddf438b8191b83bc2aa6cafa5
ssa_ast: af03b3bdf60cd63d94f5c16fa6a08bf094d8311ac42b77d6a80ccdc2e5befd85
flattened_ast: e6f060f9869245aac7492ae153d07cf8c28e029c507cd2e0006c577e8991ffae
- initial_input_ast: bd66a8c48fe434715d1d19ca0c60e77b4f2b8ec92f4b0a785277774a2074a804
initial_ast: 992d7b50e675edb82bcbad04d90276b8caeaccd815aea3eee972589e4bfb789a
unrolled_ast: 992d7b50e675edb82bcbad04d90276b8caeaccd815aea3eee972589e4bfb789a
ssa_ast: b4defa34c9d548db0f4cddb89da478b4ddf522227d8edb513fad7b6ff09451fa
flattened_ast: 0c0ca9e6d949f089e03fea84caf72d5ac1ccbdbfd10ae169fd5fff5032d6d166

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

@ -3,8 +3,8 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 320bf92be1f73a8faef64838d58c78d2c1b3bb305d4eff603e032995d9b4bca2
initial_ast: 1b4da40189d509aafd6f106c53dfd98c6ac73947d2b4067a0c47aa96cc4f44ad
unrolled_ast: 1b4da40189d509aafd6f106c53dfd98c6ac73947d2b4067a0c47aa96cc4f44ad
ssa_ast: 2616c66e98cbdc6407b8c969992c2cfdb2db0a496ca42ed321be6802b97d26af
flattened_ast: 32a93762013659a955cebbbc79ea8b64cc635c9efe9006e57b3ca008211924d8
- initial_input_ast: bd66a8c48fe434715d1d19ca0c60e77b4f2b8ec92f4b0a785277774a2074a804
initial_ast: f6c4fd99998e9c3bbd97aa8778435493b4e68cdb60fe21d3a5dcb1251225c5f2
unrolled_ast: f6c4fd99998e9c3bbd97aa8778435493b4e68cdb60fe21d3a5dcb1251225c5f2
ssa_ast: f4aa21d116f7f2043d0acce34d88a0fd36dc6c341ea1a453490fd58774ebaefc
flattened_ast: d2d42db9bcdefdd583835d4b4f774f37515bffcd47194c34736cac8ef1dbc228