ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-26 15:13:13 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,232 Commits 47 Branches 43 Tags 373 MiB
8733887d55
Commit Graph

619 Commits

Author SHA1 Message Date
Collin Chin
4d18031228
Merge pull request #2014 from AleoHQ/fix/error-on-unrecognized-type 
Check for Unrecognized Type
 2022-08-15 15:16:23 -07:00
collin
99c4676593 update rev and update tests 2022-08-15 12:05:52 -07:00
collin
a5b6557460 add ped64 ped128 tests 2022-08-15 11:56:17 -07:00
Pranav Gaddamadugu
64cecda841 Add more test cases checking for member records 2022-08-11 08:55:07 -07:00
Pranav Gaddamadugu
67f9890653 Address feedback 2022-08-11 07:50:10 -07:00
Pranav Gaddamadugu
da7ff48b11 Add check for nested records; fix codegen for circuit nested in record 2022-08-11 00:53:01 -07:00
Pranav Gaddamadugu
a69954b64a Add tests for undefined types 2022-08-11 00:36:22 -07:00
Pranav Gaddamadugu
566d239153 Fix some tests 2022-08-10 11:40:24 -07:00
Pranav Gaddamadugu
2a34d31d33 Regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7ff7170c45 Fix unary negation parser; add test 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
8f5d5badb7 Fix and regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
2740099e77 Regenerate test expectations 2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu
ba0d7b8d0d Add test cases demonstrating failing typechecking 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
a47eb32eaf Cleanup; add test 2022-08-05 14:58:29 -07:00
collin
d397c750d2 merge testnet3 2022-08-05 13:59:08 -07:00
Collin Chin
46f21c68a2
Merge pull request #1994 from AleoHQ/remove-unsafe 
Remove all uses of unsafe
 2022-08-05 13:50:53 -07:00
Pranav Gaddamadugu
08b9aa0170 Regen test expectations 2022-08-05 08:43:01 -07:00
Pranav Gaddamadugu
1e4f2b1cca Add compiler test for function calls; fix bugs; regen test expectations 2022-08-04 21:21:56 -07:00
Pranav Gaddamadugu
34be1fc39d Codegen for function call; emits closures before functions 2022-08-04 21:03:42 -07:00
Pranav Gaddamadugu
dfea5bbf15 Add @program modifier to tests; regen expectations 2022-08-04 20:00:40 -07:00
Pranav Gaddamadugu
efafb7748e Regen test expectations due to AST refactors 2022-08-04 18:00:00 -07:00
Pranav Gaddamadugu
a73ddfb815 Add parser tests for annotations 2022-08-04 17:55:26 -07:00
Mazdak Farrokhzad
a77d3b4092 forbid unsafe_code in all crates 2022-08-05 00:36:41 +02:00
collin
13350da303 merge testnet3 2022-08-03 17:20:40 -07:00
collin
0138b270a8 regen tests 2022-08-03 16:26:16 -07:00
collin
3a32e51753 fix conflicts 2022-08-03 16:18:34 -07:00
collin
2331debcf5 update test infra 2022-08-03 16:17:40 -07:00
Pranav Gaddamadugu
338515fd66 Regen test expectations 2022-08-03 16:07:18 -07:00
Pranav Gaddamadugu
58fccb7bb5 Added compiler tests for rem and mod 2022-08-03 14:40:12 -07:00
collin
7f636ca06d regen tests 2022-08-03 13:47:17 -07:00
collin
e5da76abaf impl nonce 2022-08-03 13:35:58 -07:00
Pranav Gaddamadugu
6f3c635f75 Add test case for this bug 2022-08-02 23:57:28 -07:00
Pranav Gaddamadugu
915b77bba4 SSA replaces ReturnStatement with empty BlockStatement; regen test expectations 2022-08-02 23:56:57 -07:00
collin
5777c76d04 refactor more iteration tests 2022-08-01 17:01:58 -07:00
collin
1d734ffa3f group tests passing 2022-08-01 15:33:26 -07:00
collin
2cb40cebf0 patch group coordinate codegen 2022-08-01 14:30:05 -07:00
collin
1a7a67e4c3 commit rest of tests 2022-08-01 14:17:55 -07:00
collin
3826293f31 fix op assign bugs 2022-08-01 14:14:39 -07:00
collin
60e4279934 merge testnet3 2022-07-29 14:16:34 -07:00
collin
4dda9ab0fd regen tests 2022-07-29 14:09:09 -07:00
Pranav Gaddamadugu
bf1421280e Fix bug in SSA; regen test expectations 2022-07-29 12:52:18 -07:00
collin
dd8e1c1a4e impl and, or, bitand, bitor, bitxor, shl, shr assign parsing 2022-07-29 12:47:23 -07:00
collin
c73671bb7b impl sub, mul, div, pow assign parsing 2022-07-29 11:57:34 -07:00
collin
d71788e8a4 impl add assign operator 2022-07-28 18:00:46 -07:00
collin
a2862f8894 stabilize all tests working with snarkVM package build 2022-07-28 17:07:51 -07:00
collin
166c159867 stabilize tuple tests 2022-07-28 16:50:18 -07:00
collin
0a34115ef7 stabilize scalar tests 2022-07-28 16:46:30 -07:00
collin
86219c0044 stabilize record tests 2022-07-28 16:40:48 -07:00
collin
5a26eed8ca integer min tests fixed 2022-07-28 16:23:16 -07:00
collin
eaa04a5f7e core algorithm tests working 2022-07-28 15:27:43 -07:00
collin
66c5deb7e3 merge testnet3 do not regen tests 2022-07-28 14:23:47 -07:00
collin
8a0e9bc5cc merge testnet3 regen tests 2022-07-28 14:19:57 -07:00
collin
10c9bb1c28 fix directory bug for test expectations 2022-07-28 14:14:25 -07:00
collin
fa0fd5b8c0 integer tests passing. strings wip 2022-07-28 13:34:44 -07:00
Pranav Gaddamadugu
4d978dc41c Regenerate test expectations after AST changes 2022-07-28 09:25:26 -07:00
Pranav Gaddamadugu
d11ed35c77 Addressing feedback 2022-07-28 09:24:33 -07:00
collin
184af219ee build and check aleo files during cargo test 2022-07-27 15:49:49 -07:00
Mazdak Farrokhzad
86ae9e1727 refactor benchmarks code 2022-07-27 19:40:19 +02:00
collin
77a16585fe remove unused tests 2022-07-25 18:48:16 -07:00
Pranav Gaddamadugu
9dd45c3620 Type checking errors on multiple returns 2022-07-24 21:32:36 -07:00
Pranav Gaddamadugu
0194e09b41 Regen test expectations 2022-07-23 10:33:57 -07:00
Pranav Gaddamadugu
1a62a2ba8c SSA shouldn't reconstruct function ids 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
12e356c030 Integrate SSA pass with compiler 2022-07-23 10:29:13 -07:00
Mazdak Farrokhzad
db42194d49 remove unused errors 2022-07-20 20:19:00 +02:00
collin
66b0fcc885 merge testnet3 regen tests 2022-07-18 15:33:40 -07:00
collin
4dc0df0084 merge testnet3 2022-07-18 14:13:31 -07:00
collin
5316d900f4 merge testnet3, regen tests 2022-07-18 12:32:15 -07:00
Pranav Gaddamadugu
1b872576b2 Merge branch 'testnet3' into feat/loop-unrolling 2022-07-18 07:54:48 -07:00
collin
776ad7c88e regen tests 2022-07-15 21:01:02 -07:00
Pranav Gaddamadugu
a49d23681e Regenerate test expectations 2022-07-15 01:51:22 -07:00
Pranav Gaddamadugu
110c3eb35c Address more feedback 2022-07-15 01:50:14 -07:00
Pranav Gaddamadugu
86b5c9faa1 Fix errors from merge 2022-07-14 17:52:36 -07:00
Pranav Gaddamadugu
b6224d6d89 Merge branch 'testnet3' into feat/loop-unrolling 2022-07-14 17:51:34 -07:00
Pranav Gaddamadugu
43a68fda86 Loop Unrolling skips instead of failing on non-const bounds 2022-07-14 17:07:37 -07:00
Pranav Gaddamadugu
923d5924fe Feedback from code review 2022-07-14 14:26:13 -07:00
Collin Chin
f7202b3e3e
Merge pull request #1935 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.11 
Bump clap from 3.2.8 to 3.2.11
 2022-07-14 12:17:32 -07:00
