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
Pranav Gaddamadugu
027bd24cd5
Integrate passes into compiler
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
2a2a65b416
Make type checking pass compatible with current implementation of SymbolTable
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
bd1b8251c2
Remove SymbolTable functionality associated with flattening
2022-07-06 16:08:03 -07:00
Pranav Gaddamadugu
24f38721d6
Pull changes to compiler/passes/symbol_table from improved-flattening; remove unused files
2022-07-06 16:08:03 -07:00
Collin Chin
6b5f9a3926
Merge pull request #1913 from AleoHQ/no-cmp-address
...
Removes <, <=, >, >= for address type
2022-07-05 21:46:31 -07:00
collin
de178522d8
impl Display for BinaryOperation, improve error message
2022-07-05 16:42:36 -07:00
Collin Chin
7c009813d2
Merge pull request #1917 from AleoHQ/abnf-logical-ops
2022-07-05 10:33:43 -07:00
Alessandro Coglio
6bfe530922
[ABNF] Improve some rule names.
...
Based on a recent discussion on Slack, and on some related slight terminological
changes in the documentation of the Aleo instructions, this commit similarly
improves the Leo nomenclature for expressions involving the logical operators.
The attribute 'bitwise' for `&` and `|` and `^` has been dropped, since the
operations also operate on booleans besides integers.
Given that the operation and method names `or` and `xor` for inclusive and
exclusive disjunctions (as opposed to `ior` and `xor`), the unqualified
'disjunction' now refers to the inclusive one.
The non-strict `&&` and `||` are now called 'conditional' (as done in other
languages), and thus the ternary one has been expanded to 'conditional ternary'.
This does not change the Leo language; it just improves the nomenclature derived
from the grammar.
2022-07-04 15:45:11 -07:00
Alessandro Coglio
884d46abe4
[ABNF] Revert previous accidentally pushed commit.
2022-07-04 15:36:43 -07:00
Alessandro Coglio
c35b977207
[ABNF] Improve some rule names.
...
Based on a recent discussion on Slack, and on some related slight terminological
changes in the documentation of the Aleo instructions, this commit similarly
improves the Leo nomenclature for expressions involving the logical operators.
The attribute 'bitwise' for `&` and `|` and `^` has been dropped, since the
operations also operate on booleans besides integers.
Given that the operation and method names `or` and `xor` for inclusive and
exclusive disjunctions (as opposed to `ior` and `xor`), the unqualified
'disjunction' now refers to the inclusive one.
The non-strict `&&` and `||` are now called 'conditional' (as done in other
languages), and thus the ternary one has been expanded to 'conditional ternary'.
This does not change the Leo language; it just improves the nomenclature derived
from the grammar.
2022-07-04 15:26:10 -07:00
Collin Chin
14db353f89
Merge pull request #1916 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.138
...
Bump serde from 1.0.137 to 1.0.138
2022-07-04 12:56:44 -07:00
Collin Chin
17eb0434c0
Merge pull request #1915 from ljedrz/license_checker_windows
...
Make the license checker work on Windows too
2022-07-04 12:55:45 -07:00
Collin Chin
176bd96c89
Merge pull request #1914 from AleoHQ/fix-abnf-return-typo
...
[abnf grammar] fix a few typos
2022-07-04 12:54:03 -07:00
dependabot[bot]
ea7e0248c5
Bump serde from 1.0.137 to 1.0.138
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.137 to 1.0.138.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.137...v1.0.138 )
---
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-04 10:21:10 +00:00
ljedrz
2f758bd48d
fix: make the license checker work on Windows too
...
Signed-off-by: ljedrz <ljedrz@gmail.com>
2022-07-03 12:51:10 +02:00
Eric McCarthy
71bd874b69
[abnf grammar] fix a few typos
2022-07-02 22:34:50 -07:00
collin
dd75133e22
clippy
2022-07-02 18:49:13 -07:00
collin
c16a93ab44
removes <, <=, >, >= for address type
2022-07-02 18:15:18 -07:00
Collin Chin
bf8ca5abc4
Merge pull request #1910 from AleoHQ/fix-doc
...
[ast] Fix two doc comments.
2022-07-02 17:16:37 -07:00
Collin Chin
5e82a2488e
Merge pull request #1909 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.14
...
Bump tracing-subscriber from 0.3.11 to 0.3.14
2022-07-02 17:16:22 -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 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
Alessandro Coglio
7549640764
[ast] Fix two doc comments.
2022-07-02 14:50:19 -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
dependabot[bot]
c32e0e493c
Bump tracing-subscriber from 0.3.11 to 0.3.14
...
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing ) from 0.3.11 to 0.3.14.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.11...tracing-subscriber-0.3.14 )
---
updated-dependencies:
- dependency-name: tracing-subscriber
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-02 20:50:15 +00: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