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
5,270 Commits 54 Branches 46 Tags 340 MiB
1f9f1750fe
Commit Graph

5270 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
1f9f1750fe Clippy; add compiler check 2022-10-12 00:22:55 -05:00
d0cd
264e60c6ee Update doc 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
65f18fc7ea Regen expectations 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
047575f9bf Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
2354cc8b41 Add tests 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
70051888e8 Regen expectations 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
8e3cd83bb8 Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
d7260aef62 Add test 2022-10-12 00:15:06 -05:00
d0cd
cc39ee2fb2
Merge pull request #2118 from AleoHQ/fix/leo-new-default 
Fixes comment in file produced by `leo new`
 2022-10-08 10:47:12 -07:00
d0cd
cb2a9d3290
Merge pull request #2115 from AleoHQ/fix-typo-debruijn 
fix typo in program name
 2022-10-07 16:18:47 -07:00
d0cd
3a29146d1e
Merge pull request #2116 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.16 
Bump tracing-subscriber from 0.3.15 to 0.3.16
 2022-10-07 16:18:13 -07:00
d0cd
ec88110aa6
Merge pull request #2117 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.37 
Bump tracing from 0.1.36 to 0.1.37
 2022-10-07 16:16:45 -07:00
Pranav Gaddamadugu
59d3574284 Fix 2022-10-07 15:11:12 -07:00
dependabot[bot]
594a01f969
Bump tracing from 0.1.36 to 0.1.37 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.36 to 0.1.37.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.36...tracing-0.1.37)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-07 10:32:30 +00:00
dependabot[bot]
ee0eebf80d
Bump tracing-subscriber from 0.3.15 to 0.3.16 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.15 to 0.3.16.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.15...tracing-subscriber-0.3.16)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-07 10:32:22 +00:00
Eric McCarthy
24540a5c67 fix typo in program name 2022-10-06 21:30:30 -07:00
Collin Chin
1749eec403
Merge pull request #2102 from AleoHQ/abnf-moved-grammar 
[ABNF] Mark the grammar as moved to the new repo.
 2022-10-06 15:57:49 -07:00
Collin Chin
8b9ad3811d
Merge pull request #2114 from AleoHQ/update/aleo-snarkvm 
Update revs.
 2022-10-06 14:21:02 -07:00
Collin Chin
4256167bfe
Merge pull request #2112 from AleoHQ/feat/program-scope 
Introduces `program` scope.
 2022-10-06 14:19:35 -07:00
Pranav Gaddamadugu
c42228713d Regen expectations 2022-10-06 11:32:11 -07:00
Pranav Gaddamadugu
97b299ac8a Update revs 2022-10-06 11:31:58 -07:00
d0cd
6fb4ed1a3d
Merge pull request #2109 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.10.0 
Bump smallvec from 1.9.0 to 1.10.0
 2022-10-06 00:29:29 -07:00
Pranav Gaddamadugu
e94d43536a Fix leo new 2022-10-06 00:25:28 -07:00
Pranav Gaddamadugu
d7813923d2 More examples 2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu
e1a148a93e Regen expectations 2022-10-05 23:52:37 -07:00
Pranav Gaddamadugu
35f77f2a12 More examples 2022-10-05 23:52:22 -07:00
Pranav Gaddamadugu
028a01efde More fixes 2022-10-05 23:51:56 -07:00
Pranav Gaddamadugu
047ed7a08b Update parser tests 2022-10-05 16:54:50 -07:00
Pranav Gaddamadugu
2329617fec Update compiler tests 2022-10-05 16:53:49 -07:00
Pranav Gaddamadugu
8283c922f6 Some bug fixes; update some examples 2022-10-05 15:27:54 -07:00
Pranav Gaddamadugu
e15e8f05d6 Additional validation for program scope and imported files 2022-10-05 14:59:06 -07:00
Pranav Gaddamadugu
8f2a6fdb27 Support AST changes in compile passes 2022-10-05 10:38:35 -07:00
Pranav Gaddamadugu
224cf18544 Add program_scope into AST 2022-10-05 10:00:15 -07:00
Pranav Gaddamadugu
9da6d7735f Enable parser support for program scope 2022-10-05 09:57:16 -07:00
Pranav Gaddamadugu
bd4b7be8cf WIP ast changes for program scope 2022-10-05 09:56:36 -07:00
Pranav Gaddamadugu
8733887d55 Validation for src directory 2022-10-04 22:31:49 -07:00
Pranav Gaddamadugu
8872c3d53f Remove use of default network domain 2022-10-04 19:11:36 -07:00
Pranav Gaddamadugu
6ce64f8a78 Add tests checking for invalid function calls 2022-10-03 16:33:15 -07:00
Pranav Gaddamadugu
c0c5e58011 Add checks for function calls 2022-10-03 16:18:58 -07:00
Pranav Gaddamadugu
dbb72ddbf8 Add tests showing program annotation fails 2022-10-03 15:02:28 -07:00
Pranav Gaddamadugu
ce3fd38cd4 Regen expectations 2022-10-03 14:57:14 -07:00
Pranav Gaddamadugu
e4bd8f8338 Update tests to use transition 2022-10-03 14:56:14 -07:00
Pranav Gaddamadugu
a886357585 Update examples to use transition keyword 2022-10-03 11:22:37 -07:00
Pranav Gaddamadugu
e7e01b23a9 Clean up code gen 2022-10-03 10:45:26 -07:00
Pranav Gaddamadugu
fef22d6d5a Clean up tyc pass 2022-10-03 10:40:59 -07:00
Pranav Gaddamadugu
80d8880292 Parser support for transition keyword 2022-10-03 08:53:44 -07:00
Pranav Gaddamadugu
62b16cfa51 Tokenize transition keyword 2022-10-03 08:16:55 -07:00
dependabot[bot]
28ed3dc320
Bump smallvec from 1.9.0 to 1.10.0 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.9.0 to 1.10.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.9.0...v1.10.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-03 10:15:01 +00:00
Pranav Gaddamadugu
b92fefddc4 Add test for deprecated circuit; rename tests 2022-09-30 13:20:23 -07:00
Pranav Gaddamadugu
898d831249 Regen expectations 2022-09-30 12:58:39 -07:00