ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 05:02:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,983 Commits 54 Branches 46 Tags 340 MiB
8af67e5242
Commit Graph

4983 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
8af67e5242 Fix early record return in SSA 2022-08-18 11:15:27 -07:00
Pranav Gaddamadugu
934df150e3 Fmt 2022-08-18 09:22:20 -07:00
Pranav Gaddamadugu
094c54a20d Fix SSA for console statements 2022-08-18 09:17:09 -07:00
Pranav Gaddamadugu
a39ab9f77f Cleanup 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
a2795baed8 Fmt & clippy 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
5b732a33be Regen tests 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
8c8aacfbd8 Cleanup 2022-08-17 17:01:29 -07:00
Pranav Gaddamadugu
f109241ee4 Redesign SSA pass to use Consumer trait 2022-08-17 17:01:29 -07:00
Pranav Gaddamadugu
1e39f36ddf Introduces Consumer trait 2022-08-17 17:01:29 -07:00
Collin Chin
7f37b2f3d8
Merge pull request #2023 from AleoHQ/feat/asserts 
[Feature] Asserts
 2022-08-17 16:36:39 -07:00
Pranav Gaddamadugu
1d2cddbc7c Fmt 2022-08-17 16:22:13 -07:00
Pranav Gaddamadugu
7278a5bf39 Regen expectations 2022-08-17 16:03:57 -07:00
Pranav Gaddamadugu
4095173e7c Cleanup 2022-08-17 15:48:54 -07:00
Pranav Gaddamadugu
374b8f35f9 Fix comment 2022-08-17 15:36:07 -07:00
d0cd
a4f8043db7
Merge pull request #2022 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.62 
Bump anyhow from 1.0.61 to 1.0.62
 2022-08-17 15:33:42 -07:00
Pranav Gaddamadugu
4c658f7b01 Regen test expectations 2022-08-17 15:27:33 -07:00
Pranav Gaddamadugu
615cc61e9e Add console.assert 2022-08-17 15:27:11 -07:00
Pranav Gaddamadugu
1d55322276 Update parser and typechecker 2022-08-17 14:42:42 -07:00
Pranav Gaddamadugu
545a77b09b Remove unnecesary console functions; add assert_eq and assert_neq 2022-08-17 14:42:06 -07:00
dependabot[bot]
c972791284
Bump anyhow from 1.0.61 to 1.0.62 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.61 to 1.0.62.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.61...1.0.62)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-17 10:15:37 +00:00
Collin Chin
1370c4a91c
Merge pull request #2019 from AleoHQ/feat/ped-commit 
Implement ped64 and ped128 commit operators
 2022-08-15 22:27:03 -07:00
collin
0c3342f151 Merge branch 'testnet3' of github.com:AleoHQ/leo into feat/ped-commit 2022-08-15 22:11:21 -07:00
Collin Chin
377efb9c6c
Merge pull request #2015 from AleoHQ/fix/nested-records 
Check for Nested Record
 2022-08-15 22:08:08 -07:00
collin
fbf0a0aea9 merge testnet3 2022-08-15 21:45:25 -07:00
collin
6b7c38cc4d merge testnet3 2022-08-15 16:10:51 -07:00
Collin Chin
4d18031228
Merge pull request #2014 from AleoHQ/fix/error-on-unrecognized-type 
Check for Unrecognized Type
 2022-08-15 15:16:23 -07:00
Collin Chin
edf48ad7e0
Merge pull request #2002 from AleoHQ/feat/preprocess-negative-literals 
Preprocess Negative Literals
 2022-08-15 15:14:06 -07:00
collin
99c4676593 update rev and update tests 2022-08-15 12:05:52 -07:00
collin
a5b6557460 add ped64 ped128 tests 2022-08-15 11:56:17 -07:00
collin
71b7d10efe uncomment ped64 ped128 code 2022-08-15 11:47:23 -07:00
d0cd
541209a92c
Merge pull request #1997 from AleoHQ/example-twoadicity 
[examples] twoadicity: number of factors of two in field value
 2022-08-15 08:52:10 -07:00
d0cd
3666bb7db0
Merge pull request #2017 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.17 
Bump clap from 3.2.16 to 3.2.17
 2022-08-15 08:51:00 -07:00
dependabot[bot]
322fd1ab54
Bump clap from 3.2.16 to 3.2.17 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.16 to 3.2.17.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/v3.2.17/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.16...v3.2.17)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-15 10:15:19 +00:00
Pranav Gaddamadugu
f6ba7067e1 Fix tyc for member records 2022-08-11 08:55:28 -07:00
Pranav Gaddamadugu
64cecda841 Add more test cases checking for member records 2022-08-11 08:55:07 -07:00
Pranav Gaddamadugu
67f9890653 Address feedback 2022-08-11 07:50:10 -07:00
d0cd
dab5a70c59
Merge pull request #2016 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.61 
Bump anyhow from 1.0.60 to 1.0.61
 2022-08-11 07:45:42 -07:00
dependabot[bot]
1009c3fd4d
Bump anyhow from 1.0.60 to 1.0.61 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.60 to 1.0.61.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.60...1.0.61)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-11 10:19:08 +00:00
Pranav Gaddamadugu
8caafb78d5 Fmt 2022-08-11 00:55:46 -07:00
Pranav Gaddamadugu
da7ff48b11 Add check for nested records; fix codegen for circuit nested in record 2022-08-11 00:53:01 -07:00
Pranav Gaddamadugu
974e93cadf Tyc checks that types are defined 2022-08-11 00:37:04 -07:00
Pranav Gaddamadugu
a69954b64a Add tests for undefined types 2022-08-11 00:36:22 -07:00
Pranav Gaddamadugu
566d239153 Fix some tests 2022-08-10 11:40:24 -07:00
d0cd
a26c452de2
Merge pull request #2009 from AleoHQ/abnf-annotations 
[ABNF] Add annotations.
 2022-08-10 11:36:43 -07:00
Alessandro Coglio
ce2d8f8a51 [ABNF] Add annotations. 
This is to match the recent introduction of the `@program` annotation for
external functions (i.e. functions that may be called externally, passing to
them inputs through the input files).

This PR adds not just that annotation, but a more general notion of annotation
as a new kind of token of the form `@<identifier>`, and with the ability to
precede each function declaration with zero or more such annotations.

The fact that it has been added as a token to the lexical grammar, means that
there cannot be any whitespace or comments between the `@` and the identifier.
If that is undesired, we can add it to the syntactic grammar instead, defining
an annotation as consisting of the (new) symbol token `@` followed by an
identifier token.

We can of course extend annotations with arguments at some point, if needed.
 2022-08-09 20:45:54 -07:00
Pranav Gaddamadugu
2a34d31d33 Regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
dcbdb1bd85 Reintroduce IntegerType 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7ff7170c45 Fix unary negation parser; add test 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
8f5d5badb7 Fix and regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7d2f306f15 Simplify type checking logic 2022-08-09 19:53:17 -07:00