-
Notifications
You must be signed in to change notification settings - Fork 658
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
42 changed files
with
295 additions
and
119 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
10 changes: 10 additions & 0 deletions
10
utils/tests/build_nested_test/nested/build/imports/nested_example_layer_0.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
|
||
program nested_example_layer_0.aleo; | ||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_1.aleo/external_function r0 r1 into r2; | ||
output r2 as u32.private; |
9 changes: 9 additions & 0 deletions
9
utils/tests/build_nested_test/nested/build/imports/nested_example_layer_1.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
import nested_example_layer_2.aleo; | ||
|
||
program nested_example_layer_1.aleo; | ||
|
||
function external_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2; | ||
output r2 as u32.private; |
7 changes: 7 additions & 0 deletions
7
utils/tests/build_nested_test/nested/build/imports/nested_example_layer_2.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
program nested_example_layer_2.aleo; | ||
|
||
function external_nested_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
import nested_example_layer_0.aleo; | ||
program nested.aleo; | ||
|
||
|
||
|
||
function example: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_0.aleo/main r0 r1 into r2; | ||
output r2 as u32.private; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
{ | ||
"program": "nested.aleo", | ||
"version": "0.0.0", | ||
"description": "", | ||
"license": "MIT", | ||
"dependencies": [ | ||
{ | ||
"name": "nested_example_layer_0.aleo", | ||
"location": "network", | ||
"network": "testnet3" | ||
} | ||
] | ||
} |
This file was deleted.
Oops, something went wrong.
13 changes: 0 additions & 13 deletions
13
utils/tests/double_nested_program_run_test/grandparent/README.md
This file was deleted.
Oops, something went wrong.
12 changes: 12 additions & 0 deletions
12
utils/tests/double_nested_program_run_test/grandparent/build/imports/child.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
program child.aleo; | ||
|
||
record A: | ||
owner as address.private; | ||
val as u32.private; | ||
|
||
|
||
function mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
cast r0 r1 into r2 as A.record; | ||
output r2 as A.record; |
10 changes: 10 additions & 0 deletions
10
utils/tests/double_nested_program_run_test/grandparent/build/imports/parent.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
import child.aleo; | ||
program parent.aleo; | ||
|
||
|
||
|
||
function wrapper_mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
call child.aleo/mint aleo1q30lfyggefvzzxqaaclzrn3wd94q4u8zzy8jhhfrcqrf306ayvqsdvj7s4 1u32 into r2; | ||
output r2 as child.aleo/A.record; |
11 changes: 11 additions & 0 deletions
11
utils/tests/double_nested_program_run_test/grandparent/build/main.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
import child.aleo; | ||
import parent.aleo; | ||
program grandparent.aleo; | ||
|
||
|
||
|
||
function double_wrapper_mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
call parent.aleo/wrapper_mint r0 r1 into r2; | ||
output r2 as child.aleo/A.record; |
18 changes: 18 additions & 0 deletions
18
utils/tests/double_nested_program_run_test/grandparent/build/program.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
{ | ||
"program": "grandparent.aleo", | ||
"version": "0.0.0", | ||
"description": "", | ||
"license": "MIT", | ||
"dependencies": [ | ||
{ | ||
"name": "child.aleo", | ||
"location": "local", | ||
"path": "parent/child" | ||
}, | ||
{ | ||
"name": "parent.aleo", | ||
"location": "local", | ||
"path": "parent" | ||
} | ||
] | ||
} |
4 changes: 0 additions & 4 deletions
4
utils/tests/double_nested_program_run_test/grandparent/inputs/import_example.in
This file was deleted.
Oops, something went wrong.
13 changes: 0 additions & 13 deletions
13
utils/tests/double_nested_program_run_test/grandparent/parent/README.md
This file was deleted.
Oops, something went wrong.
12 changes: 12 additions & 0 deletions
12
utils/tests/double_nested_program_run_test/grandparent/parent/build/imports/child.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
program child.aleo; | ||
|
||
record A: | ||
owner as address.private; | ||
val as u32.private; | ||
|
||
|
||
function mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
cast r0 r1 into r2 as A.record; | ||
output r2 as A.record; |
10 changes: 10 additions & 0 deletions
10
utils/tests/double_nested_program_run_test/grandparent/parent/build/main.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
import child.aleo; | ||
program parent.aleo; | ||
|
||
|
||
|
||
function wrapper_mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
call child.aleo/mint aleo1q30lfyggefvzzxqaaclzrn3wd94q4u8zzy8jhhfrcqrf306ayvqsdvj7s4 1u32 into r2; | ||
output r2 as child.aleo/A.record; |
13 changes: 0 additions & 13 deletions
13
utils/tests/double_nested_program_run_test/grandparent/parent/child/README.md
This file was deleted.
Oops, something went wrong.
12 changes: 12 additions & 0 deletions
12
utils/tests/double_nested_program_run_test/grandparent/parent/child/build/main.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
program child.aleo; | ||
|
||
record A: | ||
owner as address.private; | ||
val as u32.private; | ||
|
||
|
||
function mint: | ||
input r0 as address.private; | ||
input r1 as u32.private; | ||
cast r0 r1 into r2 as A.record; | ||
output r2 as A.record; |
4 changes: 0 additions & 4 deletions
4
utils/tests/double_nested_program_run_test/grandparent/parent/child/inputs/a.in
This file was deleted.
Oops, something went wrong.
4 changes: 0 additions & 4 deletions
4
utils/tests/double_nested_program_run_test/grandparent/parent/inputs/b.in
This file was deleted.
Oops, something went wrong.
13 changes: 0 additions & 13 deletions
13
utils/tests/mixed_local_network_build_test/local_test/README.md
This file was deleted.
Oops, something went wrong.
9 changes: 9 additions & 0 deletions
9
utils/tests/mixed_local_network_build_test/local_test/build/imports/local_dep_1.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
program local_dep_1.aleo; | ||
|
||
|
||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
12 changes: 12 additions & 0 deletions
12
utils/tests/mixed_local_network_build_test/local_test/build/imports/nested.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
import nested_example_layer_0.aleo; | ||
program nested.aleo; | ||
|
||
|
||
|
||
function example: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_0.aleo/main r0 r1 into r2; | ||
output r2 as u32.private; |
10 changes: 10 additions & 0 deletions
10
...tests/mixed_local_network_build_test/local_test/build/imports/nested_example_layer_0.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
|
||
program nested_example_layer_0.aleo; | ||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_1.aleo/external_function r0 r1 into r2; | ||
output r2 as u32.private; |
9 changes: 9 additions & 0 deletions
9
...tests/mixed_local_network_build_test/local_test/build/imports/nested_example_layer_1.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
import nested_example_layer_2.aleo; | ||
|
||
program nested_example_layer_1.aleo; | ||
|
||
function external_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2; | ||
output r2 as u32.private; |
7 changes: 7 additions & 0 deletions
7
...tests/mixed_local_network_build_test/local_test/build/imports/nested_example_layer_2.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
program nested_example_layer_2.aleo; | ||
|
||
function external_nested_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
9 changes: 9 additions & 0 deletions
9
utils/tests/mixed_local_network_build_test/local_test/build/main.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
program local_test.aleo; | ||
|
||
|
||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
18 changes: 18 additions & 0 deletions
18
utils/tests/mixed_local_network_build_test/local_test/build/program.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
{ | ||
"program": "local_test.aleo", | ||
"version": "0.0.0", | ||
"description": "", | ||
"license": "MIT", | ||
"dependencies" : [ | ||
{ | ||
"name": "local_dep_1.aleo", | ||
"location": "local", | ||
"path": "local_dep_1" | ||
}, | ||
{ | ||
"name": "nested.aleo", | ||
"location": "local", | ||
"path": "../nested" | ||
} | ||
] | ||
} |
4 changes: 0 additions & 4 deletions
4
utils/tests/mixed_local_network_build_test/local_test/inputs/local_test.in
This file was deleted.
Oops, something went wrong.
13 changes: 0 additions & 13 deletions
13
utils/tests/mixed_local_network_build_test/local_test/local_dep_1/README.md
This file was deleted.
Oops, something went wrong.
12 changes: 12 additions & 0 deletions
12
utils/tests/mixed_local_network_build_test/local_test/local_dep_1/build/imports/nested.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
import nested_example_layer_0.aleo; | ||
program nested.aleo; | ||
|
||
|
||
|
||
function example: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_0.aleo/main r0 r1 into r2; | ||
output r2 as u32.private; |
10 changes: 10 additions & 0 deletions
10
...local_network_build_test/local_test/local_dep_1/build/imports/nested_example_layer_0.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
import nested_example_layer_2.aleo; | ||
import nested_example_layer_1.aleo; | ||
|
||
program nested_example_layer_0.aleo; | ||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_1.aleo/external_function r0 r1 into r2; | ||
output r2 as u32.private; |
9 changes: 9 additions & 0 deletions
9
...local_network_build_test/local_test/local_dep_1/build/imports/nested_example_layer_1.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
import nested_example_layer_2.aleo; | ||
|
||
program nested_example_layer_1.aleo; | ||
|
||
function external_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2; | ||
output r2 as u32.private; |
7 changes: 7 additions & 0 deletions
7
...local_network_build_test/local_test/local_dep_1/build/imports/nested_example_layer_2.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
program nested_example_layer_2.aleo; | ||
|
||
function external_nested_function: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
9 changes: 9 additions & 0 deletions
9
utils/tests/mixed_local_network_build_test/local_test/local_dep_1/build/main.aleo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
program local_dep_1.aleo; | ||
|
||
|
||
|
||
function main: | ||
input r0 as u32.public; | ||
input r1 as u32.private; | ||
add r0 r1 into r2; | ||
output r2 as u32.private; |
4 changes: 0 additions & 4 deletions
4
utils/tests/mixed_local_network_build_test/local_test/local_dep_1/inputs/local_dep_1.in
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.