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
2,794 Commits 53 Branches 44 Tags 331 MiB
0435b7ce83
Commit Graph

147 Commits

Author SHA1 Message Date
gluax
1d9befc0ac function input mutable by default 2021-03-19 11:30:24 -04:00
gluax
b50919085b deprecate let mut, undeprecate const, let is now mutable by default 2021-03-18 15:19:07 -04:00
gluax
6ffcb48822 asg now handles Circuit name in Circuit name, some bug fixes 2021-03-16 16:49:18 -04:00
Protryon
ba9444ecc4 dead code elimination pass 2021-03-13 06:58:09 -08:00
Collin Chin
0aa71ed3f9 Add consty checks. Closes #749. 2021-03-12 19:14:31 -08:00
damirka
9808b2fa7f Merge branch 'master' into feature/const-inputs 2021-03-12 10:14:29 +03:00
Collin Chin
6d378c37e6
Merge pull request #760 from ljedrz/clippy_lints 
clippy: 1.50 lints
 2021-03-11 15:20:53 -08:00
damirka
47e4d23ab1 staging commit with const input syntax and constants processing 2021-03-11 19:05:08 +03:00
ljedrz
25458835dc clippy: fix 1.50 lints 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-03-11 14:12:43 +01:00
Protryon
9156068801 constant folding 2021-03-10 09:35:11 -08:00
dependabot-preview[bot]
ab5da38aa0
Bump num-bigint from 0.3.1 to 0.4.0 
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.3.1 to 0.4.0.
- [Release notes](https://github.com/rust-num/num-bigint/releases)
- [Changelog](https://github.com/rust-num/num-bigint/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-bigint/compare/num-bigint-0.3.1...num-bigint-0.4.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-08 23:39:44 +00:00
Protryon
a4f2101aaf remove if from ternary expression 2021-03-08 14:45:38 -08:00
Protryon
a6bf66f864 fix tests 2021-03-07 06:48:02 -08:00
Protryon
f5187fc872 fix some failing tests 2021-03-07 06:27:42 -08:00
collin
d7d84c0ea7 fix test build issues. parser errors on dash + number names 2021-03-04 15:58:00 -08:00
collin
10ecc6e6e2 merge master and fix build issues 2021-03-04 14:11:17 -08:00
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
bors[bot]
4253ac9133
Merge #674 
674: implicit value at start of array failing fix r=collinc97 a=gluax

Resolves #607.

Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
 2021-03-01 23:57:43 +00:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
François Garillot
0d7c6d0b65
Simplifies a number of pattern-matches 
Into the direct `Result` / `Option` combinator they correspond to, for concision / clarity.

Reviewed from automated suggestions generated from [comby-rust](https://github.com/huitseeker/comby-rust).
 2021-02-26 13:03:04 -08:00
gluax
c7bcab3ccc merge master, slight clean up 2021-02-26 10:36:10 -05:00
gluax
6e38cc3b31 merge master for uid deprecation 2021-02-25 13:25:38 -05:00
gluax
3e20a9a177
Merge branch 'master' into feature/485-defines 2021-02-25 13:06:40 -05:00
gluax
88bdc45eb1 merge master 2021-02-25 11:56:14 -05:00
gluax
38f5417571 last bit of clean up 2021-02-25 11:48:13 -05:00
Protryon
ed8d2fb11d remove uuid dependency 2021-02-25 07:40:47 -08:00
howardwu
2e00ff451e Rename all instances of 'ctx' to 'context' 2021-02-24 18:13:36 -08:00
gluax
f7314625ff basic use case works, need to clean up, and test more advanced use cases 2021-02-23 14:38:50 -05:00
gluax
0b22e77301 refactor #define x 1u32-> const x: u32 = 1; 2021-02-22 15:57:33 -05:00
gluax
480e6345bb merge master, need to add defines into asg 2021-02-22 12:33:13 -05:00
gluax
34b8e766ac merge master and resolve bors failing test 2021-02-18 11:50:13 -05:00
Collin Chin
9baa9388a0
Merge branch 'master' into feature/515-eliminate-const-vars 2021-02-17 22:06:12 -08:00
Protryon
cc82fc7722 fix conflict 2021-02-17 08:38:14 -08:00
gluax
e0fdb73435 forgot to push fmted code 2021-02-17 11:33:54 -05:00
gluax
317fc08fc5 implicit value at start of array failing fix 2021-02-17 11:27:33 -05:00
gluax
b96dc782f9 add a test to check const statements fail 2021-02-17 09:06:30 -05:00
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