ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,480 Commits 53 Branches 44 Tags 331 MiB
aa0e576773
Commit Graph

111 Commits

Author SHA1 Message Date
Protryon
91795af973 format 2021-02-16 13:33:21 -08:00
Protryon
8b8937c5be clippy 2021-02-16 13:33:05 -08:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
gluax
f952da330c re-add syntax in, then add deprecation warning for it 2021-02-16 15:33:31 -05:00
gluax
d549fda7b5 rebase and replace const keyword in tests 2021-02-16 14:19:20 -05:00
gluax
42bea9e93a Merge branch 'master' of github.com:AleoHQ/leo into feature/515-eliminate-const-vars 2021-02-16 14:02:49 -05:00
bors[bot]
217ecca4d6
Merge #655 
655: Fix circuit resolution r=collinc97 a=Protryon

Fixes #642. Issues was that we didn't properly recursively resolve circuits when converting AST types -> ASG types

Co-authored-by: Protryon <max.bruce12@gmail.com>
 2021-02-12 04:54:15 +00:00
Protryon
b0de29e275 fix circuit resolution 2021-02-11 11:59:14 -08:00
Protryon
198230d604 fix field/group addition 2021-02-11 09:05:43 -08:00
Collin Chin
20a046bbbb
Merge pull request #643 from AleoHQ/feat/readme_license 
Adds READMEs and LICENSEs to each Leo workspace member
 2021-02-11 00:58:22 -08:00
bors[bot]
b72b5ac125
Merge #620 
620: Feature/254 strengthen import rules r=collinc97 a=gluax

Grammar changes are a bit different than what was suggested in the original feature request #254. However, it should be logically equivalent and I think makes more sense on the rust side.

Closes #254 

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 07:31:56 +00:00
howardwu
777a67fb40 Adds README.md 2021-02-10 22:27:37 -08:00
howardwu
55db999a9e Adds LICENSE.md 2021-02-10 22:23:45 -08:00
gluaxspeed
d211d729d1 refactor pacakge_type -> package_or_packages 2021-02-09 10:57:37 -05:00
gluaxspeed
f1bf6c90eb remove const keyword 2021-02-08 10:34:33 -05:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
gluaxspeed
26f9973e14 resolve merge conflict, asg + grammar tests 2021-02-05 14:20:48 -05:00
gluaxspeed
6aea561a52 forgot to push fix for Multiple enum resolve 2021-02-05 11:40:56 -05:00
Collin Chin
770f660f3a
Merge pull request #617 from AleoHQ/const-args 
[Feature] Const Function Arguments
 2021-02-04 23:05:51 -08:00
Collin Chin
a239e17bb6
Merge pull request #622 from AleoHQ/refactor/compiler 
Adds ASG struct, updates ASG to support debug
 2021-02-04 22:52:40 -08:00
howardwu
79ce27b861 Fix clippy 2021-02-04 19:34:19 -08:00
howardwu
1b99c42470 Adds ASG struct, updates ASG to support debug 2021-02-04 19:21:17 -08:00
howardwu
f80c3d236a Renames InnerProgram to InternalProgram 2021-02-04 17:31:44 -08:00
Howard Wu
fd5ce2f393
Merge pull request #585 from AleoHQ/feature/228-implied-circuit-name 
[Feature] 228 implied circuit name
 2021-02-04 14:28:14 -08:00
gluaxspeed
6ba556ceda fixed imports, but with different syntax that should be logical equivalent 2021-02-04 14:52:57 -05:00
Collin Chin
bd2bd1f40f
Merge pull request #619 from AleoHQ/implicit-groups 
[Feature] Implicit groups
 2021-02-04 09:03:04 -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
9c6eb23a1e const func arguments 2021-02-04 07:35:12 -08: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
gluaxspeed
cd5811dfd6 merge asg/master, clean up ast implied circuit var 2021-02-03 10:26:08 -05:00
howardwu
cbd45e56d7 Resolves unknown clippy flags 2021-02-01 20:39:01 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
collin
aa01421bdf resolve todos 2021-02-01 11:42:34 -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 Chin
63e1192cb6
Merge branch 'asg-asg' into asg-comments 2021-01-29 14:28:34 -05:00
Collin Chin
9541e124f6
Merge pull request #573 from AleoHQ/asg-clippy 
cargo +nightly clippy
 2021-01-29 14:14:02 -05:00
collin
bc40eea2fe comment on asg modules 2021-01-29 13:44:04 -05:00
collin
33563b0708 clean up asg imports 2021-01-28 16:13:48 -05:00
collin
c7c3514378 add comments to program 2021-01-28 16:01:57 -05:00
collin
4a4fae7991 initial comments and style guidelines 2021-01-27 21:34:47 -05:00
Protryon
754da358be constyness 2021-01-26 20:05:08 -08:00
collin
0c9b12d545 allow clippy::unused_unit in binary.rs 2021-01-25 15:49:51 -05:00
collin
899d237ea3 Merge branch 'asg-asg' of github.com:AleoHQ/leo into asg-clippy 2021-01-25 15:46:37 -05:00
collin
47c1356389 asg/src/lib.rs comments 2021-01-25 15:41:26 -05:00
Protryon
7c216bd07d fix integer contextual inference 2021-01-25 11:01:28 -08:00
Protryon
786afeecde boolean -> bool 2021-01-25 10:40:19 -08:00
Protryon
e4f899782a reformat type display 2021-01-25 10:38:22 -08:00
Protryon
2bd3a194fb allow non-u32 in various const places 2021-01-25 10:29:23 -08:00
collin
71df01257d cargo +nightly clippy 2021-01-25 12:07:45 -05:00
Protryon
958777f633 swap lint again 2021-01-25 07:46:00 -08:00
Protryon
8f1c3c7643 fix binary expression lint 2021-01-25 07:41:59 -08:00
Protryon
eff111b559 rename ternary 2021-01-25 07:31:34 -08:00
Protryon
ddfffd7c7b asg base implementation 2021-01-25 07:19:38 -08:00