ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 01:01:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,832 Commits 54 Branches 46 Tags 340 MiB
6b0dc3a314
Commit Graph

4832 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
8bdf199ab1 Remove IntegerTypes and declare them explicitly in Type 2022-07-11 07:17:57 -07:00
dependabot[bot]
8abc3685be
Bump serde_yaml from 0.8.24 to 0.8.25 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.24 to 0.8.25.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.24...0.8.25)

---
updated-dependencies:
- dependency-name: serde_yaml
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 10:23:35 +00:00
dependabot[bot]
1d2d345573
Bump serde from 1.0.138 to 1.0.139 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.138 to 1.0.139.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.138...v1.0.139)

---
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-11 10:23:20 +00:00
Pranav Gaddamadugu
15959614d0 Refactor value into its own module 2022-07-10 17:54:12 -07:00
Pranav Gaddamadugu
6fbf96e12d Pull symbol_table/value.rs from improved-flattening 2022-07-10 09:45:53 -07:00
Alessandro Coglio
9c3d2e0941 [ABNF] Add tuples. 
This adds tuple types, tuple expressions (which build tuples from components),
and tuple component expressions (which access tuple components).

Based on previous discussions on this topic, 1-tuples are excluded. This
exclusion is done at the grammar level, since it is the kind of requirement that
is easily captured in a context-free grammar.
 2022-07-10 18:28:31 +02:00
collin
ed79f5c957 merge return-tuple branch 2022-07-09 20:55:30 -07:00
collin
d59cff0844 cargo fmt 2022-07-09 16:58:36 -07:00
collin
a15fce710c merge testnet3 2022-07-09 16:51:20 -07:00
collin
270dffb140 regen tests 2022-07-09 16:23:54 -07:00
collin
01a1953021 regen tests 2022-07-09 16:19:48 -07:00
d0cd
1c88ea938b
Merge pull request #1925 from AleoHQ/fix/tyc-member-access-and-cleanup 
Type-checking fixes and cleanup
 2022-07-09 16:03:53 -07:00
collin
1bcb9accec clippy 2022-07-09 15:38:11 -07:00
collin
aff2db67da check that returned tuple types are valid 2022-07-09 15:13:42 -07:00
collin
2a61f26ccc impl tuple tests 2022-07-09 15:02:45 -07:00
collin
642ad32e99 parse tuple access 2022-07-09 14:11:18 -07:00
collin
a7fc19a69f impl tuple ast access 2022-07-09 13:22:10 -07:00
collin
9e422599a0 impl tuple parsing 2022-07-09 12:39:50 -07:00
collin
296c62a280 impl tuple type expression 2022-07-09 10:15:08 -07:00
Pranav Gaddamadugu
8ab98c9434 Refactor emitter to reduce the number of into invocations; more cleanup 2022-07-08 14:10:54 -07:00
Pranav Gaddamadugu
e7f4a41410 Better error for missing member on circuit init 2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu
014959aa24 Regenerate expectations 2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
990b5a75da Rename LiteralExpression to Literal; more cleanup 2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
cf7bde5fab Clean up error 2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
8af0f6268f Regenerate expectations 2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
0358a5f4da Fmt 2022-07-08 13:43:28 -07:00
collin
a1c42a8d3f impl tuple type 2022-07-08 13:07:20 -07:00
Pranav Gaddamadugu
f31accb04e Cleanup; type checking for Circuit Member Access 2022-07-08 12:56:58 -07:00
Pranav Gaddamadugu
ccd50fb7de Add more detailed error messages 2022-07-08 12:50:26 -07:00
collin
43db782ce2 remove Copy trait from Type enum 2022-07-08 12:22:25 -07:00
d0cd
9b9db978ef
Merge pull request #1911 from AleoHQ/feat/redesign-symbol-table 
Redesign SymbolTable
 2022-07-08 12:10:48 -07:00
Pranav Gaddamadugu
00b90c4a33 Merge branch 'testnet3' into feat/redesign-symbol-table 2022-07-08 11:57:40 -07:00
collin
d64f4787a1 merge testnet3 2022-07-08 11:27:01 -07:00
Collin Chin
249d50538b
Merge pull request #1921 from AleoHQ/type-checker-bugs 
Refactor type checker functions
 2022-07-08 11:23:22 -07:00
d0cd
67cc6ab629
Merge pull request #1918 from AleoHQ/dependabot/cargo/testnet3/regex-1.6.0 
Bump regex from 1.5.6 to 1.6.0
 2022-07-08 10:34:27 -07:00
d0cd
08fbb1992d
Merge pull request #1923 from AleoHQ/dependabot/cargo/testnet3/backtrace-0.3.66 
Bump backtrace from 0.3.65 to 0.3.66
 2022-07-08 10:33:55 -07:00
d0cd
12f51ee612
Merge pull request #1920 from AleoHQ/dependabot/cargo/testnet3/criterion-0.3.6 
Bump criterion from 0.3.5 to 0.3.6
 2022-07-08 10:32:14 -07:00
dependabot[bot]
418270838b
Bump backtrace from 0.3.65 to 0.3.66 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.65 to 0.3.66.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.65...0.3.66)

---
updated-dependencies:
- dependency-name: backtrace
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-08 10:30:43 +00:00
collin
b5a2790375 rename balance -> gates 2022-07-07 16:15:11 -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
dependabot[bot]
16fab683e0
Bump criterion from 0.3.5 to 0.3.6 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.3.5 to 0.3.6.
- [Release notes](https://github.com/bheisler/criterion.rs/releases)
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.3.5...0.3.6)

---
updated-dependencies:
- dependency-name: criterion
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-07 10:17:30 +00:00
collin
41a5a39380 circleci use 1.61 2022-07-06 20:50:33 -07:00
collin
95c2f66c5a clippy 2022-07-06 20:49:05 -07:00
collin
0e5ad5e385 update circle ci config 2022-07-06 20:14:20 -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