ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,234 Commits 53 Branches 44 Tags 331 MiB
c38d6322c9
Commit Graph

1234 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
raychu86
6206a96a89 Update package_name to package 2020-09-02 12:13:16 -07:00
collin
4b14d108b7 update default input file and examples 2020-09-02 12:01:35 -07:00
collin
f286ba241d add type fail tests 2020-09-02 11:40:58 -07:00
collin
8cf5eb8790 all tests pass 2020-09-02 11:25:49 -07:00
collin
e7091b18ed fix tests 2020-09-02 11:12:12 -07:00
collin
77e2d55765 fix input array type parsing bug 2020-09-02 10:58:10 -07:00
collin
a4b0fb1a49 impl array-type for inputs in typed 2020-09-02 10:24:53 -07:00
collin
024618da9b impl array-type in input 2020-09-02 09:55:32 -07:00
collin
2662fd4a94 impl array-type in compiler 2020-09-02 09:40:09 -07:00
collin
02128488ea impl array-type in typed 2020-09-02 09:16:04 -07:00
collin
7a0dc342fb impl array-type in ast 2020-09-02 09:03:22 -07:00
collin
f823d463f2 merge master 2020-08-31 13:31:23 -04:00
collin
4355e1cd5a support n-group notation 2020-08-31 13:27:44 -04:00
raychu86
db997ac90a Add check that package has been initialized correctly 2020-08-29 18:08:05 -07:00
raychu86
848660cc01 Separate can_initialize and is_initialized in Package 2020-08-29 18:04:51 -07:00
raychu86
10a03aefa0 Create tests for package initialization 2020-08-29 17:58:36 -07:00
raychu86
bcb78bce9c Create initial package test structure 2020-08-29 17:29:51 -07:00
raychu86
8d50a75854 Update error outputs for package initialization 2020-08-29 16:05:38 -07:00
raychu86
ac49c01c84 Implement is_initialized check for package 2020-08-29 15:01:02 -07:00
howardwu
c24b2d1a04 Update release tests 2020-08-29 00:32:13 -07:00
howardwu
0c82495ee6 Rename FILE_NAME -> FILENAME 2020-08-29 00:28:24 -07:00
howardwu
d3e7e610b8 Rename lib -> library 2020-08-29 00:27:00 -07:00
howardwu
d67b5109d4 Update initialize to verify first, then initialize package 2020-08-29 00:24:13 -07:00
howardwu
9884320dd6 Merge branch 'master' of https://github.com/AleoHQ/leo into refactor/packages 2020-08-28 23:55:49 -07:00
raychu86
a84695e53c Update usage of LeoPackage in leo new 2020-08-28 23:47:25 -07:00
howardwu
3b737b2a34 Update leo cli version to dedicated file 2020-08-28 23:38:30 -07:00
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
raychu86
e25db53818 Update usage of LeoPackage in leo init 2020-08-28 23:21:41 -07:00
raychu86
40f4ffad51 Add PackageError to CLIError 2020-08-28 23:20:57 -07:00
raychu86
920214e5cf Genericize LeoPackage interface 2020-08-28 23:14:22 -07:00
raychu86
75ebf0cef5 Add PackageError 2020-08-28 22:54:36 -07:00
raychu86
ee308530f5 Update package declaration 2020-08-28 22:54:15 -07:00
raychu86
34fa444a06 Update package manifest use of remote 2020-08-28 22:38:31 -07:00
howardwu
194f1daf42 Update Cargo.toml 2020-08-28 22:08:37 -07:00
Howard Wu
ca9163a9c5
Merge pull request #319 from AleoHQ/feature/toml-remotes 
Update leo.toml remote convention
 2020-08-28 22:06:41 -07:00
raychu86
d69343f14a Add impl to replace old remote format 2020-08-28 21:45:08 -07:00
Howard Wu
71883deded
Merge pull request #314 from AleoHQ/dependabot/cargo/snarkos-storage-1.1.4 
Bump snarkos-storage from 1.1.3 to 1.1.4
 2020-08-28 20:16:28 -07:00
raychu86
f5aba15d35 Update the remote convention in leo.toml 2020-08-28 20:15:08 -07:00
Howard Wu
b0dcca1345
Merge pull request #316 from AleoHQ/feature/readme-generation 
Add README.md generation to `leo new`
 2020-08-28 20:00:53 -07:00
Howard Wu
41e856ef6a
Merge pull request #317 from AleoHQ/fix/default-license 
Fix default license to MIT
 2020-08-28 19:58:33 -07:00
raychu86
d90df8ef16 Fix default license to MIT 2020-08-28 18:58:37 -07:00
raychu86
535b9f0aa0 Add README.md generation to leo new 2020-08-28 18:47:37 -07:00
dependabot-preview[bot]
30fede9ed9
Bump snarkos-storage from 1.1.3 to 1.1.4 
Bumps [snarkos-storage](https://github.com/AleoHQ/snarkOS) from 1.1.3 to 1.1.4.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Changelog](https://github.com/AleoHQ/snarkOS/blob/master/release.toml)
- [Commits](https://github.com/AleoHQ/snarkOS/compare/v1.1.3...v1.1.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-08-27 10:34:59 +00:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00
Howard Wu
0023ee8ef4
Merge pull request #306 from AleoHQ/feature/tracing 
Migrate to tracing for console output
 2020-08-27 01:07:56 -07:00
howardwu
cc183475ee Update logging with custom formatter 2020-08-27 00:55:29 -07:00
collin
948188ddaf fix ugly errors 2020-08-21 19:57:27 -07:00
collin
5ab4d62a2b Fix styling and naming 2020-08-21 19:53:56 -07:00
collin
55fdb24bfb add tracing spans to commands. fix clean command 2020-08-21 19:22:01 -07:00
collin
bcab2df709 fix proving output 2020-08-21 18:44:19 -07:00