ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 13:56:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,538 Commits 44 Branches 42 Tags 359 MiB
fix/tyc-from-improved-flattening
Commit Graph

4538 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
bec00217cf Better error for missing member on circuit init 2022-07-08 10:27:53 -07:00
Pranav Gaddamadugu
91078b5f8e Regenerate expectations 2022-07-08 10:14:05 -07:00
Pranav Gaddamadugu
199b2b3e1f Rename LiteralExpression to Literal; more cleanup 2022-07-08 10:12:41 -07:00
Pranav Gaddamadugu
6e3c1ad2e3 Clean up error 2022-07-08 10:07:59 -07:00
Pranav Gaddamadugu
5b54c4d6d6 Regenerate expectations 2022-07-07 20:16:37 -07:00
Pranav Gaddamadugu
b33196e52b Fmt 2022-07-07 19:58:56 -07:00
Pranav Gaddamadugu
e9441ec94b Cleanup; type checking for Circuit Member Access 2022-07-07 19:53:52 -07:00
Pranav Gaddamadugu
2e1594544f Add more detailed error messages 2022-07-07 19:53:06 -07:00
Pranav Gaddamadugu
06e97d84ad Merge remote-tracking branch 'origin/type-checker-bugs' into fix/tyc-from-improved-flattening 2022-07-07 19:46:14 -07:00
collin
906015a01d revert hello-world changes 2022-07-07 15:22:52 -07:00
collin
4d809e82a6 cargo fmt 2022-07-07 15:18:13 -07:00
collin
b461539ae3 use refactored methods in type checking, regen tests 2022-07-07 13:22:59 -07:00
collin
f892fe1a57 refactor type checker for removal of Copy trait 2022-07-07 12:20:34 -07:00
Pranav Gaddamadugu
d8a6e713ce Cleanup 2022-07-07 12:03:22 -07:00
Pranav Gaddamadugu
5156d2e541 Refactor emit_err; remove into invocations 2022-07-07 11:47:09 -07:00
Pranav Gaddamadugu
3136a6ccca Remove TODO 2022-07-06 17:29:57 -07:00
Pranav Gaddamadugu
52671c9328 Documentation for SymbolTable pass 2022-07-06 17:10:18 -07:00
Pranav Gaddamadugu
9b7d9a96b7 Fmt, clippy 2022-07-06 16:16:19 -07:00
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