ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,717 Commits 53 Branches 44 Tags 331 MiB
2c391055af
Commit Graph

396 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
2c391055af chore(leo): bump version for new release 2024-03-29 17:53:25 -07:00
evan-schott
1434e0a610 style 2024-03-29 14:17:29 -07:00
evan-schott
94b5d927d7 Refactor LocatorExpression 2024-03-29 14:17:29 -07:00
evan-schott
ff4edada7e clippy 2024-03-29 14:17:28 -07:00
evan-schott
bc7e6c3fa2 Update AST 2024-03-29 14:17:28 -07:00
evan-schott
9d84b6cc51 Struct -> Composite 2024-02-09 15:39:19 -08:00
evan-schott
9dd7b7e992 Update compiler/ast/src/expressions/call.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-02-09 15:38:51 -08:00
evan-schott
fb8620d635 Support for doubly nested external records in function signature 2024-02-09 15:38:40 -08:00
evan-schott
80891836ee Change representation of external functions in AST 2024-02-09 15:38:06 -08:00
evan-schott
4b8131c036 Change representation of external records in AST 2024-02-09 15:37:05 -08:00
evan-schott
278f59bba7 usage changes 2024-02-09 15:37:04 -08:00
evan-schott
c3c5ff152e modify CallExpression AST representation of external functions 2024-02-09 15:37:04 -08:00
dependabot[bot]
1a7b1d17e0
Bump itertools from 0.12.0 to 0.12.1 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.12.0 to 0.12.1.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.12.0...v0.12.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-30 10:10:55 +00:00
evan-schott
9341eaa24b label input external records consistently 2024-01-26 20:10:23 -08:00
dependabot[bot]
cc76430f9d
Bump smallvec from 1.12.0 to 1.13.1 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.12.0 to 1.13.1.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.12.0...v1.13.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-22 10:41:13 +00:00
d0cd
e0aed142fc
Merge pull request #27446 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.12.0 
Bump smallvec from 1.11.2 to 1.12.0
 2024-01-16 09:33:32 +08:00
Pranav Gaddamadugu
d1a1b258ec Remove InputAST from compiler 2024-01-15 15:45:07 -08:00
dependabot[bot]
87e9d323b0
Bump smallvec from 1.11.2 to 1.12.0 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.2 to 1.12.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.2...v1.12.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-15 10:05:18 +00:00
evan-schott
28dae76945 CLI fix 2024-01-03 13:13:32 -08:00
evan-schott
902387d639
Merge branch 'testnet3' into feat/stubs 
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-01-03 15:22:04 -05:00
Pranav Gaddamadugu
4730bb0fb4 Clippy 2023-12-04 18:44:03 -08:00
Andrew Rosborough
81b90017c3 #15513 Fix bug with parsing U32<N> from string into usize. 2023-12-04 13:56:51 -05:00
evan-schott
3ff41db376 Default trait for stubs 2023-11-30 16:10:26 -08:00
evan-schott
cd3ae369fc Clippy fix 2023-11-30 16:10:26 -08:00
evan-schott
c94c2c33b6 mapping & nit fix 2023-11-30 15:48:25 -08:00
evan-schott
313a5e45a9 add finalize 2023-11-30 15:47:34 -08:00
evan-schott
11851d4b8d support arrays as inputs 2023-11-30 15:46:48 -08:00
evan-schott
ce160d6882 clippy 2023-11-30 11:43:08 -08:00
evan-schott
b5a9eed04c From traits to from ProgramCore->AST 2023-11-30 11:39:19 -08:00
evan-schott
aa37895d91 mess 2023-11-30 11:38:39 -08:00
evan-schott
400702e900 add finalize_stub field to function_stub AST 2023-11-30 10:52:38 -08:00
evan-schott
f1a19b2a03 rebase fix 2023-11-30 10:52:16 -08:00
evan-schott
bd2e3de733 Allow imports & Variant::Function functions in stubs 2023-11-30 10:52:16 -08:00
evan-schott
ae6fda3b52 Update AST 2023-11-30 10:52:15 -08:00
evan-schott
cf7baa0132 Update AST to include FunctionStub and Stub 2023-11-30 10:52:15 -08:00
Pranav Gaddamadugu
4a0228bcac Update CI rust version 2023-11-27 17:18:48 -08:00
Pranav Gaddamadugu
afc953cd0b Clippy + fmt 2023-11-22 17:34:20 -08:00
Pranav Gaddamadugu
1afa68a66e Remove is_main 2023-11-22 17:33:42 -08:00
d0cd
5c6a6315e8
Merge pull request #5085 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.11.2 
Bump smallvec from 1.11.1 to 1.11.2
 2023-11-20 18:10:35 -08:00
dependabot[bot]
ec6be21abf
Bump itertools from 0.11.0 to 0.12.0 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.11.0 to 0.12.0.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.11.0...v0.12.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-15 10:11:57 +00:00
dependabot[bot]
909aaf6904
Bump smallvec from 1.11.1 to 1.11.2 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.1 to 1.11.2.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.1...v1.11.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-11 20:19:20 +00:00
Pranav Gaddamadugu
6756320fd8 Regen expectations 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
8ca1de3951 Refactor Reconstructor 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
5b2e73d419 Refactor TupleTyple 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
072ab7b930 Change PositiveNumber to NonzeroNumber 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
7e471b7748 Add type checking for arrays 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
c94acdebbd Support array access expressions in AST and visitors 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
5f75ae8c49 Support array expressions in AST and visitors 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
e372710d22 Introduce ArrayExpression 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
d8a7f74508 Add support for parsing the array type 2023-10-27 18:54:56 -04:00