ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 15:31:32 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,300 Commits 53 Branches 46 Tags 339 MiB
6399f873f5
Commit Graph

1473 Commits

Author SHA1 Message Date
damirka
5d359f23f5 Merge branch 'master' into feature/input-kebab 2021-04-26 22:25:10 +03:00
gluax
438c20c14d merge master, resolve conflicts, login test is failing 2021-04-26 14:43:21 -04:00
collin
de685928e2 rename stage -> phase 2021-04-21 15:22:20 -07:00
damirka
ad86b23c01 adds search for @test(custom) inputs path in kebab case 
- in Leo test envs can only be snake_cased
- while we suggest naming inputs and folders in kebab-case
- this patch searches for both test_input and test-input options in inputs
 2021-04-21 15:27:10 +03:00
Protryon
534f36a077 compiler tests 2021-04-19 18:08:14 -07:00
gluax
7031923921 clean up comments 2021-04-19 14:36:56 -04:00
gluax
8c497f0b7a more test coverage 2021-04-19 13:53:49 -04:00
gluax
f7ec5de7c9 fix address in test 2021-04-15 17:08:30 -04:00
gluax
0016a1beaa update to lastest master, with FormatString rename 2021-04-15 16:55:48 -04:00
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
Collin Chin
5f46ccc026
Merge pull request #869 from AleoHQ/bug/calling-mut-method-from-immutable-context 
bug-fix-852
 2021-04-15 11:51:11 -07:00
gluax
59f86c4b34 fix call for immutable context, add it to test 2021-04-15 14:34:22 -04:00
gluax
2f7ed99f76 pull max's required semi-colon branch to ensure sameness, MD file renamed to readme 2021-04-14 18:38:49 -04:00
Protryon
df60874da9 fix tests 2021-04-14 15:27:57 -07:00
Protryon
51920b5df7 require semicolons on return 2021-04-14 15:27:57 -07:00
gluax
6e595bd845 remove escaped double quote for now, address(...) removed 2021-04-14 17:43:02 -04:00
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
1231c5bc36 clippy fix 2021-04-14 16:03:53 -04:00
gluax
91634d6479 implicit input, removed from function input 2021-04-14 16:00:19 -04:00
damirka
fbe10b3aaf adds empty line to leo example 2021-04-14 20:06:14 +03:00
gluax
eaa07934ed resolve merge conflicts 2021-04-14 12:51:20 -04:00
damirka
794e0f1095 adds test for that scenario 2021-04-14 18:09:52 +03:00
Collin Chin
4ae6de4978
Add clippy flag 2021-04-13 15:22:31 -07:00
Collin Chin
e9988e9713
Add clippy flag 2021-04-13 15:22:01 -07:00
gluax
dc5d75da85 some clean up 2021-04-13 15:33:00 -04:00
gluax
a54488b45f use stage macro for cleaner type inference 2021-04-13 13:49:16 -04:00
gluax
fdf54ea9a1 make macro to make this easier 2021-04-13 13:36:16 -04:00
gluax
61e791c671 type inference tests 2021-04-13 11:52:01 -04:00
gluax
f612ed441a type inference, and canonicalization bug fixes 2021-04-12 16:21:44 -04:00
gluax
214d9e0f8c More generic errors for reducing 2021-04-12 12:33:06 -04:00
gluax
29b8b2e301 add another test for tuple defined arrays 2021-04-12 11:47:19 -04:00
gluax
2bb85f52c1 quick fix, it's in order in this location not reversed, add tests 2021-04-09 22:52:14 -04:00
damirka
1e1697b7fe Merge branch 'master' into feature/opti-cli-flag 2021-04-10 00:33:19 +03:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
gluax
bddcef732f merge master, clean up reducer and directors 2021-04-09 12:48:59 -04:00
gluax
f963782d90 some bug fixing 2021-04-08 17:56:56 -04:00
gluax
cb2f77c7e4 program in, time to test 2021-04-08 16:36:37 -04:00
gluax
97b434986d statements 2021-04-08 16:06:44 -04:00
Collin Chin
23bca1e595
Merge pull request #796 from ljedrz/align_integers_with_snarkvm 
Align with snarkVM's Integer changes
 2021-04-07 15:28:39 -07:00
gluax
55dae9bc14 push some expression solving, start statements 2021-04-07 13:21:10 -04:00
damirka
8ac7440daa adds test, expects asg error 2021-04-07 20:20:58 +03:00
ljedrz
dee5f7dc15 fix: use a hand-written impl of get_index 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
ljedrz
670e3c0b47 deps: update snarkVM 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
ljedrz
74f02411e8 fix: align with snarkVM's Integer changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
gluax
ac9414590f reduce type and the basis for type_inference ast 2021-04-06 17:09:36 -04:00
gluax
541b83d492 working on directing expressions so far 2021-04-06 14:07:37 -04:00
Collin Chin
ea5bc5d693
Merge pull request #825 from AleoHQ/bug/815-mutable-method-imuttable-context 
Bug/815 mutable method imuttable context
 2021-04-05 21:12:39 -07:00
Collin Chin
f3f569b233
Merge pull request #824 from AleoHQ/feature/no-space-between-literals 
Feature/no space between literals
 2021-04-05 21:11:57 -07:00
gluax
38c36cc305 tests for all the integers 2021-04-05 12:59:08 -04:00
gluax
f0ce9d400e testing the changes 2021-04-05 12:54:27 -04:00
damirka
2578be4287 fix test 2021-04-05 19:37:16 +03:00
damirka
03b2af4aaa Merge branch 'master' into unused-code-bye-bye 2021-04-05 16:40:30 +03:00
damirka
a588c18100 clippy 2021-04-05 16:39:38 +03:00
damirka
044dc96e58 adds tests for outputfile 2021-04-05 16:08:54 +03:00
gluax
f44dcc1e96 test for bug 2021-04-02 04:50:14 -04:00
gluax
dc8a04e872 fix test 2021-03-31 14:59:45 -04:00
gluax
24e5d5365b resolve all the merge conflicts 2021-03-31 14:08:38 -04:00
damirka
41600d0261 removed unused errors in compiler 2021-03-31 18:06:22 +03:00
gluax
34f0f1519a merge latest abnf branch 2021-03-30 19:38:37 -04:00
Collin Chin
bb8534bad1
Merge pull request #801 from ljedrz/dedup_code 
Deduplicate code in Integer::allocate_type
 2021-03-30 15:24:35 -07:00
