Leo Deploy #26901

evan-schott · 2024-01-05T22:22:23Z

TLDR:
- cd into project directory and type leo deploy
Motivation:
- Make it super easy for new developers to deploy their programs
  - A lot of defaults preselected
  - If devs want more options they can just use the snarkos tool
- Not just a wrapper around snarkos developer deploy, the reason its being built in Leo is so that it can recursively deploy local dependencies.
  - This is an absolute pain to do using snarkos because have to move all the local dependencies into their own folders, and name them main.aleo with imports directory of their imports
Defaults:
- Endpoint: Aleo node
- Builds project if unbuilt
- Recursively deploys imports
  - Already know all the paths to local directories
  - Do quick check to see if the local project name already taken on chain

…eploy # Conflicts: # Cargo.lock # leo/cli/commands/build.rs # leo/cli/commands/execute.rs

Signed-off-by: evan-schott <[email protected]>

…ation to ST

…exMap key)

Co-authored-by: d0cd <[email protected]> Signed-off-by: evan-schott <[email protected]>

codecov · 2024-02-09T23:50:26Z

Codecov Report

Attention: 114 lines in your changes are missing coverage. Please review.

Comparison is base (e0632d6) 76.05% compared to head (95d95f2) 75.65%.

Files	Patch %	Lines
compiler/ast/src/stub/function_stub.rs	17.94%	32 Missing ⚠️
leo/cli/cli.rs	81.31%	17 Missing ⚠️
compiler/passes/src/common/symbol_table/mod.rs	58.33%	15 Missing ⚠️
compiler/ast/src/struct/mod.rs	56.25%	7 Missing ⚠️
...ompiler/passes/src/common/symbol_table/location.rs	50.00%	5 Missing ⚠️
compiler/passes/src/type_checking/checker.rs	88.37%	5 Missing ⚠️
...rors/src/errors/type_checker/type_checker_error.rs	20.00%	4 Missing ⚠️
leo/cli/commands/deploy.rs	0.00%	3 Missing ⚠️
compiler/ast/src/mapping/mod.rs	33.33%	2 Missing ⚠️
compiler/ast/src/types/array.rs	0.00%	2 Missing ⚠️
... and 16 more

Additional details and impacted files

@@             Coverage Diff              @@
##           testnet3   #26901      +/-   ##
============================================
- Coverage     76.05%   75.65%   -0.41%     
============================================
  Files           200      203       +3     
  Lines          6800     7049     +249     
  Branches       6800     7049     +249     
============================================
+ Hits           5172     5333     +161     
- Misses         1628     1716      +88

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Relax Shadowing for Records and Functions

d0cd

LGTM! We will revisit this feature later.

d0cd · 2024-01-18T18:53:13Z

leo/cli/cli.rs

+    #[clap(about = "Deploy a program")]
+    Deploy {
+        #[clap(flatten)]
+        command: Deploy,
+    },
+    #[clap(about = "Add a new on-chain or local dependency to the current package.")]
+    Add {
+        #[clap(flatten)]
+        command: Add,
+    },
+    #[clap(about = "Compile the current package as a program")]
+    Build {
+        #[clap(flatten)]
+        command: Build,
+    },
+    #[clap(about = "Clean the output directory")]
+    Clean {
+        #[clap(flatten)]
+        command: Clean,
+    },


Nit: lets keep these in alphabetic order.

evan-schott added 9 commits January 5, 2024 14:19

supporting changes for deploy

6e58d6e

read and filter lock file

2b450b9

recursive leo deploy working

eb58b83

custom endpoints for dependency retrieval

67f3003

enable on-chain execution

0d5cfb3

--non-recursive build

e46b40f

wait times between nested deployments

47a5e1a

update error messages

7c957ce

compile error

cec1145

evan-schott requested a review from d0cd January 9, 2024 00:48

clean

95feacb

Base automatically changed from feat/stubs to testnet3 January 10, 2024 02:01

evan-schott added 18 commits February 9, 2024 13:22

clippy

c577679

comment out

d8e8a1d

supporting changes for deploy

0b5bd57

read and filter lock file

85b77c5

recursive leo deploy working

bf23ca9

custom endpoints for dependency retrieval

3886780

enable on-chain execution

d67effe

--non-recursive build

1a4b075

wait times between nested deployments

d97387b

update error messages

fdb8bd4

compile error

ac7e69a

clean

4164503

clippy

bfa41e1

comment out

12f9548

resolve errors

86bf2dd

Merge remote-tracking branch 'origin/feat/leo-deploy' into feat/leo-d…

330ce0d

…eploy # Conflicts: # Cargo.lock # leo/cli/commands/build.rs # leo/cli/commands/execute.rs

update lock

64605df

Merge branch 'testnet3' into feat/leo-deploy

fc82a14

Signed-off-by: evan-schott <[email protected]>

evan-schott and others added 22 commits February 9, 2024 15:37

unused

f743f20

add external mapping to symbol table

8159c9a

modify CallExpression AST representation of external functions

c3c5ff1

usage changes

278f59b

Change representation of external records in AST

4b8131c

Change representation of external functions in AST

8089183

Add test for relaxed shadowing of external records and functions

b7bd406

prohibit external record creation

d4aed52

All test expectations change since added external data type represent…

a2ecb3d

…ation to ST

misc

e478a95

Support for doubly nested external records in function signature

fb8620d

Refactor Type::Identifier => Type::Struct

8a6d382

Fix json serialization error (can't have non-string Option<..> as Ind…

975c21c

…exMap key)

update ST usages to reflect ST structure change

4894cf7

Update errors/src/errors/parser/parser_errors.rs

366b8df

Co-authored-by: d0cd <[email protected]> Signed-off-by: evan-schott <[email protected]>

Update compiler/ast/src/expressions/call.rs

9dd7b7e

Co-authored-by: d0cd <[email protected]> Signed-off-by: evan-schott <[email protected]>

Struct -> Composite

9d84b6c

Parser

27beae3

New tests

077f9fb

Deactivate snarkOS dep

10e302c

Passes refactor

78f8d31

TYC

9e0cfd5

evan-schott and others added 3 commits February 9, 2024 15:57

update tests

5af08b5

clarify external structs

71853d3

Merge pull request #27471 from AleoHQ/feat/relax-shadowing

4997c5f

Relax Shadowing for Records and Functions

d0cd approved these changes Feb 10, 2024

View reviewed changes

Merge branch 'testnet3' into feat/leo-deploy

95d95f2

d0cd merged commit a2e3155 into testnet3 Feb 12, 2024
14 of 15 checks passed

d0cd deleted the feat/leo-deploy branch February 12, 2024 04:05

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Leo Deploy #26901

Leo Deploy #26901

evan-schott commented Jan 5, 2024 •

edited

Loading

codecov bot commented Feb 9, 2024 •

edited

Loading

d0cd left a comment •

edited

Loading

d0cd Jan 18, 2024

Leo Deploy #26901

Leo Deploy #26901

Conversation

evan-schott commented Jan 5, 2024 • edited Loading

codecov bot commented Feb 9, 2024 • edited Loading

Codecov Report

d0cd left a comment • edited Loading

Choose a reason for hiding this comment

d0cd Jan 18, 2024

Choose a reason for hiding this comment

evan-schott commented Jan 5, 2024 •

edited

Loading

codecov bot commented Feb 9, 2024 •

edited

Loading

d0cd left a comment •

edited

Loading