ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,543 Commits 53 Branches 44 Tags 331 MiB
014959aa24
Commit Graph

4543 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Collin Chin
5b572278fb
Merge pull request #1871 from AleoHQ/misc-improvements 
Misc improvements
 2022-06-21 10:45:20 -07:00
Mazdak Farrokhzad
01e4b292cf cleanup unused expecations 2022-06-21 17:23:30 +02:00