ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 05:45:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,258 Commits 44 Branches 42 Tags 359 MiB
arc3
Commit Graph

1904 Commits

Author SHA1 Message Date
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
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
97b299ac8a Update revs 2022-10-06 11:31:58 -07:00
Pranav Gaddamadugu
d7813923d2 More examples 2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu
028a01efde More fixes 2022-10-05 23:51:56 -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
8872c3d53f Remove use of default network domain 2022-10-04 19:11:36 -07:00
Pranav Gaddamadugu
c0c5e58011 Add checks for function calls 2022-10-03 16:18:58 -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
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
508c54dd92 Rename errors 2022-09-30 10:16:05 -07:00
dependabot[bot]
4b6b1f804b
Bump serde from 1.0.144 to 1.0.145 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.144 to 1.0.145.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.144...v1.0.145)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-23 10:13:44 +00:00
Collin Chin
e8b086bc81
Merge pull request #2086 from AleoHQ/dependabot/cargo/testnet3/itertools-0.10.5 
Bump itertools from 0.10.4 to 0.10.5
 2022-09-21 15:20:19 -07:00
Pranav Gaddamadugu
0a481e543e Parse async, require it to precede finalize 2022-09-21 13:18:36 -07:00
Pranav Gaddamadugu
0782c03bf9 Lex async token 2022-09-21 12:20:05 -07:00
Pranav Gaddamadugu
2abfe06c9d Add async token 2022-09-21 12:19:44 -07:00
Pranav Gaddamadugu
72c012f4c2 Add async symbol 2022-09-21 12:19:06 -07:00
dependabot[bot]
35c7f37ded
Bump itertools from 0.10.4 to 0.10.5 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.4 to 0.10.5.
- [Release notes](https://github.com/rust-itertools/itertools/releases)
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-21 10:19:41 +00:00
collin
bdaf486604 fix bug and regen tests 2022-09-20 22:05:49 -07:00
collin
2cd1ec82ba remove unused code 2022-09-20 21:59:53 -07:00
Pranav Gaddamadugu
f7b5e213e6 Battleship example compiles 2022-09-20 21:45:16 -07:00
Pranav Gaddamadugu
8f5e779a6a Compiler builds 2022-09-20 20:29:59 -07:00
collin
48530523d9 wip need to finish external inputs 2022-09-20 18:26:22 -07:00
collin
368d4c530c push code to parse returning external records + battleship example 2022-09-20 17:17:43 -07:00
collin
0a86a05d20 push code to parse external calls 2022-09-20 13:58:52 -07:00
Collin Chin
bbd41f81b6
Merge pull request #2073 from AleoHQ/fix/core-function-composite-data-types 
Enable core function calls on composite data types.
 2022-09-20 00:14:22 +02:00
Collin Chin
2cb3f570c9
Merge pull request #2072 from AleoHQ/fix/tic-tac-toe 
Fix tictactoe example.
 2022-09-20 00:14:11 +02:00
Pranav Gaddamadugu
792867406b Allow records and circuits for core functions 2022-09-18 02:32:35 +02:00
Pranav Gaddamadugu
8aa968ab1d Note 2022-09-17 19:22:24 +02:00
Pranav Gaddamadugu
611e65554d Cleanup 2022-09-17 19:17:01 +02:00
Pranav Gaddamadugu
7a29c76805 Regen expectations 2022-09-17 19:02:25 +02:00
Pranav Gaddamadugu
c202878013 Fix for nested flattening 2022-09-17 18:58:40 +02:00
collin
ab43581d84 use crates.io snarkvm dep 2022-09-16 18:31:56 +02: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
62659507c5 clippy 2022-09-16 17:48:26 +02:00