ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,716 Commits 53 Branches 44 Tags 331 MiB
91cac5f9d0
Commit Graph

731 Commits

Author SHA1 Message Date
ljedrz
98baae93c1 clippy: assorted fixes to tests and benches 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 15:09:03 +02:00
ljedrz
300666827e fmt: run cargo +nightly fmt on the changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:07:30 +02:00
ljedrz
c09b7eb3b1 clippy: fix if_same_then_else 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fe016dc168 clippy: fix needless_range_loop 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
08afb0e604 clippy: fix redundant_pattern_matching 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
4d8a91418f clippy: fix unnecessary_unwrap 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fc4e2ee4ab clippy: fix type_complexity 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
8c099ab8c8 clippy: fix into_iter_on_ref 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
1a3d1fb2b8 clippy: fix collapsible_if 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
b4bb39872b clippy: fix unused_unit 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
bdfb6f5fb5 clippy: fix redundant_closure 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
e9b9c1f72f fix: allow a piece of own deprecated code 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
f016b972fb clippy: fix vec_box 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ba9fc92229 clippy: fix large_enum_variant 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c4cdaed923 clippy: allow too_many_arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
1fc9b902dd clippy: fix redundant_clone & clone_on_copy 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
93369aed33 clippy: fix ptr_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
98990721cf clippy: fix redundant_static_lifetimes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
a872db5ca6 clippy: fix useless_conversion 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
a4891c6f00 clippy: fix len_zero 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
7c15eabd5e clippy: fix or_fun_call 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ffef5089f7 clippy: fix new_without_default 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
80bb3033fd clippy: fix single_char_pattern 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c21b5ad2f3 clippy: fix useless_format 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:12:35 +02:00
ljedrz
4f46dd2982 clippy: allow module_inception 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-05 17:18:25 +02:00
ljedrz
0cf7a247cc clippy: fix needless_return 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-05 17:16:44 +02:00
collin
d5a9cefe7c impl symbol table for pass 1 + pass 2 type resolution 2020-10-01 20:17:47 -07:00
collin
9ee5b58cff Merge branch 'fix/blake2s-test-output-formatting' of github.com:AleoHQ/leo into feature/import-parser 2020-09-18 13:04:10 -07:00
collin
a76f4f6767 fix test 2020-09-18 12:57:44 -07:00
Collin Chin
13dc121091
Merge pull request #368 from AleoHQ/fix/array-return-type 
Fix/array return type
 2020-09-18 12:47:04 -07:00
Collin Chin
249242266c
Merge pull request #365 from AleoHQ/feature/blake2s 
Implement core module with native blake2s circuit
 2020-09-18 12:46:31 -07:00
collin
3164f6ce33 fix import tests 2020-09-18 12:41:38 -07:00
collin
557fccd9da remove old import parser code from compiler 2020-09-18 12:35:27 -07:00
collin
d54749145b use import parser errors in compiler 2020-09-18 12:26:51 -07:00
collin
22422c1b55 create separate module for imports 2020-09-18 12:04:10 -07:00
Collin Chin
7dfbff7795
Merge pull request #351 from AleoHQ/feature/log-numbers 
remove types from console.log and formatted strings
 2020-09-18 11:30:12 -07:00
