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 Chin
0d0a8a5364
Merge pull request #1901 from AleoHQ/record-type
...
Implement record type
2022-07-02 17:15:16 -07:00
collin
52d76b25ef
disable windows license check for now
2022-07-02 17:02:22 -07:00
collin
37a3d3dc8c
nit
2022-07-02 16:38:47 -07:00
collin
1a3b5d72f0
remove license header newline
2022-07-02 16:36:07 -07:00
collin
ecc1fff7fd
cargo fmt
2022-07-02 14:08:17 -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
ljedrz
6500f7838d
feat: introduce a build script checking licenses
...
Signed-off-by: ljedrz <ljedrz@gmail.com>
2022-07-02 13:40:29 -07:00
Collin Chin
2bc5f66cc1
Merge pull request #1908 from AleoHQ/refactor/visitor
...
Refactor Visitor and Reconstructor pattern.
2022-07-02 13:20:45 -07:00
Pranav Gaddamadugu
b08706a2ff
Minor documentation
2022-07-01 13:22:01 -07:00
Pranav Gaddamadugu
62d2de8c95
Refactor type checking pass to be compatible with new Visitor pattern
2022-07-01 12:45:40 -07:00
Pranav Gaddamadugu
7b5632be90
Refactor SymbolTable creation pass to be compatible with new Visitor pattern
2022-07-01 12:02:38 -07:00
Pranav Gaddamadugu
a60439eb8a
Removed old Visitor and Reducer files
2022-07-01 11:54:44 -07:00
Pranav Gaddamadugu
e6794a0dec
Pull changes to compiler/ast/src/passes/reconstructor.rs from improved-flattening
2022-07-01 11:51:33 -07:00
Pranav Gaddamadugu
f1cd080d91
Pull changes to compiler/ast/src/passes/visitor.rs from improved-flattening
2022-07-01 11:50:59 -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
91fd8ff1b2
fix typo
2022-07-01 00:03:26 +02: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
3a5d7720c8
clippy
2022-06-27 13:33:10 -10:00
collin
90aae40138
regen tests
2022-06-27 12:51:24 -10:00
collin
a58edee122
cargo clippy
2022-06-27 12:50:23 -10:00
collin
389b4692aa
Merge branch 'record-type' of https://github.com/AleoHQ/leo into record-type
2022-06-27 12:45:58 -10:00
Collin Chin
cfd5c4d1d6
Merge pull request #1899 from AleoHQ/abnf-record-types
...
[ABNF] Add syntax for record types.
2022-06-27 12:45:49 -10:00
collin
6933d5d9da
cargo clippy
2022-06-27 09:44:49 -10:00
Collin Chin
9e2641b321
Merge pull request #1885 from AleoHQ/core-circuits
...
Core circuits
2022-06-27 09:08:26 -10:00
Collin Chin
b4a0715162
Merge pull request #1894 from AleoHQ/abnf-add-symbols
...
[ABNF] Add forgotten symbols.
2022-06-27 08:40:33 -10:00
Alessandro Coglio
557cdf15c3
[ABNF] Add syntax for record types.
2022-06-27 11:26:34 -07:00
collin
df8ee1a1f9
fix type checking bugs
2022-06-26 15:13:58 -10:00
collin
21c6a2167a
type check record init expressions
2022-06-26 10:46:32 -10:00
Alessandro Coglio
f8f944da39
[ABNF] Add forgotten symbols.
...
These are for the recently added shift and bitwise logical operators. They
should have been also included in the rule `symbol` for symbol tokens. This
commit remedies that.
2022-06-25 15:24:53 -07:00
collin
18a74cfb85
type check record type declaration
2022-06-24 11:47:01 -10:00
collin
d45ab61e40
parse record type declaration
2022-06-23 22:34:18 -10:00
collin
9d0fd00072
add record type
2022-06-23 21:44:06 -10:00
Collin Chin
13254ef4a3
Merge pull request #1886 from AleoHQ/abnf-static-calls
...
[ABNF] Add syntax for circuits and for associated constants and functions
2022-06-23 20:23:10 -10:00
Alessandro Coglio
93e9686972
[ABNF] Prohibit empty circuits.
...
These would flatten to nothing, component-wise.
This requirement actually slighly simplifies the grammar, avoiding the `[ ... ]`
around the circuit component declarations (in a circuit declaration) or the
circuit component initializers (in a circuit expression).
2022-06-23 21:13:24 -07:00
Alessandro Coglio
35485bea25
[ABNF] Add circuits and add associated constants.
2022-06-23 15:06:39 -07: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 Chin
977e3369ea
Merge pull request #1890 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.6
...
Bump clap from 3.2.5 to 3.2.6
2022-06-23 00:31:03 -07:00
Collin Chin
b2a40502f7
Merge pull request #1889 from AleoHQ/dependabot/cargo/testnet3/indexmap-1.9.1
...
Bump indexmap from 1.9.0 to 1.9.1
2022-06-23 00:30:43 -07: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
collin
0c89c1b5fb
add circuit variable access and type check
2022-06-22 15:14:00 -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
dependabot[bot]
299e918285
Bump indexmap from 1.9.0 to 1.9.1
...
Bumps [indexmap](https://github.com/bluss/indexmap ) from 1.9.0 to 1.9.1.
- [Release notes](https://github.com/bluss/indexmap/releases )
- [Changelog](https://github.com/bluss/indexmap/blob/master/RELEASES.md )
- [Commits](https://github.com/bluss/indexmap/compare/1.9.0...1.9.1 )
---
updated-dependencies:
- dependency-name: indexmap
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-06-22 10:15:09 +00:00
collin
a79196c945
fix circuit type checking, addresses review comments 2/2
2022-06-21 19:37:23 -07:00
collin
d6e32788b4
rename static -> associated, addresses review comments 1/2
2022-06-21 18:30:10 -07:00