collin
5bfca36fc7 fix array indexing bug and add test 2021-03-30 14:28:22 -07:00
Protryon
426cfbc88c address todos 2021-03-29 15:57:17 -07:00
Protryon
a763075e99 runtime array indexing 2021-03-29 14:16:53 -07:00
collin
9be13dfd51 update comments 2021-03-29 12:12:38 -07:00
collin
6774cbb01c fix canonicalization tests 2021-03-29 11:24:58 -07:00
gluax
e1a0838888 global consts work, time to add them to reducers and phases 2021-03-29 12:55:49 -04:00
damirka
c21114c161 adds compiler optimizations flags to build and other commands 
- optimizations can either be turned all together or specified
- removed deprecated clippy rules, followed clippy
- removed library file logic from build command, we don't have libraries
 2021-03-28 19:28:00 +03:00
damirka
5fdf86f415 added compiler options to constructor and factory methods 2021-03-28 17:49:49 +03:00
gluax
dadb518598 forgot to update test json 2021-03-26 17:14:37 -04:00
gluax
3e912ef165 access member fix 2021-03-26 17:02:59 -04:00
gluax
871e52006b quick bug fix 2021-03-26 16:51:03 -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
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
dcc2844a50 fix canonicalization test 2021-03-25 22:52:58 -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
28bca20b97 pray to the clippy gods (allow upper case acronyms in state module) 2021-03-25 16:03:32 -07:00
collin
ef8517b8ce allow clippy warns 2021-03-25 15:51:46 -07:00
gluax
c78ab699b8 another test 2021-03-25 16:52:43 -04:00
gluax
793cbb9f27 add test for const self, no clippy issues locally 2021-03-25 14:30:06 -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
113ba12959 add tests for dead code elim 2021-03-23 15:49:56 -07:00
collin
99efdf00cb add comments to asg passes 2021-03-23 15:33:13 -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
3a6ca5018d edit main input comments 2021-03-23 14:44:16 -07:00
collin
8172d73a71 fix bit not error 2021-03-23 14:38:20 -07:00
collin
68afcadfa4 update error descriptions 2021-03-23 14:36:22 -07:00
gluax
0ea4f1e0e3 const_ self as function input properly 2021-03-23 11:49:27 -04:00
ljedrz
d14edcb4cd refactor: use a macro to deduplicate code in Integer::allocate_type 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-03-23 11:24:47 +01:00
collin
ae9ba51b7d update pedersen hash example to use constant inputs 2021-03-22 15:24:32 -07:00
gluax
2c6a34fea7 test that was failing coverage only existed on master 2021-03-22 11:47:34 -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
damirka
b5ae4e1ca4 extended errors, added more error cases 2021-03-19 15:15:06 +03:00
gluax
b50919085b deprecate let mut, undeprecate const, let is now mutable by default 2021-03-18 15:19:07 -04:00
collin
f1f8b99690 add passing iteration test with loop variable 2021-03-17 12:35:16 -07:00
gluax
dceb8a9744 fix Self inside of circuit giving an error, tests 2021-03-17 14:33:04 -04:00
damirka
0eb7b972c7 Merge branch 'master' into feature/const-inputs 2021-03-17 20:54:52 +03:00
damirka
2862549603 removed unwraps 2021-03-17 13:23:58 +03:00
gluax
e9bc1159ff merge master and fix last bug 2021-03-16 17:28:59 -04:00
gluax
6ffcb48822 asg now handles Circuit name in Circuit name, some bug fixes 2021-03-16 16:49:18 -04:00
damirka
60519275c9 added test for non const input as const 2021-03-16 23:18:10 +03:00
collin
0a28945262 Merge branch 'master' of https://github.com/AleoHQ/leo into dead-code-elimination 2021-03-16 12:19:01 -07:00
collin
078f0b4351 Merge branch 'master' of https://github.com/AleoHQ/leo into fix/const-loop-range 2021-03-16 12:18:15 -07:00
damirka
8c228cc6b7 forced const inputs for const variables 2021-03-16 20:37:27 +03:00
damirka
037851e703 Merge branch 'master' into feature/const-inputs 2021-03-16 16:34:29 +03:00
damirka
40f4b1cb65 covered type mismatch in constant inputs 2021-03-16 16:32:55 +03:00
howardwu
0a324ec817 Fix merge conflict with master 2021-03-15 21:14:04 -07:00
howardwu
284bee6fe8 Update to ToBitsBEGadget, update to snarkVM v0.2.1 2021-03-15 21:02:03 -07:00
damirka
a516f36e4f remove pub visibility in program_input 2021-03-16 00:50:04 +03:00
damirka
2508ec7ef1 array dimensions check added, const tuples added 2021-03-15 22:58:34 +03:00
gluax
7d2a71c668 Merge master 2021-03-15 13:52:51 -04:00
gluax
ac13542638 Proper Errors 2021-03-15 13:37:23 -04:00
damirka
258255102a expect fail in mismatch 2021-03-15 17:09:50 +03:00
damirka
229141a06e Merge branch 'master' into feature/const-inputs 2021-03-15 16:45:30 +03:00
damirka
b58db80005 updates after @collinc97 comments 2021-03-15 16:29:45 +03:00
Protryon
5f79a261e7 add cond_mut test 2021-03-13 07:02:18 -08:00
Protryon
ba9444ecc4 dead code elimination pass 2021-03-13 06:58:09 -08:00
Collin Chin
1c15fb5eff formatting 2 2021-03-12 21:13:17 -08:00
Collin Chin
45316e90d9 formatting 2021-03-12 21:02:38 -08:00
Collin Chin
712d2fbd02 add test for non-constant loop ranges 2021-03-12 20:39:58 -08:00
Collin Chin
6ce003fd6c fix program parsing formatted errors 2021-03-12 20:35:34 -08:00
collin
e369cb7049 remove leo-gadgets crate 2021-03-12 15:08:44 -08:00
collin
6962e1c2e1 refactor to use snarkvm int16 int32 int64 int128 gadgets 2021-03-12 15:03:22 -08:00
collin
bec4a15c12 refactor to use snarkvm int8 gadget 2021-03-12 14:23:41 -08:00
Collin Chin
1fbd337fec
Merge pull request #773 from AleoHQ/refactor/gadget-sign-extend 
Refactor sign extend gadget
 2021-03-12 11:48:02 -08:00
