ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,067 Commits 54 Branches 44 Tags 331 MiB
edb3c8ea16
Commit Graph

319 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
e4e228c419 Merge branch 'mainnet' into update/from-testnet3 2024-05-14 14:47:33 -07:00
Pranav Gaddamadugu
b0ef7a8f46 Update testnet3 to mainnet 2024-05-14 13:31:33 -07:00
Pranav Gaddamadugu
65afb54a5b chore(leo): bump version for new release 2024-05-13 13:36:45 -07:00
Pranav Gaddamadugu
2c391055af chore(leo): bump version for new release 2024-03-29 17:53:25 -07:00
Sukey
35f31678bf
Fix several typos 
Signed-off-by: Sukey <35202440+sukey2008@users.noreply.github.com>
 2023-10-28 22:19:28 +02:00
Collin Chin
eb12c7e475 chore(leo): bump version for new release 2023-10-19 21:02:05 -07:00
collin
0f2f16877b chore(leo): bump version for new release 2023-09-08 10:18:21 -07:00
collin
11b87229f1 chore(leo): bump version for new release 2023-08-15 14:02:00 -07:00
collin
7714f55999 chore(leo): bump version for new release 2023-08-08 10:14:56 -07:00
collin
d336be0b7b chore(leo): bump version for new release 2023-07-24 10:51:44 -07:00
collin
6a7748e5fe chore(leo): bump version for new release 2023-07-19 18:17:31 -07:00
collin
a18899f253 chore(leo): bump version for new release 2023-07-05 21:25:34 -07:00
collin
9fccf015d7 chore(leo): bump version for new release 2023-06-28 21:09:44 -07:00
collin
80b0976276 chore(leo): bump version for new release 2023-06-23 17:19:25 -07:00
collin
7741f5b0c4 chore(leo): bump version for new release 2023-06-15 22:38:02 -07:00
collin
f5867a4fe4 chore(leo): bump version for new release 2023-06-15 22:26:19 -07:00
collin
52dfc097c5 chore(leo): bump version for new release 2023-05-31 20:37:17 -07:00
Collin Chin
2e1a9fc979 chore(leo): bump version for new release 2023-05-23 15:02:30 -07:00
collin
1c5de6fb80 bump snarkvm v0.11.2 2023-05-12 14:42:15 -07:00
collin
85821b524e chore(leo): bump version for new release 2023-04-19 18:02:15 -07:00
Pranav Gaddamadugu
8adc6c76b8 Fmts and clippies 2023-03-26 23:18:03 -07:00
Collin Chin
0a738d4994 chore(leo): bump version for new release 2023-02-17 22:30:17 -05:00
d0cd
5e331bbf36 Cleanup 2023-02-05 12:46:20 -08:00
ljedrz
b20308f049
chore: update the license headers (#2252) 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2023-02-02 14:27:06 -08:00
collin
d7b1b9ca56 chore(leo): bump version for new release 2022-12-12 19:31:56 -05:00
collin
1e01a3a686 chore(leo): bump version for new release 2022-11-30 13:40:52 -08:00
Collin Chin
3f2df5389c
use cargo workspace for dependencies (#2195) 2022-11-30 13:31:33 -08:00
d0cd
8986be33e8
Create common module; move pass data structures (#2173) 
Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
 2022-11-23 15:05:05 -05:00
collin
44bca58821 chore(leo): bump version for new release 2022-11-14 18:56:09 -08:00
d0cd
6621ba1bec Update install docs to include troubleshooting guide 2022-11-02 21:44:32 -07:00
d0cd
df01360010 Clippy 2022-10-24 22:41:10 -07:00
dependabot[bot]
c5dfd9278a
Bump abnf from 0.12.0 to 0.13.0 
Bumps [abnf](https://github.com/duesee/abnf) from 0.12.0 to 0.13.0.
- [Release notes](https://github.com/duesee/abnf/releases)
- [Changelog](https://github.com/duesee/abnf/blob/main/CHANGELOG.md)
- [Commits](https://github.com/duesee/abnf/commits/v0.13.0)

---
updated-dependencies:
- dependency-name: abnf
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-24 10:18:05 +00:00
Alessandro Coglio
42b4268152 [ABNF] Remove initial blank line (!). 2022-09-28 10:27:46 -07:00
Alessandro Coglio
8e9a16a183 [ABNF] Mark the grammar as moved to the new repo. 2022-09-28 10:24:01 -07:00
Alessandro Coglio
ef83c6fde7 [ABNF] Add async keyword. 
Matches https://github.com/AleoHQ/leo/pull/2088.
 2022-09-22 23:56:48 -07:00
Alessandro Coglio
f6b3870769 [ABNF] Improve a rule name. 
Rename `end-of-line-comment` to the shorter `line-comment`, which is also
consistent with the ABNF gramar of Aleo instructions.
 2022-09-17 21:26:09 -07:00
collin
4e05840bf5 bump ci rust version to 1.63 2022-09-16 18:19:20 +02:00
collin
834ea300aa bump ci rust version to 1.65 2022-09-16 18:17:10 +02:00
collin
6c18565700 too new of rust version for actions 2022-09-16 17:51:15 +02:00
collin
2e24f82f21 Update rust versions 2022-09-16 17:32:20 +02:00
Alessandro Coglio
ea3b919b9d Merge with testnet3. 2022-09-15 17:21:02 +08:00
Alessandro Coglio
d0ba8defbd [ABNF] Add name to finalizer. 2022-09-15 17:20:21 +08:00
Alessandro Coglio
02ad2a390d [ABNF] Fix typo in rule that excludes bidi chars. 
The 2070 should have been 206A all along.
 2022-08-29 12:44:34 -07:00
Alessandro Coglio
460a46f115 [ABNF] Add mappings. 
As discussed on Notion and Slack.
 2022-08-27 16:58:19 -07:00
d0cd
297128af6d
Merge pull request #2024 from AleoHQ/abnf-console 
[ABNF] Revise console statements.
 2022-08-18 16:28:29 -07:00
Pranav Gaddamadugu
eb4ee1428c Cleanup out dated docs 2022-08-18 15:45:30 -07:00
Alessandro Coglio
eab2e4466d [ABNF] Revise console statements. 
Add `console.assert_eq` and `console.assert_neq`.

Remove `console.log` and `console.error`.

Remove the format string grammar, since it was only used for console print
calls, which have been removed.

This matches #2023.
 2022-08-17 21:45:40 -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
collin
5f0a6573a5 Merge branch 'testnet3' of github.com:AleoHQ/leo into remove-unsafe 2022-08-05 11:52:09 -07:00
Alessandro Coglio
79bef6627a [ABNF] Add compound assignments. 2022-08-04 21:01:05 -07:00