ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 17:21:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,089 Commits 54 Branches 46 Tags 340 MiB
7bbaaf4245
Commit Graph

5089 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
collin
1aef4987c2 fix config.yml 2022-08-08 11:25:21 -07:00
collin
d10c3943cc add test helloworld to circleci 2022-08-08 11:21:08 -07:00
collin
59bcaa9a60 leo run helloworld in circleci 2022-08-08 11:15:11 -07:00
dependabot[bot]
9b265b237d
Bump anyhow from 1.0.59 to 1.0.60 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.59 to 1.0.60.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.59...1.0.60)

---
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-08 10:32:53 +00:00
Pranav Gaddamadugu
6897628800 Cleanup 2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu
2740099e77 Regenerate test expectations 2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu
84369793ac Update passes to account for change in AST 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
965102152a Parser produces simplified assignment statements directly 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
a531b9642f Remove complex assignments from the AST 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
ba0d7b8d0d Add test cases demonstrating failing typechecking 2022-08-06 07:49:36 -07:00
Alessandro Coglio
1ea21716cf [examples] Ensure correct record address. 
Also vary the other addresses.
 2022-08-05 22:56:46 -07:00