ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-11 11:47:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,320 Commits 55 Branches 45 Tags 335 MiB
55da1f1b2f
Commit Graph

103 Commits

Author SHA1 Message Date
Collin Chin
d2dcf65b68
Merge branch 'master' into type_tweaks 2020-10-20 22:29:23 -07:00
ljedrz
0d01520ea5 perf: hand-written PartialEq implementation for Function 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
a3fc39db92 perf: hand-written Hash and PartialEq implementations for Span 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
c8299743b8 perf: reduce Expression size from 244B to 152B 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
39cd98d2c0 bench: extend the LeoTypedAst benchmarks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
e1e22a2310 perf: vector pre-allocation and associated tweaks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-08 11:47:03 +02:00
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
c4aa913c68 clippy: fix map_clone 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
e6e6e9c234 clippy: allow some instances of ptr_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ea3542b30e clippy: allow len_without_is_empty 
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
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
93369aed33 clippy: fix ptr_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
27c3d7b71b clippy: fix manual_swap 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fae079057d clippy: fix derive_hash_xor_eq 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
812d8ae915 clippy: fix single_component_path_imports 
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
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
c21b5ad2f3 clippy: fix useless_format 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:12:35 +02:00
ljedrz
b8e22e0c96 clippy: fix write_with_newline 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-05 17:18:29 +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 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
2923d73978
Merge pull request #366 from AleoHQ/feature/strict-assignee-rule 
make assignee rule more strict during pest parsing
 2020-09-18 12:46:50 -07:00
collin
6250e95277 impl compare nested array types method for function return type 2020-09-17 12:46:55 -07:00
collin
3708c54362 make assignee rule more strict during pest parsing 2020-09-16 14:27:44 -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
5341c28805 naive call to blake2s function working 2020-09-15 12:33:28 -07:00
collin
9ed64a6627 fix conflicts 2020-09-10 16:44:25 -07:00
collin
5e4877e778 fix static call nested and test 2020-09-07 21:56:39 -07:00
collin
59570002f2 mutable self wip 2020-09-05 22:03:02 -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
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
Howard Wu
ad53cdc9ba
Merge pull request #341 from AleoHQ/refactor/keywords 
Refactor/keywords
 2020-09-02 21:54:59 -07:00
Howard Wu
377c416941
Merge pull request #338 from AleoHQ/refactor/span 
remove unused span methods
 2020-09-02 21:54:33 -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
9a6cfbdd7a impl Self keyword protected name 2020-09-02 20:48:20 -07:00
collin
42b03a3ccb impl input keyword protected name 2020-09-02 20:24:21 -07:00
collin
e6abe82935 remove unused span methods 2020-09-02 18:52:40 -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