ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 01:31:39 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,058 Commits 54 Branches 46 Tags 340 MiB
48ce885860
Commit Graph

5058 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Pranav Gaddamadugu
a1d79da501 Parser produces negative integer literals 2022-08-09 19:53:17 -07:00
Collin Chin
7826e2a739
Merge pull request #2007 from AleoHQ/update-deps 
Update deps
 2022-08-09 16:59:25 -07:00
collin
47d4613627 Update deps 2022-08-09 16:38:12 -07:00
Collin Chin
52060b0fe8
Merge pull request #1993 from AleoHQ/example-tictactoe 
[examples] A tic-tac-toe app.
 2022-08-09 16:19:26 -07:00
Collin Chin
0160ad02ca
Merge pull request #1991 from AleoHQ/example-auction 
[examples] A very simple auction-related example.
 2022-08-09 16:19:07 -07:00
collin
f5d504ed8d add two-adicity example to circleci 2022-08-09 16:05:28 -07:00
collin
421973fc3d add auction example to circleci 2022-08-09 16:01:56 -07:00
collin
66816d4026 add tic tac toe example to circle ci 2022-08-09 16:01:31 -07:00
Collin Chin
f896fde5cb
Merge pull request #1988 from AleoHQ/example-interest 
[example] Simple interest calculation.
 2022-08-09 15:52:58 -07:00
d0cd
2c0474a7e8
Merge pull request #2006 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.143 
Bump serde from 1.0.142 to 1.0.143
 2022-08-09 11:35:01 -07:00
d0cd
c6c261129d
Merge pull request #2004 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.60 
Bump anyhow from 1.0.59 to 1.0.60
 2022-08-09 11:34:11 -07:00
Eric McCarthy
87cbd39a66 reword comment 2022-08-09 10:13:09 -07:00
Eric McCarthy
ea694bf7bb Merge branch 'testnet3' into example-twoadicity 2022-08-09 10:02:35 -07:00
dependabot[bot]
7ec9c92cbd
Bump serde from 1.0.142 to 1.0.143 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.142 to 1.0.143.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.142...v1.0.143)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-09 10:14:03 +00:00
Alessandro Coglio
af7b84815a [examples] Expand tic-tac-toe documentation a bit. 2022-08-08 17:03:34 -07:00
Alessandro Coglio
d63fb7a657 [examples] Improve README. 2022-08-08 16:56:31 -07:00
Alessandro Coglio
371ce24e23 Merge with testnet3. 2022-08-08 16:53:00 -07:00
Alessandro Coglio
f0e1b84618 [examples] Change 'period' to 'iteration'. 2022-08-08 16:51:37 -07:00
Alessandro Coglio
ccd60eecd2 Merge with testnet3. 2022-08-08 16:36:16 -07:00
Alessandro Coglio
17b156de27 Merge with testnet3. 2022-08-08 16:35:54 -07:00
Alessandro Coglio
60180e78e5 [examples] Add explanations to auction example. 2022-08-08 16:34:28 -07:00
Collin Chin
a583cd527a
Merge pull request #2000 from AleoHQ/fix/tyc-for-shift-and-pow 
[Fix] Tyc for `<<=`, `>>=`, and `**=`
 2022-08-08 16:26:25 -07:00
Alessandro Coglio
099d63555b [examples] Address review. 2022-08-08 16:18:11 -07:00
Alessandro Coglio
104e04f049 Merge with testnet3. 2022-08-08 16:16:06 -07:00
collin
ee84bfe171 run interest examples in circle ci 2022-08-08 16:05:14 -07:00