Commit Graph

229 Commits

Author SHA1 Message Date
gluax
1803925b08 semi-colon after return statements are required 2021-04-14 16:59:07 -04:00
gluax
11c78da916 formatted string -> renamed format string 2021-04-14 16:15:27 -04:00
gluax
91634d6479 implicit input, removed from function input 2021-04-14 16:00:19 -04:00
damirka
ccd7a197ca changed context-specific to specific in loops 2021-04-14 18:01:14 +03:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
collin
aa0e576773 edit duplicate function message 2021-04-07 14:31:44 -07:00
damirka
f55e880c43 adds check for already existing functions 2021-04-07 19:39:53 +03:00
gluax
952ce8c17e allow mutable method from immutable context 2021-04-02 04:45:02 -04:00
gluax
34f0f1519a merge latest abnf branch 2021-03-30 19:38:37 -04:00
collin
5bfca36fc7 fix array indexing bug and add test 2021-03-30 14:28:22 -07:00
collin
dca215cfb1 pass input length through 2021-03-29 14:26:11 -07:00
Protryon
a763075e99 runtime array indexing 2021-03-29 14:16:53 -07:00
gluax
56c6cfb6eb reducers in 2021-03-29 14:33:34 -04:00
gluax
e1a0838888 global consts work, time to add them to reducers and phases 2021-03-29 12:55:49 -04:00
gluax
dd06df4b1d it almost fully works, need to fix arrays, circuits and function calls 2021-03-26 15:47:11 -04:00
gluax
5287b238cf new parser parse global consts 2021-03-26 14:01:10 -04:00
gluax
406692c2aa merge master, next is parser 2021-03-26 12:07:48 -04:00
Protryon
63d1b1005f format 2021-03-26 05:19:42 -07:00
Protryon
5985d8da41 tendrilize spans 2021-03-26 05:18:55 -07:00
collin
6a1afdabb7 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/constant-mutable-declarations 2021-03-25 22:46:11 -07:00
collin
ef8517b8ce allow clippy warns 2021-03-25 15:51:46 -07:00
gluax
cf603dbc73 no circular reference 2021-03-25 14:51:43 -04:00
gluax
99db18167a second header pass for circuit members 2021-03-25 14:15:30 -04:00
gluax
696825eb6a asked for refactors started, this will fail tests 2021-03-25 13:48:47 -04:00
gluax
3efc705a8c fix tests merged from master 2021-03-25 11:19:42 -04:00
gluax
ab32aeb342 merge master 2021-03-24 15:13:53 -04:00
Collin Chin
94e7509690
Merge pull request #784 from AleoHQ/dead-code-elimination
Dead code elimination
2021-03-23 16:26:22 -07:00
Collin Chin
46220aa889
Merge pull request #761 from AleoHQ/feature/const-inputs
[Feature, Compiler] Adds constant inputs
2021-03-23 15:19:44 -07:00
collin
b9d676a404 assign todos 2021-03-23 15:17:31 -07:00
gluax
0ea4f1e0e3 const_ self as function input properly 2021-03-23 11:49:27 -04:00
gluax
ef43230e98 merge master and see if it fixes coverage ci 2021-03-22 11:38:19 -04:00
Max Bruce
d120e90d6e
Merge branch 'master' into dead-code-elimination 2021-03-22 07:04:38 -07:00
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