ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-30 23:33:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,039 Commits 53 Branches 44 Tags 331 MiB
6bbf7ef73e
Commit Graph

1039 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sergey Isaev
6bbf7ef73e Fix link 2020-08-19 21:50:33 +03:00
Howard Wu
fce7435eae
Merge pull request #263 from AleoHQ/feat/version 
Bump version and repair Leo update description
 2020-08-19 03:39:06 -07:00
howardwu
0405ff4f89 Bump version and repair Leo update description 2020-08-19 03:00:30 -07:00
Howard Wu
03c2f0946d
Merge pull request #256 from AleoHQ/feature/update_command 
Update command
 2020-08-19 02:21:34 -07:00
howardwu
3a233add99 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/update_command 2020-08-19 01:43:53 -07:00
Howard Wu
887a4e0676
Update README.md 2020-08-19 01:34:50 -07:00
Howard Wu
53b1ee9e6b
Update README.md 2020-08-19 01:27:47 -07:00
Howard Wu
c6ea9ad061
Merge pull request #251 from AleoHQ/fix/synthesis-error-stack-overflow 
Fix/synthesis error stack overflow
 2020-08-19 01:25:34 -07:00
Howard Wu
476fad5593
Update README.md 2020-08-19 01:09:14 -07:00
collin
20ae244f67 expect compiler error for integer test 2020-08-19 00:44:01 -07:00
collin
c686115305 Merge branch 'master' of github.com:AleoHQ/leo into fix/synthesis-error-stack-overflow 2020-08-19 00:12:54 -07:00
Howard Wu
f57a0cc497
Merge pull request #249 from AleoHQ/feature/console 
Implement console functions
 2020-08-19 00:10:44 -07:00
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
ba0da8d700 remove token examples output folder 2020-08-18 19:58:24 -07:00
collin
0f0bcd3d70 revert cargo lock 2020-08-18 19:53:06 -07:00
collin
18d740556d fix readme 2020-08-18 18:58:13 -07:00
collin
f6609e0583 update cargo lock 2020-08-18 18:12:48 -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
collin
f675e895f5 merge master 2020-08-18 11:22:56 -07:00
Sergey Isaev
032b0b3ee2 Order consts 2020-08-18 15:52:59 +03:00
Sergey Isaev
66b878c7c5 Implement self update Leo command 2020-08-18 15:46:39 +03:00
Sergey Isaev
a5625d7c26 Add dependencies 2020-08-18 15:43:37 +03: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
a8530c9012 comment out field gadget eq 2020-08-17 23:13:54 -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
collin
5bd2575fd5 add test to check for stack overflow 2020-08-17 01:30:13 -07:00
Howard Wu
2c24c51b42
Merge branch 'master' into feature/leo-cli 2020-08-17 01:26:10 -07:00
collin
6631da0c7e Merge branch 'master' of github.com:AleoHQ/leo into fix/synthesis-error-stack-overflow 2020-08-17 01:21:24 -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