ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,379 Commits 54 Branches 44 Tags 331 MiB
8384c39e84
Commit Graph

668 Commits

Author SHA1 Message Date
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
Pranav Gaddamadugu
00b90c4a33 Merge branch 'testnet3' into feat/redesign-symbol-table 2022-07-08 11:57:40 -07:00
collin
d64f4787a1 merge testnet3 2022-07-08 11:27:01 -07:00
Collin Chin
249d50538b
Merge pull request #1921 from AleoHQ/type-checker-bugs 
Refactor type checker functions
 2022-07-08 11:23:22 -07:00
d0cd
67cc6ab629
Merge pull request #1918 from AleoHQ/dependabot/cargo/testnet3/regex-1.6.0 
Bump regex from 1.5.6 to 1.6.0
 2022-07-08 10:34:27 -07:00
dependabot[bot]
418270838b
Bump backtrace from 0.3.65 to 0.3.66 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.65 to 0.3.66.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.65...0.3.66)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-08 10:30:43 +00:00
collin
b5a2790375 rename balance -> gates 2022-07-07 16:15:11 -07:00
collin
b461539ae3 use refactored methods in type checking, regen tests 2022-07-07 13:22:59 -07:00
Pranav Gaddamadugu
12eafa4174 Regenerate test expectations without symbol_table 2022-07-06 16:10:59 -07:00
Pranav Gaddamadugu
e4744f2978 Change duplicate_name_context from Pass to Fail 2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
80ff280df7 Remove symbol table from OutputItem; clippy 2022-07-06 16:08:29 -07:00
collin
dc9063de5a update snarkvm rev 2022-07-06 14:47:52 -07:00
dependabot[bot]
c272180a9e
Bump regex from 1.5.6 to 1.6.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.5.6 to 1.6.0.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.5.6...1.6.0)

---
updated-dependencies:
- dependency-name: regex
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-06 10:21:03 +00:00
collin
de178522d8 impl Display for BinaryOperation, improve error message 2022-07-05 16:42:36 -07:00
collin
c16a93ab44 removes <, <=, >, >= for address type 2022-07-02 18:15:18 -07:00
Collin Chin
034ed8cbeb
Merge pull request #1907 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.8 
Bump clap from 3.2.6 to 3.2.8
 2022-07-02 17:15:58 -07:00
collin
0a4069fe39 merge testnet3 2022-07-02 14:08:02 -07:00
collin
07288e4662 update licenses 2022-07-02 13:47:53 -07:00
dependabot[bot]
4d53804e79
Bump clap from 3.2.6 to 3.2.8 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.6 to 3.2.8.
- [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.6...v3.2.8)

---
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-01 10:26:21 +00:00
Mazdak Farrokhzad
952d7f4e36 records: base them atop circuits instead 2022-06-30 15:37:18 +02:00
collin
1cb4afe5f9 impl record type tests 2022-06-27 16:59:06 -10:00
collin
90aae40138 regen tests 2022-06-27 12:51:24 -10:00
collin
5ee2858b0a add tests and remove dead code 2022-06-22 22:38:33 -10:00
collin
7417496eee merge testnet3 2022-06-22 21:42:00 -10:00
collin
4a80445bd8 test hashing u128 with ped64 fails 2022-06-22 21:29:04 -10:00
collin
4400545543 add all core circuit tests 2022-06-22 21:19:26 -10:00
collin
df908345bc add circuit variable access and type check 2022-06-22 15:49:50 -10:00
dependabot[bot]
c2d81ca6e0
Bump clap from 3.2.5 to 3.2.6 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.5 to 3.2.6.
- [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.5...v3.2.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-22 10:15:16 +00:00
Mazdak Farrokhzad
01e4b292cf cleanup unused expecations 2022-06-21 17:23:30 +02:00
Mazdak Farrokhzad
7226659bf6 Value -> Literal 2022-06-21 17:12:34 +02:00
Mazdak Farrokhzad
ddbf2ae849 1. Speed up string literal lexing. 
2. Move address check to parser.
3. Move assignment place WF check to type checker.
 2022-06-21 17:07:44 +02:00
collin
bfd3a37a42 merge testnet3 2022-06-20 12:34:33 -07:00
0rphon
34a408ea41 sqrt tests 2022-06-16 16:56:00 -07:00
0rphon
b03c890dd2 syntactical operator tests 2022-06-16 16:45:37 -07:00
gluax
c9ab4bd3d7 add bitwise op parsing, fix tests 2022-06-16 15:40:48 -07:00
0rphon
94b506cf3f fixed tests 2022-06-16 13:22:32 -07:00
0rphon
66286ca88e more tests 2022-06-16 13:07:40 -07:00
0rphon
1cc47e9d08 more tests 2022-06-16 12:53:53 -07:00
gluax
b656fd5347 fix type checking on certain bitwise operations 2022-06-16 12:49:41 -07:00
0rphon
ed9ca4d6d8 added some tests 2022-06-16 12:06:46 -07:00
collin
b9f8bafc91 pull latest testnet3 2022-06-15 16:52:49 -07:00
0rphon
c54cf17ce1 resolve conflicts 2022-06-15 16:34:57 -07:00
0rphon
0daffb267b reverted filename path 2022-06-15 16:19:20 -07:00
0rphon
4d07cd4722 clippy 2022-06-15 16:10:49 -07:00
0rphon
d0cfa983b5 fixed bug 2022-06-15 16:06:26 -07:00
collin
b2890f393a merge testnet3 2022-06-15 10:23:01 -07:00
collin
007d1d0265 merge testnet3 2022-06-15 10:19:33 -07:00
Mazdak Farrokhzad
eee838abba fixes in special methods parsing 2022-06-15 14:51:44 +02:00
collin
0e59e9bcf9 fix cmp type checking 2022-06-14 10:55:59 -07:00
dependabot[bot]
6cb1f0b940
Bump clap from 3.1.18 to 3.2.1 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.18 to 3.2.1.
- [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.1.18...clap_complete-v3.2.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-14 10:33:33 +00:00
collin
831e011f42 use more clear type checking methods 2022-06-13 14:53:01 -07:00
0rphon
a738ae67a0 fixed expectation pathing 2022-06-13 11:32:35 -07:00