collin
6250e95277 impl compare nested array types method for function return type 2020-09-17 12:46:55 -07:00
collin
733561cc93 remove unused test dependencies 2020-09-16 13:45:53 -07:00
collin
38d7397c2c add unit and integration tests for core unstable blake2s circuit 2020-09-16 13:41:50 -07:00
collin
facafe6041 add core package parsing errors 2020-09-16 00:05:58 -07:00
collin
2a9d69f07f add core circuit errors 2020-09-15 23:35:30 -07:00
collin
32c85720be make core function arguments and returns generic 2020-09-15 21:18:48 -07:00
collin
3d3a093f2a Merge branch 'master' of github.com:AleoHQ/leo into feature/blake2s 2020-09-15 17:27:55 -07:00
collin
b071b85b8c remove print statements 2020-09-15 14:19:15 -07:00
collin
23bdecf6c4 fix nested return type mismatch error 2020-09-15 13:01:10 -07:00
collin
5341c28805 naive call to blake2s function working 2020-09-15 12:33:28 -07:00
collin
32cf945c61 core package imports wip 2020-09-12 23:10:01 -07:00
collin
9ed64a6627 fix conflicts 2020-09-10 16:44:25 -07:00
collin
d2810f2789 fix tests 2020-09-10 11:18:49 -07:00
collin
8a3f59e9c0 remove types from console.log and formatted strings 2020-09-07 23:40:15 -07:00
collin
5db13fa904 test Self keyword fails in main function 2020-09-07 22:07:26 -07:00
collin
e916a53ed9 add error and clean up 2020-09-07 22:04:23 -07:00
collin
5e4877e778 fix static call nested and test 2020-09-07 21:56:39 -07:00
collin
a83795eda3 fix define circuit inside circuit function bug 2020-09-07 21:15:30 -07:00
collin
09e209f5eb fix storing self circuit variables inside circuit function bug 2020-09-07 15:06:52 -07:00
collin
17784ffb23 add tests for mutable circuit variables using self keyword 2020-09-07 13:47:50 -07:00
collin
a04160a09e impl mutating a circuit using the self keyword inside a circuit function 2020-09-07 13:27:49 -07:00
collin
59570002f2 mutable self wip 2020-09-05 22:03:02 -07:00
collin
2d7886f951 add test comments 2020-09-03 13:58:04 -07:00
collin
3ef023b87a impl tests for nested and tuple array combinations in Leo programs 2020-09-03 13:56:45 -07:00
collin
4932eb688e support all combinations of nested and tuple array syntax. Test small and large arrays 2020-09-03 13:22:05 -07:00
collin
b6dc77e112 support nested array type in leo inputs 2020-09-03 11:24:23 -07:00
collin
de3564b98d support nested array type in leo programs 2020-09-03 10:02:59 -07:00
howardwu
2620ae7bc2 chore(leo): bump version for new release 2020-09-03 03:08:33 -07:00
Howard Wu
788300ef93
Merge pull request #343 from AleoHQ/fix/input-error-messages 
Add file path to all error messages
 2020-09-03 02:50:13 -07:00
howardwu
981d272fa6 Fixes array indices for both nested and tuple cases 2020-09-03 02:40:50 -07:00
howardwu
40ac13e317 Fix critical array indexing bug 2020-09-03 00:30:57 -07:00
collin
60db15596d fix parser syntax errors. fix tests 2020-09-02 23:23:50 -07:00
collin
340e633470 fix state file errors 2020-09-02 23:05:03 -07:00
collin
0bb8c42731 fix input file errors 2020-09-02 22:59:54 -07:00
Howard Wu
ad53cdc9ba
Merge pull request #341 from AleoHQ/refactor/keywords 
Refactor/keywords
 2020-09-02 21:54:59 -07:00
Howard Wu
179fba27fc
Merge pull request #337 from AleoHQ/fix/missing-license 
add missing license headers
 2020-09-02 21:53:14 -07:00
collin
603438b216 impl self keyword protected name and add tests 2020-09-02 20:59:05 -07:00
collin
42b03a3ccb impl input keyword protected name 2020-09-02 20:24:21 -07:00
collin
94f6c00f30 add data types to protected names. add identifier tests 2020-09-02 19:23:16 -07:00
collin
ddb40a3b15 add missing license headers 2020-09-02 18:45:48 -07:00
collin
c84227f69a Merge branch 'master' of github.com:AleoHQ/leo into feature/mutable-circuit-variables 2020-09-02 18:04:00 -07:00
collin
d35188abcb test mutable circuit variables 2020-09-02 18:01:47 -07:00
collin
87781fed03 throw an error when assigning to an immutable circuit variable 2020-09-02 17:52:17 -07:00
Collin Chin
6fc3393f5c
Merge pull request #334 from AleoHQ/feature/array-init-parenthesis 
Feature/array init parenthesis
 2020-09-02 20:36:13 -04:00
Collin Chin
7bc803bd32
Merge pull request #333 from AleoHQ/feature/rename-circuit-field 
Feature/rename circuit field
 2020-09-02 20:36:01 -04:00
collin
df9fb58677 impl mutable circuit variables 2020-09-02 17:31:31 -07:00
collin
51b80d1742 Merge branch 'feature/rename-circuit-field' into feature/mutable-circuit-variables 2020-09-02 16:59:30 -07:00
collin
84a874b0ce add tests for large array initializer 2020-09-02 16:49:06 -07:00
collin
bd3b465a4f add tests for input array initializer 2020-09-02 16:04:41 -07:00
collin
28fca854d2 rename circuit_field -> circuit_variable in compiler tests 2020-09-02 14:15:30 -07:00
collin
2d52dd2444 rename circuit_field -> circuit_variable in compiler 2020-09-02 14:13:27 -07:00
collin
d33ca81869 rename circuit_field -> circuit_variable in typed 2020-09-02 14:10:40 -07:00
Howard Wu
37f9b64343
Merge pull request #331 from AleoHQ/feature/newline-after-test 
Add newline after each successful test run
 2020-09-02 13:44:41 -07:00