damirka
14d167a725 added tests for constants 2021-03-12 13:56:38 +03:00
damirka
15906bd4d2 updates following @collinc97 review 2021-03-12 12:35:17 +03:00
damirka
8542afe838 added const values processing for tuple and array 2021-03-12 10:21:03 +03:00
damirka
9808b2fa7f Merge branch 'master' into feature/const-inputs 2021-03-12 10:14:29 +03:00
collin
14063f723b refactor to use snarkvm evaluatelt and comparator gadgets 2021-03-11 16:44:46 -08:00
collin
522e3b6ea6 refactor to use snarkvm sub gadget 2021-03-11 16:27:06 -08:00
collin
b5ae6dee64 remove old pow gadget files 2021-03-11 16:19:20 -08:00
collin
faacfbc97e refactor to use snarkvm neg gadget 2021-03-11 16:12:33 -08:00
collin
d4b8bbbe50 refactor to use snarkvm mul gadget 2021-03-11 16:02:28 -08:00
collin
11ddb1f761 refactor to use snarkvm div gadget 2021-03-11 15:54:55 -08:00
Collin Chin
6d378c37e6
Merge pull request #760 from ljedrz/clippy_lints 
clippy: 1.50 lints
 2021-03-11 15:20:53 -08:00
collin
deb3847b8e remove add trait and uint impls 2021-03-11 14:47:34 -08:00
damirka
344d7886ea change grouping in imports 2021-03-11 23:10:05 +03: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
b28f8db4f5 flatten asg-passes 2021-03-10 09:57:27 -08:00
Protryon
0f977707a9 fmt 2021-03-10 09:35:11 -08:00
Protryon
9156068801 constant folding 2021-03-10 09:35:11 -08:00
Collin Chin
ace4147db7
Merge pull request #744 from AleoHQ/dependabot/cargo/indexmap-1.6.2 
Bump indexmap from 1.6.1 to 1.6.2
 2021-03-08 18:25:51 -08:00
Collin Chin
110fbdd6a6
Merge pull request #692 from AleoHQ/console-assert-error 
[CLI] Changes compiler error message for console.assert
 2021-03-08 17:50:53 -08:00
dependabot-preview[bot]
c764020b4e
Bump indexmap from 1.6.1 to 1.6.2 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.1 to 1.6.2.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.1...1.6.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-09 00:46:13 +00:00
Collin Chin
a18b757ff4
Merge branch 'master' into console-assert-error 2021-03-08 16:20:46 -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
f5187fc872 fix some failing tests 2021-03-07 06:27:42 -08:00
collin
10ecc6e6e2 merge master and fix build issues 2021-03-04 14:11:17 -08:00
howardwu
2e7b542b8b Format and clean up, enable default on snarkvm_algorithms 2021-03-04 11:09:24 -08:00
howardwu
1735038dee Update algorithms, curves, and gadget traits 2021-03-04 11:02:31 -08:00
howardwu
4650b5cd80 Update gadget traits 2021-03-04 11:01:00 -08:00
howardwu
3bdf598431 Update field and curves traits 2021-03-04 10:59:43 -08:00
howardwu
8690e35e95 Update field structs 2021-03-04 10:58:50 -08:00
howardwu
c03e1045f2 Update gadgets traits 2021-03-04 10:57:20 -08:00
howardwu
dadc57a148 Add r1cs dep 2021-03-04 10:55:22 -08:00
howardwu
e11ef69f74 Add fields dep 2021-03-04 10:54:37 -08:00
howardwu
b029469eca Remove objects dep 2021-03-04 10:54:21 -08:00
howardwu
4692a2b20e Update object errors 2021-03-04 10:53:48 -08:00
howardwu
1b0a6dbd69 Update fields traits 2021-03-04 10:52:54 -08:00
howardwu
7b7c1bbef4 Remove object dept 2021-03-04 10:51:59 -08:00
howardwu
4e9576e58d Fix object errors 2021-03-04 10:49:47 -08:00
howardwu
d8e9edc941 Update fields structs 2021-03-04 10:48:28 -08:00
howardwu
24f5b168aa Updates r1cs traits 2021-03-04 10:45:37 -08:00
howardwu
f3daba63df Update gadgets traits 2021-03-04 10:41:33 -08:00
howardwu
fc4bc537dd Update primefield traits 2021-03-04 10:39:56 -08:00
howardwu
b95495bab3 Update r1cs error 2021-03-04 10:39:22 -08:00
howardwu
3c4b8e9f68 Update gadgets traits 2021-03-04 10:38:28 -08:00
howardwu
400e3dd440 Update r1cs traits 2021-03-04 10:36:54 -08:00
howardwu
bfdf3c4dca Update field trait 2021-03-04 10:36:29 -08:00
howardwu
4f50b44a63 itemize imports 2021-03-04 10:33:51 -08:00
howardwu
c9f70800fd Update .tomls to 0.2.0 2021-03-04 10:33:21 -08:00
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
howardwu
2bfb64f83e Update synthesizer to support new terminology 2021-02-27 13:21:29 -08:00
howardwu
8a05594b42 Bump snarkvm to v0.0.6 2021-02-27 13:10:39 -08: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
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
collin
356b7ba062 merge master 2021-02-25 09:51:12 -08:00
damirka
efd193f187 Merge branch 'master' into console-assert-error 2021-02-25 20:24:43 +03:00
howardwu
be398437c6 Updates snarkVM to 0.0.5, updates rand usage 2021-02-25 08:56:20 -08: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
e970194ed3 tuple const fixes, compiler tests 2021-02-24 11:48:00 -05:00
damirka
6448dac047 Fixes #580 
- changes error message for console.assert inside main()
- small rewrite of setup command
- adds some autoformatting
 2021-02-24 19:17:44 +03:00
