ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-11 13:48:55 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,517 Commits 45 Branches 43 Tags 368 MiB
b5a2790375
Commit Graph

4517 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
b5a2790375 rename balance -> gates 2022-07-07 16:15:11 -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
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
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