d0cd
44eb8ad453
Cleanup; add bytecode to expected outputs
2023-02-08 11:27:29 -08:00
d0cd
f06b83c7f4
Implement check for cyclic call graph
2023-02-05 12:46:20 -08:00
d0cd
d91233f06e
Implement cycle detection for structs and records
2023-02-05 12:46:20 -08:00
ljedrz
b20308f049
chore: update the license headers ( #2252 )
...
Signed-off-by: ljedrz <ljedrz@gmail.com>
2023-02-02 14:27:06 -08:00
d0cd
b044b002a7
Check that functions cannot output records
2023-01-18 12:33:04 -08:00
dependabot[bot]
6df6bb5ef9
Bump serde from 1.0.150 to 1.0.152 ( #2221 )
2023-01-03 19:26:07 -08:00
dependabot[bot]
5644a1e184
Bump thiserror from 1.0.37 to 1.0.38 ( #2215 )
2023-01-03 19:25:26 -08:00
dependabot[bot]
65fc26704b
Bump backtrace from 0.3.66 to 0.3.67 ( #2212 )
2023-01-03 19:16:42 -08:00
collin
d7b1b9ca56
chore(leo): bump version for new release
2022-12-12 19:31:56 -05:00
d0cd
48a1f0590b
Rename console.assert* to assert*. ( #2205 )
...
* Add assert statements to AST
* Add support in passes
* Add parser support
* Add tyc support
* Add support for assert statements in the remaining passes
* Fix examples, tests, and regen expectations
* Fmt
* Regen expectations
2022-12-06 21:56:48 -08:00
collin
1e01a3a686
chore(leo): bump version for new release
2022-11-30 13:40:52 -08:00
Collin Chin
3f2df5389c
use cargo workspace for dependencies ( #2195 )
2022-11-30 13:31:33 -08:00
dependabot[bot]
6413f3ecac
Bump serde from 1.0.147 to 1.0.148 ( #2189 )
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.147 to 1.0.148.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.147...v1.0.148 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2022-11-29 16:37:19 -08:00
collin
f6f286ac8a
pull testnet3, regen tests
2022-11-23 02:37:57 -05:00
collin
9e28591589
pull testnet3, regen tests
2022-11-23 01:56:37 -05:00
collin
ac4c38d921
clippy
2022-11-23 01:28:33 -05:00
collin
801df56f9c
pull testnet3, regen tests
2022-11-22 20:55:12 -05:00
Collin Chin
40e56f8613
Merge pull request #2100 from AleoHQ/feat/tuple
...
Supports tuples.
2022-11-22 20:49:25 -05:00
d0cd
9370c11a2b
Implement fix
2022-11-16 10:24:29 -08:00
d0cd
ae329c521b
Deprecate (async) finalize statements
2022-11-15 13:18:39 -08:00
collin
44bca58821
chore(leo): bump version for new release
2022-11-14 18:56:09 -08:00
d0cd
25a15aae75
Remove unused error
2022-11-12 11:28:03 -08:00
d0cd
b16926449c
Support private mode in parser and passes
2022-11-12 09:53:20 -08:00
d0cd
f606a8b74a
Restrict tuples in parser; cleanup
2022-11-08 15:49:47 -08:00
d0cd
910d373afd
WIP support tuples on lhs of definitions
2022-11-08 15:49:47 -08:00
d0cd
40ff47882f
Add support for expression statements in compiler passes
2022-11-08 15:49:47 -08:00
d0cd
a7795b72db
Add parser support for expression statements
2022-11-08 15:49:47 -08:00
d0cd
af08c4f2e5
Some cleanup
2022-11-08 15:49:47 -08:00
d0cd
4963a11ee7
More tyc restricting nested tuples
2022-11-08 15:49:47 -08:00
d0cd
2839de13c6
Forbid tuples in input and output types
2022-11-08 15:49:47 -08:00
d0cd
29369b2a42
Better tyc for tuples in composite data types
2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
605f675ff6
More tyc
2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
9994a0451f
wip: basic tyc for empty and singleton tuples
2022-11-08 15:49:46 -08:00
collin
e6c3700945
merge testnet3
2022-11-04 12:46:32 -07:00
Pranav Gaddamadugu
7e70da2326
Implement check for nested import
2022-10-31 18:05:46 -07:00
d0cd
43919a9644
Disable string type in type checker
2022-10-31 18:01:04 -07:00
d0cd
c4279e2a83
Merge pull request #2146 from AleoHQ/fix/tyc-for-loop-bounds
...
Fix/tyc for loop bounds
2022-10-31 17:11:19 -07:00
d0cd
9907d89886
Implement fix
2022-10-27 20:21:18 -07:00
d0cd
df01360010
Clippy
2022-10-24 22:41:10 -07:00
dependabot[bot]
3af57cbfc5
Bump serde from 1.0.146 to 1.0.147
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.146 to 1.0.147.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.146...v1.0.147 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-10-24 10:17:51 +00:00
dependabot[bot]
22722ddde0
Bump serde from 1.0.145 to 1.0.146
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.145 to 1.0.146.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.145...v1.0.146 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-10-21 10:56:37 +00:00
Pranav Gaddamadugu
8283c922f6
Some bug fixes; update some examples
2022-10-05 15:27:54 -07:00
Pranav Gaddamadugu
e15e8f05d6
Additional validation for program scope and imported files
2022-10-05 14:59:06 -07:00
Pranav Gaddamadugu
8f2a6fdb27
Support AST changes in compile passes
2022-10-05 10:38:35 -07:00
Pranav Gaddamadugu
bd4b7be8cf
WIP ast changes for program scope
2022-10-05 09:56:36 -07:00
Pranav Gaddamadugu
8733887d55
Validation for src directory
2022-10-04 22:31:49 -07:00
Pranav Gaddamadugu
c0c5e58011
Add checks for function calls
2022-10-03 16:18:58 -07:00
Pranav Gaddamadugu
fef22d6d5a
Clean up tyc pass
2022-10-03 10:40:59 -07:00
Pranav Gaddamadugu
eb8366badc
Some cleanup
2022-09-30 12:19:40 -07:00
Pranav Gaddamadugu
508c54dd92
Rename errors
2022-09-30 10:16:05 -07:00
