ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-08-15 16:50:22 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,258 Commits 43 Branches 41 Tags 346 MiB
arc3
Commit Graph

5258 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
a026cc69bc
Merge pull request #2121 from AleoHQ/fix/codegen-on-arc3 
Codegen for ARC-003
 2022-10-07 18:31:54 -07:00
Pranav Gaddamadugu
49c3a50231 Regen tests 2022-10-07 16:31:57 -07:00
Pranav Gaddamadugu
1c4a7842a6 Fix codegen for arc3 2022-10-07 16:31:31 -07:00
collin
ccfbf8b27d Update revs 2022-10-07 15:45:41 -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
Pranav Gaddamadugu
eb8366badc Some cleanup 2022-09-30 12:19:40 -07:00
Pranav Gaddamadugu
c551179b42 Fmt 2022-09-30 11:55:42 -07:00
Pranav Gaddamadugu
f51a36aeaf Rename in compiler 2022-09-30 11:52:06 -07:00
Pranav Gaddamadugu
8d12cd6651 Rename tests 2022-09-30 10:48:47 -07:00
Pranav Gaddamadugu
99ec270f8a Rename examples 2022-09-30 10:37:29 -07:00
Pranav Gaddamadugu
508c54dd92 Rename errors 2022-09-30 10:16:05 -07:00
d0cd
27494e8956
Merge pull request #2101 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.37 
Bump thiserror from 1.0.36 to 1.0.37
 2022-09-29 05:04:28 -07:00
d0cd
e63a9d4f4e
Merge pull request #2103 from AleoHQ/dependabot/cargo/testnet3/console-0.15.2 
Bump console from 0.15.1 to 0.15.2
 2022-09-29 05:03:48 -07:00
dependabot[bot]
58dfd11cf8
Bump console from 0.15.1 to 0.15.2 
Bumps [console](https://github.com/console-rs/console) from 0.15.1 to 0.15.2.
- [Release notes](https://github.com/console-rs/console/releases)
- [Changelog](https://github.com/console-rs/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/console-rs/console/compare/0.15.1...0.15.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-29 10:28:35 +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
dependabot[bot]
bc3698b54c
Bump thiserror from 1.0.36 to 1.0.37 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.36 to 1.0.37.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.36...1.0.37)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-28 10:14:34 +00:00