ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,006 Commits 54 Branches 46 Tags 340 MiB
844a05cc8e
Commit Graph

1006 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Howard Wu
844a05cc8e
Merge pull request #260 from AleoHQ/update/package-manager-url 
Update package manager url
 2020-08-18 23:48:59 -07:00
Howard Wu
9f8bdb2d7e
Merge pull request #261 from AleoHQ/fix/example-bugs 
Fix/example bugs
 2020-08-18 23:47:56 -07:00
collin
ad4a6cea4f remove underscores 2020-08-18 23:05:42 -07:00
collin
b00edea686 fix publish message 2020-08-18 23:02:47 -07:00
collin
c3a89764bf fix example naming and manifest files 2020-08-18 22:58:14 -07:00
collin
4cf1a55ce9 add value from implicit group type 2020-08-18 22:38:20 -07:00
Howard Wu
368f555969
Merge pull request #257 from AleoHQ/feature/group-one-and-zero 
Feature/group one and zero
 2020-08-18 22:31:23 -07:00
Raymond Chu
396f59724a
Update package manager url 2020-08-18 22:19:09 -07:00
collin
c7c2d14597 impl group number syntax in compiler and test zero and one 2020-08-18 13:28:08 -07:00
collin
a4d34a1784 add group number syntax to typed 2020-08-18 13:07:49 -07:00
collin
6df9a58d00 add group number syntax to input ast 2020-08-18 12:54:11 -07:00
collin
b34b5f4a03 add group number syntax to pest ast 2020-08-18 12:46:29 -07:00
collin
d3571a8e01 fix link 2020-08-18 12:38:16 -07:00
collin
faf979904a remove flying tour, update overview 2020-08-18 12:15:14 -07:00
Howard Wu
e1c0fbf9f6
Merge pull request #252 from AleoHQ/feature/readme 
Feature/readme
 2020-08-18 04:23:10 -07:00
Howard Wu
b09deebb3c
Merge pull request #255 from AleoHQ/feat/license 
Add license header to all leo .rs files
 2020-08-18 04:22:56 -07:00
raychu86
ae10a78eb5 Add license header 2020-08-18 03:50:26 -07:00
raychu86
72890dba40 Add licenserc.json 2020-08-18 03:49:11 -07:00
raychu86
0d35f9bb2b Update cargo.lock 2020-08-18 03:48:08 -07:00
collin
3138e6b3f4 fix nit 2020-08-18 00:08:08 -07:00
collin
9dbd50ea54 add flying tour, contributing 2020-08-17 20:21:45 -07:00
collin
9e011260fb add toc, build, quick start 2020-08-17 17:21:27 -07:00
collin
da73662edf initial commit 2020-08-17 17:02:21 -07:00
Howard Wu
5a33c34c5e
Merge pull request #250 from AleoHQ/feature/update-publish 
Implement leo publish
 2020-08-17 01:40:36 -07:00
Howard Wu
72311b0951
Merge pull request #247 from AleoHQ/feature/leo-cli 
Leo CLI support for login and add
 2020-08-17 01:37:03 -07:00
Howard Wu
2c24c51b42
Merge branch 'master' into feature/leo-cli 2020-08-17 01:26:10 -07:00
Howard Wu
34078a7739
Merge pull request #245 from AleoHQ/feature/context-annotation 
Feature/context annotation
 2020-08-17 01:16:09 -07:00
collin
ddfe8fa08a merge master 2020-08-17 01:12:16 -07:00
Howard Wu
8b8097e9e5
Merge pull request #244 from AleoHQ/feature/group-notation 
Feature/group notation
 2020-08-17 01:00:51 -07:00
howardwu
73f134130e Fix Cargo.lock 2020-08-17 01:00:26 -07:00
Howard Wu
625e8c60ff
Merge pull request #215 from AleoHQ/feature/local-data-commitment 
Feature/local data commitment
 2020-08-17 00:53:44 -07:00
raychu86
079da66ec7 cargo fmt 2020-08-16 21:57:21 -07:00
raychu86
4d8fb03dcf Add leo publish implementation 2020-08-16 21:50:44 -07:00
raychu86
9428a6a41a Add README.md generation to leo init 2020-08-16 19:48:25 -07:00
raychu86
953de07b56 Handle unwraps 2020-08-16 18:15:53 -07:00
raychu86
82bac674e9 cargo fmt 2020-08-16 17:55:07 -07:00
raychu86
15d9b97067 Merge master 2020-08-16 17:48:53 -07:00
raychu86
6b8f3d23fa Add leo add impl with correct imports folder 2020-08-16 17:36:31 -07:00
raychu86
0dd3e0b3d3 Fix comments 2020-08-16 14:20:52 -07:00
raychu86
502eea7ddd Implement leo add command 2020-08-16 14:01:32 -07:00
collin
b1f7457f1f update snarkos 2020-08-16 12:14:05 -07:00
collin
748ffcca3b update snarkos 2020-08-16 12:10:16 -07:00
raychu86
3f8134f890 Add a dedicated credentials file 2020-08-16 00:36:22 -07:00
collin
f9c68910b2 Merge branch 'master' of github.com:AleoHQ/leo into feature/local-data-commitment 2020-08-16 00:30:48 -07:00
collin
25468c4ed8 add verify local data commitment method to compiler 2020-08-16 00:28:39 -07:00
collin
14055407cf cargo lock 2020-08-15 23:47:35 -07:00
collin
9a2fe61c6f write test output to filename specified by context 2020-08-15 23:25:34 -07:00
collin
ced738f852 use from y coordinate from snarkos 2020-08-15 22:59:26 -07:00
collin
ba6cc019b6 Merge branch 'master' of github.com:AleoHQ/leo into feature/group-notation 2020-08-15 22:16:58 -07:00
collin
5efa131c65 impl test context with test inputs 2020-08-15 22:09:22 -07:00