collin
163f94d7c1
regen tests
2022-07-12 15:41:11 -07:00
collin
f91b960031
push public input var in helloworld example
2022-07-12 15:12:46 -07:00
collin
f93186513e
improve errors
2022-07-12 15:00:46 -07:00
collin
fa28678a26
impl leo run
2022-07-12 14:44:20 -07:00
collin
dcd6501262
update revs, improve error handling, remove unused code
2022-07-12 12:48:51 -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
collin
f4a32331b7
remove unused logic
2022-07-11 22:20:37 -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
collin
9ccae18622
clean up cli wip
2022-07-11 21:47:01 -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
e013b88811
stabilize leo build
2022-07-11 21:09:27 -07:00
collin
c5849f26af
Merge branch 'testnet3' of https://github.com/AleoHQ/leo into code-gen
2022-07-11 15:19:14 -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
collin
c719843223
impl program json, aleo build and run working
2022-07-11 14:10:22 -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
collin
616a2e944d
impl .aleo program id
2022-07-11 12:06:51 -07:00
collin
608d29a81c
clippy
2022-07-11 11:58:31 -07:00
collin
426941ac8c
fix associated function calls
2022-07-11 11:56:38 -07: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
collin
1d0dd0781d
impl codegen for return tuples
2022-07-11 11:08:01 -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
ed79f5c957
merge return-tuple branch
2022-07-09 20:55:30 -07: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
270dffb140
regen tests
2022-07-09 16:23:54 -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