Howard Wu
afc8c6b931
Merge pull request #330 from AleoHQ/feature/unsigned-array-access-only 
Add compiler check for signed integer array access
 2020-09-02 13:44:11 -07:00
Howard Wu
000293aab7
Merge pull request #325 from AleoHQ/refactor/array-type 
Refactor/array type
 2020-09-02 13:39:11 -07:00
collin
70ebdb3172 add newline after each successful test run 2020-09-02 13:23:29 -07:00
collin
5210b1ec77 Add compiler check for signed integer array access 2020-09-02 13:11:42 -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
a4b0fb1a49 impl array-type for inputs in typed 2020-09-02 10:24:53 -07:00
collin
2662fd4a94 impl array-type in compiler 2020-09-02 09:40:09 -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
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00
howardwu
cc183475ee Update logging with custom formatter 2020-08-27 00:55:29 -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
collin
551595026b fix test output formatting 2020-08-21 18:08:14 -07:00
collin
2e3333cd25 fix test, login, build console output 2020-08-21 17:39:48 -07:00
collin
912a192b5c use tracing in compiler 2020-08-21 16:36:50 -07:00
collin
3f1b1e857c use tracing in package and leo cli 2020-08-21 16:06:48 -07:00
collin
da843e452e use tracing for build command 2020-08-21 15:49:51 -07:00
howardwu
c07958e292 Clean up Cargo.toml 2020-08-21 05:09:48 -07:00
howardwu
b6238470cc Update Cargo.toml 2020-08-21 03:07:15 -07:00
howardwu
4da4fc4344 Update cargo.toml 2020-08-21 02:54:04 -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
collin
147a87ec24 fix imported static access bug 2020-08-20 21:12:51 -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
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
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
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
collin
c7c2d14597 impl group number syntax in compiler and test zero and one 2020-08-18 13:28:08 -07:00
collin
f675e895f5 merge master 2020-08-18 11:22:56 -07:00
raychu86
ae10a78eb5 Add license header 2020-08-18 03:50:26 -07:00
collin
a8530c9012 comment out field gadget eq 2020-08-17 23:13:54 -07:00
collin
5bd2575fd5 add test to check for stack overflow 2020-08-17 01:30:13 -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
collin
ddfe8fa08a merge master 2020-08-17 01:12:16 -07:00
howardwu
73f134130e Fix Cargo.lock 2020-08-17 01:00:26 -07:00
collin
55d6dc5cc6 fix stack overflow error caused by SynthesisError 2020-08-16 23:13:10 -07:00
collin
3f49eb0e3f comment out group and field tests 2020-08-16 19:52:33 -07:00
collin
e58a5f4e0e clean up 2020-08-16 19:45:35 -07:00
collin
e6e02a0e50 refactor all tests 2020-08-16 19:14:26 -07:00
collin
47523f7f5d start porting tests over 2020-08-16 17:20:47 -07:00
collin
4533915438 support conditional console functions 2020-08-16 16:10:07 -07:00
collin
b2866951f6 impl console functions in compiler 2020-08-16 15:18:30 -07:00
collin
f3ee68be2b impl console functions in typed 2020-08-16 14:28:19 -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
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
collin
e27b4e1560 fix error message 2020-08-15 17:37:46 -07:00
collin
a4b29d2651 impl new group notation for inputs compiler 2020-08-15 17:21:18 -07:00
collin
37bedc8662 impl tests for group notation 2020-08-15 16:31:07 -07:00
collin
3fe25da23f impl new group notation compiler 2020-08-15 16:20:43 -07:00
collin
70de48d928 remove printlns 2020-08-15 13:57:03 -07:00
collin
2d6da3cd3c parse all import definitions 2020-08-15 13:17:43 -07:00
collin
79b13138ff add restriction 2020-08-15 01:58:33 -07:00
collin
3d794c6a20 allow newlines and trailing commas in function declarations 2020-08-15 00:25:11 -07:00
Howard Wu
7ba71bbfc1
Merge pull request #229 from AleoHQ/fix/not-equals-stack-overflow 
fixes stack overflow error
 2020-08-14 21:02:11 -07:00
Howard Wu
febc050a94
Merge pull request #198 from AleoHQ/feature/tuple 
Implement tuple values and types
 2020-08-14 21:00:37 -07:00
