Pranav Gaddamadugu
43a68fda86
Loop Unrolling skips instead of failing on non-const bounds
2022-07-14 17:07:37 -07:00
Pranav Gaddamadugu
fdc2f65623
More feedback
2022-07-14 17:02:37 -07:00
Pranav Gaddamadugu
923d5924fe
Feedback from code review
2022-07-14 14:26:13 -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
Pranav Gaddamadugu
9a3fa41f9e
Add loop unrolling pass to compiler
2022-07-11 21:57:48 -07:00
Pranav Gaddamadugu
639a719e4d
WIP loop unrolling
2022-07-11 21:46:34 -07:00
Pranav Gaddamadugu
1a9941022c
Rename type_checker to type_checking
2022-07-11 21:46:15 -07:00
Pranav Gaddamadugu
6a032e7499
WIP value
2022-07-11 21:45:05 -07:00
Collin Chin
bbdf04e999
Merge pull request #1929 from AleoHQ/dependabot/cargo/testnet3/serde_yaml-0.8.25
...
Bump serde_yaml from 0.8.24 to 0.8.25
2022-07-11 15:17:12 -07:00
Collin Chin
a9fd9a0c2d
Merge pull request #1928 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.139
...
Bump serde from 1.0.138 to 1.0.139
2022-07-11 15:16:59 -07:00
Collin Chin
de23832673
Merge pull request #1927 from AleoHQ/abnf-tuples
...
[ABNF] Add tuples.
2022-07-11 15:16:44 -07:00
Collin Chin
5f308bfb59
Merge pull request #1926 from AleoHQ/return-tuple
...
Implement tuple syntax and type checking
2022-07-11 15:16:10 -07:00
Pranav Gaddamadugu
7537fb1af2
Pull passes/src/flattening from improved-flattening
2022-07-11 14:53:41 -07:00
Pranav Gaddamadugu
ae13db1d4c
Type checking fills in start/stop values for IterationStatement
2022-07-11 14:48:53 -07:00
Alessandro Coglio
97d26a879a
[ABNF] Actually exclude 1-tuples.
...
Thanks to @bendyarm for noticing and reporting this.
2022-07-11 21:38:05 +02:00
Pranav Gaddamadugu
3b76574a78
Add start, stop values for IterationStatement
2022-07-11 11:20:54 -07:00
Pranav Gaddamadugu
3d13e8b400
WIP value
2022-07-11 11:18:25 -07:00
Pranav Gaddamadugu
987496da91
Pull errors/flattener from improved-flattening
2022-07-11 11:17:30 -07:00
Pranav Gaddamadugu
dbfd9a7451
Better error for address comparison; regen test expectations
2022-07-11 07:49:52 -07:00
Pranav Gaddamadugu
641c98b69e
Use refactored types in parsing and tyc
2022-07-11 07:19:00 -07:00
Pranav Gaddamadugu
8bdf199ab1
Remove IntegerTypes and declare them explicitly in Type
2022-07-11 07:17:57 -07:00
dependabot[bot]
8abc3685be
Bump serde_yaml from 0.8.24 to 0.8.25
...
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml ) from 0.8.24 to 0.8.25.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases )
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.24...0.8.25 )
---
updated-dependencies:
- dependency-name: serde_yaml
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-11 10:23:35 +00:00
dependabot[bot]
1d2d345573
Bump serde from 1.0.138 to 1.0.139
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.138 to 1.0.139.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.138...v1.0.139 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-11 10:23:20 +00:00
Pranav Gaddamadugu
15959614d0
Refactor value into its own module
2022-07-10 17:54:12 -07:00
Pranav Gaddamadugu
6fbf96e12d
Pull symbol_table/value.rs from improved-flattening
2022-07-10 09:45:53 -07:00
Alessandro Coglio
9c3d2e0941
[ABNF] Add tuples.
...
This adds tuple types, tuple expressions (which build tuples from components),
and tuple component expressions (which access tuple components).
Based on previous discussions on this topic, 1-tuples are excluded. This
exclusion is done at the grammar level, since it is the kind of requirement that
is easily captured in a context-free grammar.
2022-07-10 18:28:31 +02:00
collin
d59cff0844
cargo fmt
2022-07-09 16:58:36 -07:00
collin
a15fce710c
merge testnet3
2022-07-09 16:51:20 -07:00
collin
01a1953021
regen tests
2022-07-09 16:19:48 -07:00
d0cd
1c88ea938b
Merge pull request #1925 from AleoHQ/fix/tyc-member-access-and-cleanup
...
Type-checking fixes and cleanup
2022-07-09 16:03:53 -07:00
collin
1bcb9accec
clippy
2022-07-09 15:38:11 -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
collin
9e422599a0
impl tuple parsing
2022-07-09 12:39:50 -07:00
collin
296c62a280
impl tuple type expression
2022-07-09 10:15:08 -07:00
Pranav Gaddamadugu
8ab98c9434
Refactor emitter to reduce the number of into invocations; more cleanup
2022-07-08 14:10:54 -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
990b5a75da
Rename LiteralExpression to Literal; more cleanup
2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
cf7bde5fab
Clean up error
2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
8af0f6268f
Regenerate expectations
2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
0358a5f4da
Fmt
2022-07-08 13:43:28 -07:00
collin
a1c42a8d3f
impl tuple type
2022-07-08 13:07:20 -07:00
Pranav Gaddamadugu
f31accb04e
Cleanup; type checking for Circuit Member Access
2022-07-08 12:56:58 -07:00
Pranav Gaddamadugu
ccd50fb7de
Add more detailed error messages
2022-07-08 12:50:26 -07:00
