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
collin
24378b85c5
Merge branch 'testnet3' of github.com:AleoHQ/leo into example-interest
2022-08-08 16:01:42 -07:00
Collin Chin
5562132a81
Merge pull request #2005 from AleoHQ/test-examples
...
Run examples in circleci
2022-08-08 15:54:19 -07:00
collin
c7415a1cce
run all Leo examples
2022-08-08 15:32:41 -07:00
collin
1cbeadc374
consolidate run examples into a single test script
2022-08-08 15:20:29 -07:00
collin
0b95c19652
add groups example in circleci
2022-08-08 15:07:42 -07:00
collin
a75df0c1f5
test core example in circleci
2022-08-08 11:54:52 -07:00
collin
02092b055d
test bubblesort in circleci
2022-08-08 11:53:20 -07:00
collin
5cb6150b39
mark hellworld as executable
2022-08-08 11:38:00 -07:00