collin
d4ab9d915c add not equals tests to integers 2020-08-14 00:25:39 -07:00
collin
24df4ae57a allow integers. do not allow field or group equality or comparison 2020-08-13 12:11:56 -07:00
collin
bea47246a6 Merge branch 'fix/group-type' of github.com:AleoHQ/leo into feature/tuple 2020-08-13 11:46:19 -07:00
collin
d1eddcf4db fix input group value and add test 2020-08-13 11:37:48 -07:00
collin
76009cb843 impl circuit synthesizer and serialized circuit 2020-08-13 01:21:39 -07:00
collin
6016f47d66 remove unused circuit bytes 2020-08-12 20:02:39 -07:00
collin
0b9bc8001d fix tuple edge cases 2020-08-11 11:17:39 -07:00
collin
08978cc9e7 refactor return values to tuple types 2020-08-11 01:08:02 -07:00
collin
74248f936b impl tuples for inputs 2020-08-10 22:02:03 -07:00
collin
79846ab565 support nested tuple types 2020-08-10 19:45:03 -07:00
collin
a0195c3180 add tuple tests 2020-08-10 19:40:49 -07:00
collin
0e8473658e support tuple access and comparison 2020-08-10 19:12:38 -07:00
collin
e85d6499d0 support tuple parsing and assignment 2020-08-10 18:21:23 -07:00
collin
9c7e14cf4d comment out integer tests 2020-08-10 14:46:36 -07:00
collin
e7851d98d0 add serialize and deserialize circuit methods 2020-08-08 19:55:17 -07:00
collin
168561f340 comment out integers 2020-08-08 02:17:20 -07:00
collin
62c5d8251b add specific test for import definition 2020-08-07 16:59:32 -07:00
collin
13ca17634d allow import definition at any point in a leo file 2020-08-07 16:35:55 -07:00
collin
424287eb7b Merge branch 'master' of github.com:AleoHQ/leo into feature/unordered-definitions 2020-08-07 16:18:50 -07:00
collin
52addca70e Merge branch 'feature/unary-minus' of github.com:AleoHQ/leo into refactor/value-number 2020-08-07 15:17:06 -07:00
collin
f32ea5b744 rename minus -> negate 2020-08-07 15:14:02 -07:00
collin
3d1edefedb add definition parsing to typed. add tests 2020-08-05 22:45:52 -07:00
collin
8ad4724b01 merge unary pr 2020-08-05 20:06:33 -07:00
collin
1fd3e946f8 use compound atomic rules in pest, update tests 2020-08-05 18:13:50 -07:00
collin
c66efc03f0 impl negation tests for all types 2020-08-04 21:37:09 -07:00
collin
269e24595f impl compiler support for integer, group, field negation 2020-08-04 21:04:45 -07:00
collin
6cff63d752 add unary expression, unary operator, minus, and not to pest and types 2020-08-04 20:09:48 -07:00
Collin Chin
ba23ea3832
Merge pull request #152 from AleoHQ/fix/pest-address 
Fix/pest address
 2020-08-04 19:11:41 -07:00
collin
8b674388ad Merge branch 'master' of github.com:AleoHQ/leo into feature/array-size 2020-08-03 23:23:55 -07:00
collin
a0d294591e enforce aleo prefix and character length 2020-08-03 23:22:11 -07:00
collin
2c3c852ff4 Merge branch 'master' of github.com:AleoHQ/leo into fix/pest-address 2020-08-03 23:12:03 -07:00
Howard Wu
1e7a6bf4ca
Merge pull request #157 from AleoHQ/fix/leo-test 
fix leo test to run tests in isolation
 2020-08-03 21:58:17 -07:00
Howard Wu
f2f28a37c4
Update compiler.rs 2020-08-03 20:45:29 -07:00
collin
ddcf2c0b09 fix leo test to run tests in isolation 2020-08-03 19:51:41 -07:00
collin
279c322f2d fix division max value bug 2020-08-03 18:54:27 -07:00
collin
d08364b71b check for negation overflow in division test 2020-08-03 15:38:47 -07:00
collin
95984c98c9 fix division by zero error detect 2020-08-03 15:22:29 -07:00
collin
01b2e0e760 Merge branch 'master' of github.com:AleoHQ/leo into fix/pest-address 2020-08-03 14:59:19 -07:00
collin
1f1a49a5d3 add tests for invalid integers in array size 2020-08-03 14:56:45 -07:00
collin
1e56b3a5f6 fix all examples. change outputs -> output 2020-08-03 12:46:47 -07:00
collin
e7ad1595a7 add empty address test 2020-08-03 12:01:09 -07:00
howardwu
f4f9b30dd2 Rename directory types -> typed 2020-08-02 21:02:25 -07:00
howardwu
c8b82f12a8 Rename directory leo-input -> input 2020-08-02 21:00:23 -07:00