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
2,026 Commits 53 Branches 46 Tags 339 MiB
b73c146193
Commit Graph

2026 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
55002db847 Fix the grammar benchmark 2021-02-04 09:30:38 -08:00
Collin Chin
bd2bd1f40f
Merge pull request #619 from AleoHQ/implicit-groups 
[Feature] Implicit groups
 2021-02-04 09:03:04 -08:00
Collin Chin
7919eaab6d
Merge pull request #606 from AleoHQ/fix/double-license 
[Fix] remove double license headers in files
 2021-02-04 09:02:30 -08:00
Protryon
431aca1f81 implicit groups 2021-02-04 07:57:04 -08:00
Protryon
81e758466d clippy 2021-02-04 07:40:52 -08:00
Protryon
5d4fbdbbe2 unignore swap test 2021-02-04 07:36:41 -08:00
Protryon
9c6eb23a1e const func arguments 2021-02-04 07:35:12 -08:00
gluaxspeed
ba417a9a73 merge lastest master 2021-02-04 09:39:02 -05:00
gluaxspeed
8af1248c58 now works with asg 2021-02-04 09:34:05 -05:00
collin
ebfc888e00 remove double license headers in files 2021-02-03 15:03:49 -08:00
howardwu
90fc6a9c12 chore(leo): bump version for new release 2021-02-03 13:34:03 -08:00
howardwu
0d907bbb26 chore(leo): bump version for new release 2021-02-03 12:36:17 -08:00
Howard Wu
bdae2425a7
Merge pull request #589 from AleoHQ/add-check-setup 
[CLI] Adds --skip-key-check option to setup, run and prove commands
 2021-02-03 11:31:35 -08:00
Howard Wu
59aa8ac21c
Merge pull request #603 from AleoHQ/asg-return-check 
Remove compiler return check
 2021-02-03 11:28:35 -08:00
Howard Wu
0e74f9e10f
Merge pull request #601 from AleoHQ/remove-mutable-value 
Remove mutable ConstrainedValue
 2021-02-03 11:24:39 -08:00
gluaxspeed
cd5811dfd6 merge asg/master, clean up ast implied circuit var 2021-02-03 10:26:08 -05:00
Protryon
fcbb5e4fd9 remove compiler return check 2021-02-02 19:33:41 -08:00
Protryon
abee76680b add test 2021-02-02 18:42:00 -08:00
Protryon
b078c6e09f remove mutable constrainedvalue 2021-02-02 18:37:27 -08:00
Howard Wu
2657c448a0
Merge pull request #597 from AleoHQ/asg-compiler 
[Feature] Abstract Semantic Graph (ASG) - Compiler Integration
 2021-02-02 14:33:21 -08:00
Protryon
e028255513 update license headers 2021-02-02 11:31:54 -08:00
Protryon
c417f2f082 fix build 2021-02-02 11:11:43 -08:00
collin
90ee77cad5 mirror swap test in asg 2021-02-02 11:09:36 -08:00
Protryon
ca549258b8 blake2s unwrap muts 2021-02-02 11:08:57 -08:00
Protryon
da52984385 output bytes update 2021-02-02 11:08:57 -08:00
Protryon
80d5c87b8a asg 2021-02-02 11:08:56 -08:00
gluaxspeed
047b06d975 license fix 2021-02-02 13:44:20 -05:00
gluaxspeed
3106647f24 fix tests, some changes to do so 2021-02-02 13:38:15 -05:00
Collin Chin
49bb4ab6ac
Merge pull request #595 from AleoHQ/update/ci 2021-02-02 09:26:30 -08:00
gluaxspeed
eb15269437 clean up a tad 2021-02-02 09:47:54 -05:00
howardwu
cbd45e56d7 Resolves unknown clippy flags 2021-02-01 20:39:01 -08:00
howardwu
ad5cad2a08 Update precommit hook to use stable for clippy 2021-02-01 20:28:33 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
howardwu
c481f19fa7 Update clippy logic 2021-02-01 20:15:57 -08:00
Howard Wu
f2c5f3b266
Merge pull request #594 from AleoHQ/asg-merge 
[Feature] Abstract Syntax Graph (ASG) - Base Implementation
 2021-02-01 13:55:04 -08:00
gluaxspeed
1cbbee4517 allow static, and calls 2021-02-01 15:20:24 -05:00
collin
aa01421bdf resolve todos 2021-02-01 11:42:34 -08:00
collin
f259828097 disable nightly clippy checks 2021-02-01 10:45:55 -08:00
gluaxspeed
7affb3e099 restrict self keyword to member access only 2021-02-01 13:04:20 -05:00
collin
4f4d0d051d ignore clippy::upper_case_acroynms in pest grammar crate 2021-02-01 09:36:53 -08:00
collin
99deb093f8 prefer rust fmt imports_granularity over deprecated merge_imports 2021-02-01 09:16:37 -08:00
collin
ebe730b387 merge asg-asg 2021-02-01 09:05:28 -08:00
collin
a5a8d08ed3 derive PartialEq 2021-02-01 09:04:07 -08:00
Protryon
a042e9f2df ignore swap test 2021-02-01 08:57:02 -08:00
Protryon
0b4e093f82 fix iteration constyness 2021-02-01 08:57:02 -08:00
collin
d033abf15a use @test annotation 2021-02-01 08:34:08 -08:00
collin
79e0da612d add AstError to AsgConvertError 2021-01-30 16:39:29 -05:00
collin
38f65a7d81 Merge branch 'master' of github.com:AleoHQ/leo into asg-merge 2021-01-30 16:31:35 -05:00
Collin Chin
2849a27722
Merge pull request #587 from AleoHQ/update/cleanup 
Removes leo-version from CLI
 2021-01-30 14:17:51 -05:00
Collin Chin
66c736b3d7
Merge pull request #582 from AleoHQ/leo-add-no-logout 
[CLI, CI] Leo add does not require login
 2021-01-30 14:16:04 -05:00