ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-26 08:30:59 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,247 Commits 54 Branches 44 Tags 331 MiB
ed068e1636
Commit Graph

156 Commits

Author SHA1 Message Date
Michael Benfield
a55dfe29e8 Clean up dependencies. 
Remove unused deps. Use workspace deps where appropriate.
 2024-10-10 12:56:17 -07:00
Michael Benfield
f283ff2671 Address clippy lints. 2024-10-03 13:18:19 -07:00
Pranav Gaddamadugu
174dae47db Update rustfmt.toml to latest nightly and apply changes 2024-10-01 18:19:39 -07:00
Pranav Gaddamadugu
d746c427cc chore(leo): bump version for new release 2024-09-19 08:00:35 +08:00
dependabot[bot]
6b3adbd65d
Bump serde from 1.0.209 to 1.0.210 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.209 to 1.0.210.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.209...v1.0.210)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-09-09 10:20:47 +00:00
Pranav Gaddamadugu
82eba55f8d chore(leo): bump version for new release 2024-09-04 15:18:01 -07:00
Pranav Gaddamadugu
7dfecd41b1 Update LicenseHeader and Cargo metadata 2024-09-04 11:48:02 -07:00
dependabot[bot]
c9bc8e907e
Bump serde from 1.0.208 to 1.0.209 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.208 to 1.0.209.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.208...v1.0.209)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-08-26 11:02:23 +00:00
dependabot[bot]
8152706bcf
Bump serde from 1.0.207 to 1.0.208 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.207 to 1.0.208.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.207...v1.0.208)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-08-16 10:10:01 +00:00
dependabot[bot]
ce434a1051
Bump serde from 1.0.204 to 1.0.207 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.204 to 1.0.207.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.204...v1.0.207)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-08-13 10:12:05 +00:00
Pranav Gaddamadugu
acb7b61feb chore(leo): bump version for new release 2024-08-07 01:10:09 -04:00
Pranav Gaddamadugu
140a04072d chore(leo): bump version for new release 2024-07-08 13:53:16 -07:00
dependabot[bot]
6c1eb6177f
Bump serde from 1.0.203 to 1.0.204 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.203 to 1.0.204.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.203...v1.0.204)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-07-08 10:44:22 +00:00
Alessandro Coglio
b4a5803fef [doc] Fix, improve, extend some doc. 2024-06-14 09:37:28 -07:00
dependabot[bot]
5d8494195b
Bump serde from 1.0.202 to 1.0.203 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.202 to 1.0.203.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.202...v1.0.203)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-27 11:02:23 +00:00
dependabot[bot]
56b7d92689
Bump serde from 1.0.201 to 1.0.202 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.201 to 1.0.202.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.201...v1.0.202)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-15 10:13:57 +00:00
Pranav Gaddamadugu
11b5502eac Merge branch 'testnet3' into update/from-testnet3 2024-05-14 13:39:40 -07:00
Pranav Gaddamadugu
65afb54a5b chore(leo): bump version for new release 2024-05-13 13:36:45 -07:00
Pranav Gaddamadugu
c378e090d7 Merge branch 'mainnet' into update/from-testnet3 2024-05-13 10:10:31 -07:00
dependabot[bot]
fdaaf1046e
Bump serde from 1.0.200 to 1.0.201 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.200 to 1.0.201.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.200...v1.0.201)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-08 10:55:29 +00:00
dependabot[bot]
1e68a919c0
Bump serde from 1.0.199 to 1.0.200 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.199 to 1.0.200.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.199...v1.0.200)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-02 10:15:09 +00:00
Pranav Gaddamadugu
d27ba5fa31 Merge branch 'testnet3' into update/from-testnet3 2024-04-30 13:50:06 -04:00
dependabot[bot]
39760e4463
Bump serde from 1.0.198 to 1.0.199 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.198 to 1.0.199.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.198...v1.0.199)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-29 10:53:49 +00:00
evan-schott
5a060a4254 support for network.id 2024-04-22 18:34:31 -07:00
dependabot[bot]
2b8676e7cf
Bump serde from 1.0.197 to 1.0.198 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.197 to 1.0.198.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.197...v1.0.198)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-17 10:57:52 +00:00
evan-schott
17c35d11af Refactor all tests to get rid of finalize syntax 2024-04-10 15:56:30 -07:00
evan-schott
915ced57bd Switch explicit future typing syntax to match rust 2024-04-10 11:48:41 -07:00
evan-schott
a2fce7a968 misc revisions 2024-04-09 11:34:16 -07:00
evan-schott
a09a6fae85
Update compiler/span/src/symbol.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:46:15 -07:00
evan-schott
59e7c6c35c
Update compiler/span/src/symbol.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:43:35 -07:00
evan-schott
abd5235091 merge 2024-04-03 14:37:05 -07:00
Pranav Gaddamadugu
2c391055af chore(leo): bump version for new release 2024-03-29 17:53:25 -07:00
dependabot[bot]
9ccbc82544
Bump serde from 1.0.196 to 1.0.197 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.196 to 1.0.197.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.196...v1.0.197)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-19 00:56:38 +00:00
evan-schott
2cc115d3ab no longer recognize finalize as symbol so can now use it for naming functions 2024-03-08 15:07:56 -08:00
evan-schott
863a54391c Add "Future", "Await", "Async", remove "Finalize", "then" tokens 2024-02-12 22:40:10 -08:00
dependabot[bot]
ce0f201fe7
Bump serde from 1.0.195 to 1.0.196 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.195 to 1.0.196.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.195...v1.0.196)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-29 10:40:15 +00:00
d0cd
7ac50d83ed
Merge pull request #24797 from stanlagermin/fix_typos 
fix typos
 2024-01-22 14:35:56 -08:00
d0cd
e6d1a23402
Merge branch 'testnet3' into testnet3 
Signed-off-by: d0cd <23022326+d0cd@users.noreply.github.com>
 2024-01-16 12:08:10 +08:00
d0cd
8cdab3b774
Merge pull request #2881 from AleoHQ/feat/stubs 
[Feature] Support importing local and remote programs.
 2024-01-10 10:01:38 +08:00
dependabot[bot]
22550184de
Bump serde from 1.0.194 to 1.0.195 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.194 to 1.0.195.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.194...v1.0.195)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-08 10:49:32 +00:00
vuittont60
3b346c96d2
Fix typo 2024-01-08 11:27:22 +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
dependabot[bot]
fa98671106
Bump serde from 1.0.193 to 1.0.194 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.193 to 1.0.194.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.193...v1.0.194)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-02 10:29:26 +00:00
stanlagermin
31b4868ed0 fix typos 2023-12-21 14:55:52 +07:00
evan-schott
72cf2e7517 Add "stub" token 2023-11-30 10:52:15 -08:00
dependabot[bot]
56681ab890
Bump serde from 1.0.190 to 1.0.193 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.190 to 1.0.193.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.190...v1.0.193)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-21 02:12:58 +00:00
Collin Chin
eb12c7e475 chore(leo): bump version for new release 2023-10-19 21:02:05 -07:00
dependabot[bot]
817781b39d
Bump serde from 1.0.188 to 1.0.189 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.188 to 1.0.189.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.188...v1.0.189)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-13 10:05:55 +00:00
evan-schott
38fdb43bd3 recognize "const" as token 2023-10-04 12:54:35 -07:00
Pranav Gaddamadugu
44658ca917 Rename parent to signer 2023-09-28 23:34:18 -04:00