ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,309 Commits 53 Branches 46 Tags 339 MiB
790f1c472a
Commit Graph

1309 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
94411aaabf add bench path 2020-08-21 02:56:38 -07:00
howardwu
95c3000a9f Merge branch 'master' of https://github.com/AleoHQ/leo 2020-08-21 02:54:11 -07:00
howardwu
4da4fc4344 Update cargo.toml 2020-08-21 02:54:04 -07:00
Howard Wu
f7a2a733db
Merge pull request #280 from AleoHQ/feature/automatic-update 
Automatic updating of the binary
 2020-08-21 02:44:22 -07:00
raychu86
0f505bf876 Update comments and documentation 2020-08-21 01:59:02 -07:00
raychu86
34aac43905 Update config file name 2020-08-21 01:56:41 -07:00
raychu86
45eb0b5e38 implement binary auto update 2020-08-21 01:49:34 -07:00
raychu86
d6b0edbd83 Update imports 2020-08-21 01:49:02 -07:00
raychu86
758bae9fea Add config 2020-08-21 01:47:59 -07:00
raychu86
5781a1a357 Update release.yml packaging convention 2020-08-21 01:46:48 -07:00
Howard Wu
16f0e0b5f6
Merge pull request #262 from AleoHQ/feature/allocated-address 
Feature/allocated address
 2020-08-20 22:37:30 -07:00
Howard Wu
1fcf0f7f0c
Merge pull request #278 from AleoHQ/feature/static-function-import 
fix imported static access bug
 2020-08-20 22:36:18 -07:00
collin
147a87ec24 fix imported static access bug 2020-08-20 21:12:51 -07:00
Howard Wu
c37ff19ae0
Merge pull request #275 from AleoHQ/feature/publish-file-restrictions 
Restrict zipped package files in `leo publish`
 2020-08-20 14:58:01 -07:00
raychu86
7110b5b67b Restrict included package files 2020-08-20 00:22:23 -07:00
Collin Chin
c4c4bf4429
Merge pull request #273 from AleoHQ/fix/link 
Fix link
 2020-08-19 17:14:31 -07:00
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
collin
a86018c0ea impl tests for allocated addresses 2020-08-19 03:11:30 -07:00
howardwu
0405ff4f89 Bump version and repair Leo update description 2020-08-19 03:00:30 -07:00
collin
5aad40a678 impl cond select gadget for address 2020-08-19 02:58:51 -07:00
Howard Wu
03c2f0946d
Merge pull request #256 from AleoHQ/feature/update_command 
Update command
 2020-08-19 02:21:34 -07:00
collin
0ac23ffb97 impl alloc, enforce eq, eval eq gadgets for address 2020-08-19 02:19:02 -07:00
collin
8f2f39be86 impl address gadget 2020-08-19 01:49:58 -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