dependabot[bot]
09095f37ef
Bump clap from 3.2.8 to 3.2.11 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.8 to 3.2.11.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.8...v3.2.11)

---
updated-dependencies:
- dependency-name: clap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-14 10:17:56 +00:00
Mazdak Farrokhzad
dab6629ac0 1. move tuple logic to typeck, 2. disallow multi vars in var decls 2022-07-14 06:07:05 +02:00
collin
9229f46bb5 regen tests 2022-07-13 21:06:54 -07:00
collin
d7efc2ddb6 regen tests 2022-07-12 21:44:26 -07:00
collin
0b81f03f3a move /leo/errors -> /errors 2022-07-12 16:41:42 -07:00
collin
6d731891d0 move /leo/span -> /compiler/span 2022-07-12 16:37:10 -07:00
collin
163f94d7c1 regen tests 2022-07-12 15:41:11 -07:00
Pranav Gaddamadugu
f5eea6b307 Regen expectations; cleanup 2022-07-11 23:07:11 -07:00
Pranav Gaddamadugu
bceccea80b Merge branch 'testnet3' into feat/loop-unrolling 2022-07-11 22:55:42 -07:00
Pranav Gaddamadugu
1ce796a586 Regenerate test expectations 2022-07-11 22:45:59 -07:00
Pranav Gaddamadugu
5f8a1df05f Add output/benching for loop unrolling 2022-07-11 22:13:13 -07:00
collin
e013b88811 stabilize leo build 2022-07-11 21:09:27 -07:00
Pranav Gaddamadugu
dbfd9a7451 Better error for address comparison; regen test expectations 2022-07-11 07:49:52 -07:00
collin
ed79f5c957 merge return-tuple branch 2022-07-09 20:55:30 -07:00
collin
a15fce710c merge testnet3 2022-07-09 16:51:20 -07:00
collin
270dffb140 regen tests 2022-07-09 16:23:54 -07:00
collin
01a1953021 regen tests 2022-07-09 16:19:48 -07:00
collin
aff2db67da check that returned tuple types are valid 2022-07-09 15:13:42 -07:00
collin
2a61f26ccc impl tuple tests 2022-07-09 15:02:45 -07:00
collin
642ad32e99 parse tuple access 2022-07-09 14:11:18 -07:00
collin
a7fc19a69f impl tuple ast access 2022-07-09 13:22:10 -07:00
Pranav Gaddamadugu
e7f4a41410 Better error for missing member on circuit init 2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu
014959aa24 Regenerate expectations 2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
8af0f6268f Regenerate expectations 2022-07-08 13:43:28 -07:00