dependabot-preview[bot]
f38cce71b3
Bump bincode from 1.3.1 to 1.3.2 
Bumps [bincode](https://github.com/servo/bincode) from 1.3.1 to 1.3.2.
- [Release notes](https://github.com/servo/bincode/releases)
- [Commits](https://github.com/servo/bincode/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-02-24 10:47:15 +00: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
bors[bot]
211fcb0195
Merge #678 
678: Bug 662 Fix r=collinc97 a=gluax

Allows -field values in input values, resolves #662. Also add tests for that and group - input values. Cleans up the re-written code used in a few places by adding a pub crate function. Depends on #626.

Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
Co-authored-by: gluax <16431709+gluax@users.noreply.github.com>
 2021-02-19 22:10:36 +00:00
gluax
c5641a5507
Update compiler/src/value/field/input.rs 
Co-authored-by: Collin Chin <collin.chin@berkeley.edu>
 2021-02-19 13:25:11 -05:00
gluax
ad6f3fcf84 allow -field values in input values, clean up repeated code 2021-02-18 14:36:38 -05:00
bors[bot]
c62af038c5
Merge #672 #673 
672: Feature/515 eliminate const vars r=collinc97 a=gluax

Resolves #515. Removes const keyword from statements. Also resolves #514. Still allows const y in function declaration of args.

673: feature/671-primefield-refactor r=collinc97 a=gluax

Resolves #671. Refactor "Field + PrimeField" -> "PrimeField" and all tests still pass.

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
Co-authored-by: Collin Chin <collin.chin@berkeley.edu>
 2021-02-18 18:46:46 +00:00
gluax
a7b28fbf0a resolve all the merge conflicts 2021-02-18 11:39:35 -05:00
Collin Chin
9baa9388a0
Merge branch 'master' into feature/515-eliminate-const-vars 2021-02-17 22:06:12 -08:00
bors[bot]
6715f91690
Merge #670 
670: feature_626/negative-group-contstraints r=collinc97 a=gluax

Resolves #626. Allows a negative group outside of a pair as well as negative numbers inside a pair group. Waiting to see if the later was necessary in the feature discussion, but I assume it would be.

Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
 2021-02-17 20:50:30 +00:00
bors[bot]
54a9691b73
Merge #652 #663 
652: ASG refactor r=collinc97 a=Protryon

## Motivation

This PR makes the ASG more user friendly by using arenas instead of RefCell/Arc:
1. Impossible to leak the ASG by creating a circular strong reference chain
2. We don't need RefCell's everywhere to implement passes

663: Bug 625/fix negative fields not allowed r=collinc97 a=gluax

Resolves #625. Logic used to do so is in check if first character of string to convert is a negative sign. If so remove first character convert from string to field, and then negate it on the leo side. If first character wasn't a negative sign, do the same as before.

Co-authored-by: Protryon <max.bruce12@gmail.com>
Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
Co-authored-by: gluax <16431709+gluax@users.noreply.github.com>
 2021-02-17 20:10:30 +00:00
Protryon
29711ff041 clippy 2021-02-16 13:33:22 -08:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
gluax
7e7db4d93b
remove comment 
Co-authored-by: Collin Chin <collin.chin@berkeley.edu>
 2021-02-16 15:12:20 -05:00
gluax
6cdefa7128
remove comment 
Co-authored-by: Collin Chin <collin.chin@berkeley.edu>
 2021-02-16 15:12:07 -05:00
gluax
ba3ca6069a refactor Field + PrimeField -> PrimeField, all tests still pass 2021-02-16 14:41:59 -05:00
gluax
d549fda7b5 rebase and replace const keyword in tests 2021-02-16 14:19:20 -05:00
gluax
8150869c6c negative groups, and negative group coords allowed 2021-02-16 12:00:08 -05:00
gluax
5bbaf9d999 add non negated field to test, merge master 2021-02-16 09:22:10 -05:00
bors[bot]
a7c9caf4b3
Merge #653 
653: Fix return type error for input-dependent branches r=collinc97 a=Protryon

This PR fixes failure to handle input-dependent branches. No tests added here since base case is covered, and this only occurs with production constraints. Should fix #535.

There is an additional issue not solved by this PR on branching on booleans from input.

Co-authored-by: Protryon <max.bruce12@gmail.com>
 2021-02-12 23:36:59 +00:00
gluax
eda78dd968 clippy fix 2021-02-12 15:22:59 -05:00
gluax
500a3e76d2 fix negative fields, add test for them 2021-02-12 15:20:58 -05:00
Collin Chin
6ac356819c
Merge pull request #656 from AleoHQ/dependency/snarkvm-0.0.4 
[Dependencies] bump snarkvm module versions to 0.0.4
 2021-02-11 19:50:48 -08:00
collin
537ea39513 bump snarkvm module versions to 0.0.4 2021-02-11 17:33:53 -08:00
bors[bot]
fa53e75f51
Merge #641 
641: Bug/564 input array len not enforced r=collinc97 a=gluax

Resolves #564, depends on #563. The changes for this branch have pulled from PR #638, which is the PR that fixes #563.

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 21:41:53 +00:00
bors[bot]
d418b5330c
Merge #638 
638: bug/563-array-input-wrong-dimensions r=collinc97 a=gluax

Closes #563. Fixes the array dimension builder when coming from the input file. Adds a test for it as well.

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 21:22:50 +00:00
Protryon
0bd324bcb4 fix return type error for input-dependent branches 2021-02-11 08:52:22 -08:00
gluaxspeed
9a015e1e5f console assert tests 2021-02-11 10:46:54 -05:00
gluaxspeed
cedcc6e1d1 console assert tests 2021-02-11 10:46:20 -05: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]
a3f0f9d587
Merge #633 #634 
633: duplicate name context test r=collinc97 a=gluax

Adding a test for duplicate name context that was resolved in #546.

634: fn call array params r=collinc97 a=gluax

Adding a test for bug #522, which was resolved by the asg.

Closes #522 

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 07:53:26 +00: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
9812c76e1f fix test needed to expect it to fail 2021-02-10 12:49:18 -05:00
gluaxspeed
42fb5ea635 merge from pr 638 2021-02-10 11:59:42 -05:00
gluaxspeed
202f056531 fix pushed but depends on pr #638 2021-02-10 11:57:10 -05:00
gluaxspeed
e48b971789 reverse iter for building array, add test case for it 2021-02-09 10:26:16 -05:00
gluaxspeed
2f6cc6c995 add test for the fixed bug 2021-02-08 15:42:37 -05:00
gluaxspeed
9651af3089 add test for the fixed bug 2021-02-08 13:44:30 -05:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
gluaxspeed
f7add0fc98 re-ignore import test-many in compiler, it breaks pipeline 2021-02-05 15:33:48 -05:00
gluaxspeed
26f9973e14 resolve merge conflict, asg + grammar tests 2021-02-05 14:20:48 -05:00
gluaxspeed
59acb1a022 unignore test and add test case to thoroughly test 2021-02-05 11:36:21 -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
2bb10c2e8b
Merge pull request #621 from AleoHQ/dependency/snarkvm-0.0.3 
[Dependencies] Bump snarkvm module versions
 2021-02-04 22:57:36 -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
2a4052975f Fix clippy 2021-02-04 20:34:24 -08:00
howardwu
749e70b5b0 Fix clippy 2021-02-04 20:32:59 -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
howardwu
fb7a9f4a18 Simplify compiler calls 2021-02-04 17:26:29 -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
collin
f5be2e037f add inline circuit integration tests 2021-02-04 13:18:28 -08:00
collin
c706ef65b8 bump snarkvm module versions 2021-02-04 13:00:30 -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
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
59aa8ac21c
Merge pull request #603 from AleoHQ/asg-return-check 
Remove compiler return check
 2021-02-03 11:28:35 -08: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
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
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
gluaxspeed
2bda443d9c added more tests 2021-01-27 12:10:34 -05:00
collin
d7cced6e53 rustup update && cargo clippy 2021-01-26 14:55:15 -05:00
gluaxspeed
29ff3c90b6 error and error message for deprecated test syntax, fmt, clean up 2021-01-25 15:12:10 -05:00
collin
fe78b2ec11 deprecate old test function syntax 2021-01-21 16:50:15 -05:00
Protryon
3c063d725f rename conditional expr to ternary 2021-01-14 05:27:31 -08:00
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
Howard Wu
d3fcd19506
Merge pull request #536 from AleoHQ/fix/return-type-check 
Fix/return type check
 2021-01-12 16:42:13 -04:00
collin
f3452b9706 test program output array registers 2021-01-11 21:48:57 -05:00
collin
9215d911e6 use eq_flat type comparison method 2021-01-11 21:40:02 -05:00
Collin Chin
5f80cc4642
Merge pull request #532 from huitseeker/no-panic 
Removes a panic
 2021-01-11 20:52:59 -05:00
collin
758cf88de7 fix warnings 2021-01-08 20:08:14 -05:00
collin
c48c39caaf check output register type == return value type + tests 2021-01-08 20:06:23 -05:00
François Garillot
d41c1b7138
Removes a panic 
One panic can be folded in the error case of its enclosing `Result`, an `unwrap` call can be elided through pattern-matching reformulation.
 2021-01-08 07:12:23 -08:00
Howard Wu
2cde6d0659
Merge pull request #520 from AleoHQ/fix/conditional-logging 
fix conditional logging bug #407
 2021-01-07 20:30:48 -04:00
collin
fea8bb6d1e Merge branch 'master' of github.com:AleoHQ/leo into ast-cleanup 2021-01-05 13:09:41 -05:00
collin
d28e161706 fix conditional logging bug #407 2021-01-04 11:34:38 -05:00
howardwu
87ccc0fe3d Update snarkVM deps to crates 2021-01-03 22:37:06 -04:00
howardwu
d5cb59c206 Update ci.yml 2021-01-02 19:18:38 -04:00
howardwu
c20822e828 Update revision 2021-01-02 18:17:26 -04:00
howardwu
11fc60c9e0 Update revision 2020-12-30 18:07:20 -04:00
howardwu
f4ad1ffff4 Add revision for snarkvm 2020-12-30 12:54:48 -04:00
howardwu
2d64515763 Migrate to snarkVM 2020-12-30 12:40:45 -04:00
howardwu
141ee7eb0f Resolve merge conflicts 2020-12-30 11:37:51 -04:00
howardwu
1d9215a1ac Migrates to hot 1.1.4 and adds memory usage improvements for programs 2020-12-30 11:32:10 -04:00
Protryon
91cac5f9d0 remove custom eq/hash implementations, add node implementations, remove range_or_expression 2020-12-21 05:58:10 -08:00
howardwu
1e79277728 Remove tracing-subscriber dep from compiler 2020-12-20 10:20:13 -04:00
Protryon
833eeb7fc5 fix mutable match error 2020-12-16 15:01:15 -08:00
Protryon
6bb3437280 remove unused assign code 2020-12-16 15:01:14 -08:00
Protryon
d1276bd95d statement breakout 2020-12-16 15:00:45 -08:00
collin
6e2dcdd1b0 fix serialization 2020-12-16 14:21:57 -05:00
collin
1dbd72c453 Merge branch 'master' of github.com:AleoHQ/leo into expression-breakout 2020-12-16 13:46:43 -05:00
dependabot-preview[bot]
8894f10de7
Bump indexmap from 1.6.0 to 1.6.1 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:44:12 +00:00
howardwu
9038c5a17a chore(leo): bump version for new release 2020-12-14 13:57:01 -04:00
howardwu
babb8ec175 Hotfix cargo fmt 2020-12-14 13:54:46 -04:00
Howard Wu
235f85e039
Merge pull request #494 from AleoHQ/refactor/parse-program-from-string 
Undeprecate parse_program_from_string
 2020-12-11 17:35:10 -04:00
Howard Wu
878f0a8461
Merge pull request #493 from AleoHQ/fix/self-access-scope 
fix accessing self variable inside nested scope bug
 2020-12-11 17:33:32 -04:00
Howard Wu
32dad40521
Merge pull request #492 from AleoHQ/fix/array-spread-type 
Fix array spread type bug
 2020-12-11 17:32:44 -04:00
collin
ca36d06022 undeprecate parse_program_from_string and add test 2020-12-11 13:31:13 -05:00
collin
8ace306e2c fix cargo lock 2020-12-11 12:22:07 -05:00
collin
161fe2608c fix accessing self variable inside nested scope bug 2020-12-10 18:02:25 -05:00
collin
08e90f5c59 fix array spread type bug 2020-12-10 17:54:19 -05:00
collin
e2406bec86 fix lower array slice bug 2020-12-09 17:42:15 -05:00
collin
40c816f921 update swap test 2020-12-09 17:08:22 -05:00
collin
6e67ea485a Merge branch 'master' of github.com:AleoHQ/leo into fix/nested-mut-assignee 2020-12-09 17:06:49 -05:00
collin
00dac3709a Merge branch 'master' of github.com:AleoHQ/leo into fix/prefer-index-map 2020-12-08 16:07:49 -05:00
collin
8a44eff4a5 fix nested mutable assignee bug, add swap test 2020-12-08 16:00:12 -05:00
Collin Chin
8541eb3fb8
Update mod.rs 2020-12-08 12:21:18 -05:00
Collin Chin
ac68e8e6a4
Merge branch 'master' into fix/prefer-include-str 2020-12-08 11:37:30 -05:00
collin
b7e5cd13df fix failing test 2020-12-08 10:47:07 -05:00
Protryon
5c1a522f89 remove debug prints 2020-12-07 17:05:45 -08:00
Protryon
f9dc75f70c expression breakout 2020-12-07 17:05:44 -08:00
collin
c351c300a2 merge master 2020-12-07 20:05:15 -05:00
collin
e93100eb6a merge master 2020-12-07 19:55:03 -05:00
Howard Wu
f841f2e348
Merge pull request #466 from AleoHQ/fix/nested-mut-value 
Fixes assignment of mutable variable to mutable variable
 2020-12-07 20:41:58 -04:00
collin
4cac0aeb41 merge master, update serialization test 2020-12-07 16:40:34 -05:00
Protryon
b9fb1123de block ast node 2020-12-07 13:28:03 -08:00
collin
1dbdf23d5a use index map in compiler module 2020-12-07 12:18:20 -05:00
collin
3b23eb595a return iterator instead of vector 2020-12-07 11:22:45 -05:00
collin
7745710dc4 cargo +nightly clippy 2020-12-04 19:06:29 -05:00
collin
cd53cba77a fix circuit selftype error bug 2020-12-04 17:56:59 -05:00
collin
0f91630a9f merge function input self changes 2020-12-04 16:52:19 -05:00
collin
f1bd5399a1 cargo clippy 2020-12-04 16:47:03 -05:00
collin
0698f5df59 Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-self-input 2020-12-04 16:41:31 -05:00
collin
2352ebaf2c rename all bytes variables to string 2020-12-04 15:48:43 -05:00
collin
674caf5902 use include_str in all program tests 2020-12-04 15:34:51 -05:00
collin
7976c739e9 use include_str in program input + state tests 2020-12-04 15:20:59 -05:00
collin
675937ba13 use include_str in program input tests 2020-12-04 12:57:08 -05:00
collin
b2246f1151 use include_str in program state tests 2020-12-04 12:51:39 -05:00
howardwu
dbae691e49 chore(leo): bump version for new release 2020-12-03 16:16:42 -04:00
collin
87c0dd738a add test for bug #427 incomplete conditional 2020-12-03 13:44:47 -05:00
collin
dfcc77a860 add test for bug #430 early returns 2020-12-03 13:38:05 -05:00
collin
b94c70588e refactor execution of branch indicators and function returns 2020-12-03 13:24:23 -05:00
collin
4cb07d5cd3 add test for nested mutable value 2020-12-02 12:31:51 -05:00
collin
1217e9860e fix nested mutable value bug 2020-12-02 12:29:32 -05:00
howardwu
74f7f24b19 chore(leo): bump version for new release 2020-12-01 22:57:11 -04:00
collin
7ce927ff78 remove unused branch 2020-12-01 15:43:35 -05:00
collin
d8c08fedd7 fix tests 2020-12-01 15:37:44 -05:00
collin
8457b05354 remove mut circuit variable definition 2020-12-01 11:54:51 -05:00
collin
7977b20ad2 remove mut variable keyword 2020-12-01 10:19:02 -05:00
collin
82e13edbbe pass mutable reference to circuit variable when 'mut self' keyword is present 2020-12-01 10:12:50 -05:00
collin
74f7749462 pass circuit members into function by value when self keyword is present 2020-11-30 17:54:41 -05:00
collin
04081beb4b move function input length check to type checking phase 2020-11-30 13:34:21 -05:00
collin
d4d5f336c4 refactor compiler to use new ast 2020-11-30 13:06:11 -05:00
collin
1213209b78 cargo fmt check 2020-11-23 17:01:01 -05:00
Collin Chin
26151f33ec
Merge branch 'master' into fix/tuple-cond-select 2020-11-23 16:57:22 -05:00
Howard Wu
1d1e86c8de
Merge pull request #447 from AleoHQ/fix/not-expression 
fix error using not operator on mutable boolean
 2020-11-23 13:49:35 -08:00
Howard Wu
25c9ac6ea2
Merge pull request #446 from AleoHQ/fix/input-tuple 
fix input tuple grammar rule
 2020-11-23 13:46:01 -08:00
collin
efe734afaf add input, self, mut self keyword functionality to ast module 2020-11-23 14:49:20 -05:00
collin
093bab6b02 add test for returning a tuple in a conditional statement 2020-11-18 18:28:41 -08:00
collin
5db2b07cb2 add test for using not operator on mutable variable 2020-11-18 18:23:11 -08:00
collin
789a744deb add test for returning tuples from function 2020-11-18 18:13:49 -08:00
collin
db056b9383 Merge branch 'master' of github.com:AleoHQ/leo into feature/type-inference 2020-11-16 18:08:14 -08:00
collin
c27a166dfb fix error when selecting return between two tuples 2020-11-16 16:06:28 -08:00
collin
2ed5e02de3 fix error using not operator on mutable boolean 2020-11-16 15:50:10 -08:00
Collin Chin
a570a2a13e
Merge pull request #432 from AleoHQ/fix/leo-ast-naming 
Rename leo ast -> ast
 2020-11-13 11:44:46 -08:00
collin
d3ab32822e remove unnecessary program clone 2020-11-12 15:43:37 -08:00
collin
8c2823410a rename leo ast -> ast 2020-11-12 12:00:27 -08:00
collin
69a8b61efe add type-inference module 2020-11-12 10:28:24 -08:00
collin
667392237f add symbol-table module 2020-11-11 14:57:39 -08:00
collin
d4b6a6d1f8 separate symbol-table module 2020-11-11 14:42:57 -08:00
collin
eb301d310b separate type-inference module 2020-11-11 14:32:46 -08:00
collin
05a83950e5 bump versions fix conflicts 2020-11-11 12:04:48 -08:00
collin
f28eb8c20a clippy lints 2 2020-11-10 16:34:44 -08:00
collin
33fae17b35 clippy lints 1 2020-11-10 16:23:55 -08:00
collin
04f4e685ed array type refactor finished. all tests pass 2020-11-10 13:22:18 -08:00
collin
d6686005a3 fix refactored array initializer tests wip 3 2020-11-09 19:26:34 -08:00
collin
34b425ffe5 fix refactored array initializer tests wip 2 2020-11-09 15:03:12 -08:00
collin
aa17355a72 fix refactored array initializer tests wip 1 2020-11-09 14:27:59 -08:00
howardwu
0d966d1d5c chore(leo): bump version for new release 2020-11-06 19:56:12 -08:00
collin
1ae66d9908 add support for refactored array initializer in compiler 2020-11-06 19:42:07 -08:00
collin
d7ff808660 add support for refactored array type in compiler 2020-11-06 16:24:38 -08:00
collin
6f3a235c76 Refactor symbol table array type comparison 2020-11-02 13:28:56 -08:00
collin
2fdcb043fc Improve doc comments for compiler phases 2020-11-02 09:19:11 -08:00
collin
4da923eec4 rename core-packages -> core 2020-10-30 17:36:48 -07:00
collin
a8c5885836 rename core-ast -> ast 2020-10-30 17:31:09 -07:00
collin
ffcd93f781 rename ast -> grammar 1 2020-10-30 17:17:17 -07:00
collin
61f4189483 Add documentation for renamed modules 2020-10-30 16:23:18 -07:00
collin
5a46cb5bb0 rename leo-core -> leo-core-packages 2020-10-30 13:02:44 -07:00
collin
7589fa65c5 rename dynamic-check -> type-inference 2 2020-10-30 12:49:01 -07:00
collin
f1e393a9ab rename dynamic-check -> type-inference 1 2020-10-30 12:39:02 -07:00
collin
7e7d1e58a0 rename typed -> core-ast 2 2020-10-30 11:48:40 -07:00
collin
be2a805d49 rename typed -> core-ast 1 2020-10-30 11:30:52 -07:00
collin
7cf41558bc rename static-check -> symbol-table 3 2020-10-30 10:51:45 -07:00
collin
b5a05be09d rename static-check -> symbol-table 2 2020-10-30 10:44:44 -07:00
collin
20ac83265d rename static-check -> symbol-table 1 2020-10-30 10:25:44 -07:00
Collin Chin
1a39ae93ca
Use matches macro 2020-10-27 10:06:50 -07:00
collin
46f585e2ff refactor compiler methods 2020-10-27 00:31:36 -07:00
collin
52810588ff refactor modules and make function names more clear 2020-10-26 23:42:01 -07:00
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07:00
collin
d3125a0f9f add new dynamic check errors and tests for variables 2020-10-26 18:41:51 -07:00
collin
9024fb0968 remove unused code 2020-10-26 17:52:32 -07:00
collin
020773fb2a impl dynamic checks for imports. all tests pass 2020-10-26 16:05:02 -07:00
collin
09d86576ea add import parsing to first pass of static check 2020-10-26 15:51:46 -07:00
collin
b3c140d5bb fix array function input bug 2020-10-26 13:14:36 -07:00
collin
9bae1037f7 fix core package tests 2020-10-26 12:55:00 -07:00
collin
9933b8e336 impl dynamic checks for core packages 2020-10-26 12:24:24 -07:00
collin
54bf6ca42d load program input type into symbol table 2020-10-24 23:57:38 -07:00
collin
17a65fe54a add dynamic check errors for circuits 3 2020-10-24 19:27:30 -07:00
collin
6e124e52ff add dynamic check errors for statements 2020-10-24 17:01:40 -07:00
collin
22d6c98c77 add dynamic check errors for functions 2020-10-24 16:50:07 -07:00
collin
e19616b4e5 add dynamic check errors for circuits 2 2020-10-24 13:07:27 -07:00
collin
973e2a6afc add dynamic check errors for circuits 1 2020-10-24 02:53:09 -07:00
collin
8e75e36532 manually impl PartialEq for array types 2020-10-23 21:54:19 -07:00
collin
f2a808cbe7 impl membership type assertion error handling 2020-10-23 17:31:41 -07:00
collin
dbade1f4fe fix mismatched types test 2020-10-23 17:00:11 -07:00
collin
4aab804148 add type variable for implicit addresses 2020-10-23 15:52:43 -07:00
collin
f1490a994b impl dynamic check errors 2020-10-23 15:23:48 -07:00
ljedrz
4ccc9c31db perf: reduce format!-related allocations and move them to closures where possible 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
e5f47b8254 perf: make Address is_constant method faster 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
7443bffc00 clippy: unbox some arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-21 11:16:24 +02:00
ljedrz
5e4f799685 clippy: remove a few redundant clones 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-21 11:14:27 +02:00
Collin Chin
61556cca29
Merge pull request #399 from ljedrz/boxing_improvements 
Boxing improvements
 2020-10-21 02:10:18 -07:00
collin
3870cf785d fix box accesses 2020-10-21 01:32:09 -07:00
collin
8ea2735caa fix string references 2020-10-21 01:15:12 -07:00
collin
c9e044d3c3 cargo fmt 2020-10-21 01:05:56 -07:00
Collin Chin
33d4da7ad5
Merge branch 'master' into alloc_hunting 2020-10-21 01:05:24 -07:00
Collin Chin
bf77207918
Merge branch 'master' into boxing_improvements 2020-10-21 01:03:38 -07:00
Collin Chin
3c0409da16
Merge branch 'master' into boxing_improvements 2020-10-21 00:51:49 -07:00
Collin Chin
e06e9b9ce6
Merge branch 'master' into alloc_hunting 2020-10-21 00:51:22 -07:00
collin
7c9a5ad8aa fix reference error 2020-10-21 00:19:30 -07:00
Collin Chin
d2dcf65b68
Merge branch 'master' into type_tweaks 2020-10-20 22:29:23 -07:00
collin
f30f615655 impl dynamic checker definition statements 2020-10-20 13:14:16 -07:00
ljedrz
49e9a48d90 perf: reduce boxing in typed objects 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-20 11:49:28 +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
4591a0eb04 refactor: use &Path instead of (&)PathBuf in tests 2020-10-16 17:23:22 +02:00
ljedrz
64774cdab6 refactor: accept &Path instead of PathBuf where sufficient 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 17:09:44 +02:00
ljedrz
d662b9a236 perf: use Cow to avoid some PathBuf allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:51:58 +02:00
ljedrz
f59416be1b refactor: pass &Path instead of &PathBuf as arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:18:46 +02:00
ljedrz
790f1c472a perf: don't allocate PathBufs for the purposes of PathBuf::push 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
ljedrz
69d35063f2 perf: use .to_string() instead of single-param format! 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
ljedrz
529d87bc88 perf: remove some generic unnecessary allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
collin
323992696c use typed assignee access 2020-10-15 18:11:39 -07:00
ljedrz
970f808290 perf: refactor a lot of the compiler so that Spans and Strings are rarely cloned 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-15 18:19:34 +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
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07: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
c09b7eb3b1 clippy: fix if_same_then_else 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fe016dc168 clippy: fix needless_range_loop 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
08afb0e604 clippy: fix redundant_pattern_matching 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
4d8a91418f clippy: fix unnecessary_unwrap 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fc4e2ee4ab clippy: fix type_complexity 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
8c099ab8c8 clippy: fix into_iter_on_ref 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
1a3d1fb2b8 clippy: fix collapsible_if 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
b4bb39872b clippy: fix unused_unit 
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
e9b9c1f72f fix: allow a piece of own deprecated code 
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
c4cdaed923 clippy: allow too_many_arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
1fc9b902dd clippy: fix redundant_clone & clone_on_copy 
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
98990721cf clippy: fix redundant_static_lifetimes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
a872db5ca6 clippy: fix useless_conversion 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
a4891c6f00 clippy: fix len_zero 
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
80bb3033fd clippy: fix single_char_pattern 
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
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
d5a9cefe7c impl symbol table for pass 1 + pass 2 type resolution 2020-10-01 20:17:47 -07:00
collin
9ee5b58cff Merge branch 'fix/blake2s-test-output-formatting' of github.com:AleoHQ/leo into feature/import-parser 2020-09-18 13:04:10 -07:00
collin
a76f4f6767 fix test 2020-09-18 12:57:44 -07: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
249242266c
Merge pull request #365 from AleoHQ/feature/blake2s 
Implement core module with native blake2s circuit
 2020-09-18 12:46:31 -07:00
collin
3164f6ce33 fix import tests 2020-09-18 12:41:38 -07:00
collin
557fccd9da remove old import parser code from compiler 2020-09-18 12:35:27 -07:00
collin
d54749145b use import parser errors in compiler 2020-09-18 12:26:51 -07:00
collin
22422c1b55 create separate module for imports 2020-09-18 12:04:10 -07:00
Collin Chin
7dfbff7795
Merge pull request #351 from AleoHQ/feature/log-numbers 
remove types from console.log and formatted strings
 2020-09-18 11:30:12 -07:00
collin
6250e95277 impl compare nested array types method for function return type 2020-09-17 12:46:55 -07:00
collin
733561cc93 remove unused test dependencies 2020-09-16 13:45:53 -07:00
collin
38d7397c2c add unit and integration tests for core unstable blake2s circuit 2020-09-16 13:41:50 -07:00
collin
facafe6041 add core package parsing errors 2020-09-16 00:05:58 -07:00
collin
2a9d69f07f add core circuit errors 2020-09-15 23:35:30 -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
b071b85b8c remove print statements 2020-09-15 14:19:15 -07:00
collin
23bdecf6c4 fix nested return type mismatch error 2020-09-15 13:01:10 -07:00
collin
5341c28805 naive call to blake2s function working 2020-09-15 12:33:28 -07:00
collin
32cf945c61 core package imports wip 2020-09-12 23:10:01 -07:00
collin
9ed64a6627 fix conflicts 2020-09-10 16:44:25 -07:00
collin
d2810f2789 fix tests 2020-09-10 11:18:49 -07:00
collin
8a3f59e9c0 remove types from console.log and formatted strings 2020-09-07 23:40:15 -07:00
collin
5db13fa904 test Self keyword fails in main function 2020-09-07 22:07:26 -07:00
collin
e916a53ed9 add error and clean up 2020-09-07 22:04:23 -07:00
collin
5e4877e778 fix static call nested and test 2020-09-07 21:56:39 -07:00
collin
a83795eda3 fix define circuit inside circuit function bug 2020-09-07 21:15:30 -07:00
collin
09e209f5eb fix storing self circuit variables inside circuit function bug 2020-09-07 15:06:52 -07:00
collin
17784ffb23 add tests for mutable circuit variables using self keyword 2020-09-07 13:47:50 -07:00
collin
a04160a09e impl mutating a circuit using the self keyword inside a circuit function 2020-09-07 13:27:49 -07:00
collin
59570002f2 mutable self wip 2020-09-05 22:03:02 -07:00