ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 13:25:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,246 Commits 53 Branches 44 Tags 331 MiB
46340db689
Commit Graph

7246 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
dependabot[bot]
46340db689
Bump serde from 1.0.213 to 1.0.214 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.213 to 1.0.214.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.213...v1.0.214)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-29 10:45:36 +00:00
d0cd
185faa56f5
Merge pull request #28423 from ProvableHQ/dependabot/cargo/mainnet/regex-1.11.1 
Bump regex from 1.11.0 to 1.11.1
 2024-10-26 15:32:51 -07:00
dependabot[bot]
30607759c8
Bump regex from 1.11.0 to 1.11.1 
Bumps [regex](https://github.com/rust-lang/regex) from 1.11.0 to 1.11.1.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.11.0...1.11.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-25 11:04:46 +00:00
d0cd
5edcfa7426
Merge pull request #28422 from ProvableHQ/docs/fix-links 
[Docs] Fix broken links
 2024-10-24 11:37:30 -07:00
Pranav Gaddamadugu
4f1e38fdb3 Fix broken links 2024-10-23 22:16:52 -07:00
d0cd
1a2e5d9473
Merge pull request #28421 from ProvableHQ/toml-output 
Don't panic when outputting TOML arrays in test failures.
 2024-10-23 16:51:04 -07:00
d0cd
c505dda482
Merge pull request #28417 from ProvableHQ/empty-closure 
Handle closures that are invalid for Aleo.
 2024-10-23 16:42:27 -07:00
Michael Benfield
0a5a6985f1 Handle closures that are invalid for Aleo. 
In particular,

1. Insert a dummy instruction for empty closures
and finalizers. SnarkVM won't parse these with no instructions.

2. Give an error for Leo functions with
no parameters (rather than just generating
an invalid Aleo closure).

Fixes #28401
 2024-10-23 12:03:12 -07:00
dependabot[bot]
0cda2c20be Bump thiserror from 1.0.64 to 1.0.65 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.64 to 1.0.65.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.64...1.0.65)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 11:15:33 -07:00
dependabot[bot]
f2d038e6b7 Bump serde from 1.0.211 to 1.0.213 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.211 to 1.0.213.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.211...v1.0.213)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 10:47:44 -07:00
dependabot[bot]
acfe23423b Bump anyhow from 1.0.90 to 1.0.91 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.90 to 1.0.91.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.90...1.0.91)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 10:47:12 -07:00
Michael Benfield
322f2f7ce4 Don't panic when outputting TOML arrays in test failures. 
TOML can't serialize arrays as the top level type.
Some of our test cases have TOML arrays as expected output.
Thus sometimes failed tests will panic when trying to report
expected and found output. Instead, we now manually "serialize"
TOML arrays.
 2024-10-23 10:31:14 -07:00
d0cd
114e215777
Merge pull request #28413 from ProvableHQ/extra-lines 
Consistently make 1 empty line between output items in codegen.
 2024-10-22 18:20:18 -07:00
dependabot[bot]
a15db14c01 Bump anyhow from 1.0.89 to 1.0.90 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.89 to 1.0.90.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.89...1.0.90)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-22 16:19:32 -07:00
dependabot[bot]
7b44b60d4c Bump serde from 1.0.210 to 1.0.211 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.210 to 1.0.211.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.210...v1.0.211)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-22 16:18:40 -07:00
d0cd
7174084836
Merge pull request #28412 from ProvableHQ/test-format 
Test format
 2024-10-21 17:16:36 -07:00
Michael Benfield
da8ef9b779 Consistently make 1 empty line between output items in codegen. 2024-10-21 17:00:21 -07:00
Michael Benfield
b4f28bf692 Don't hash bytecode output for tests. 2024-10-21 16:19:31 -07:00
Michael Benfield
6694e058c4 Switch to TOML for tests instead of YAML. 2024-10-21 16:08:46 -07:00
d0cd
64445fb113
Merge pull request #28404 from ProvableHQ/remove-expectations 
Remove unused '.out' expectations files.
 2024-10-20 14:03:43 -07:00
d0cd
2fb29aaf5b
Merge pull request #28407 from ProvableHQ/args 
More cli fixes.
 2024-10-20 14:03:20 -07:00
Michael Benfield
13c145b22d More cli fixes. 2024-10-18 15:23:10 -07:00
d0cd
86783da7c6
Merge pull request #28392 from ProvableHQ/ifelse 
Improve handling of guards while flattening.
 2024-10-18 14:09:09 -07:00
Michael Benfield
8863974fea Remove unused '.out' expectations files. 
A couple of these seem to have been inadvertently left behind
in switching away from the finalize syntax. Others never had a
corresponding '.leo' test.
 2024-10-17 16:01:01 -07:00
Michael Benfield
5e7591fec9 Improve handling of guards while flattening. 
Specifically three changes are made:

1. Cache Anded together chains of conditionals for early returns.
This prevents quadratic code being generated in the face of a chain
of ifs like

```
if a { return 0u32; } else if b { return 1u32 } else if ...
```

2. Take into account early returns for asserts, and cache the
when reconstructing the assert, as with caching them for early returns.

Fixes #28386, #28387
 2024-10-17 10:03:08 -07:00
d0cd
76b8654438
Merge pull request #28400 from ProvableHQ/rename-arggroups 
Fixes to clap CLI code.
 2024-10-16 17:13:33 -07:00
Michael Benfield
1f900bc938 Fixes to clap CLI code. 
Two types of changes:

Many types that drive Parser from clap are renamed - this is
because clap gives errors about ArgGroups sharing the same name
otherwise, but mysteriously only when using the `dev` profile.

Some argument groups, in particular those under Query, had various
conflicts that clap rejected, mostly when two arguments shared the
same short name. Those have been resolved.
 2024-10-16 13:34:02 -07:00
d0cd
00fcc078da
Merge pull request #28398 from ProvableHQ/only-testnet 
only_testnet feature.
 2024-10-15 17:11:57 -07:00
d0cd
e7d16457db
Update Cargo.toml with TODO 
Signed-off-by: d0cd <23022326+d0cd@users.noreply.github.com>
 2024-10-15 13:59:33 -07:00
d0cd
3d21dd5f95
Merge pull request #28396 from ProvableHQ/help-message 
Fix help messages for command line options.
 2024-10-15 13:32:38 -07:00
d0cd
75a0277572
Merge pull request #28397 from ProvableHQ/lto-off 
Turn off LTO for dev and test builds.
 2024-10-15 10:09:06 -07:00
Michael Benfield
9566cff097 only_testnet feature. 
This feature is intended only to improve compiles times while
developing Leo. It causes only testnet code to be compiled, leaving
out canary and mainnet. Consequently compile times are much improved.
 2024-10-12 18:28:27 -07:00
Michael Benfield
510e829608 Turn off LTO for dev and test builds. 
This results in a penalty to full compilation time,
but a dramatic speedup to partial recompilation time.
 2024-10-12 16:39:07 -07:00
Michael Benfield
29534d8c46 Fix help messages for command line options. 2024-10-11 12:44:58 -07:00
Michael Benfield
a55dfe29e8 Clean up dependencies. 
Remove unused deps. Use workspace deps where appropriate.
 2024-10-10 12:56:17 -07:00
Michael Benfield
5a0f39cd9f hex, octal, and binary literals for integers. 
Note that they can't be used on the command line since SnarkVM
does the parsing there.
 2024-10-10 08:26:58 -07:00
d0cd
8854b56fdf
Merge pull request #28384 from ProvableHQ/refactor/leo-examples 
[Refactor] Remove `examples` and add it back in as a submodule
 2024-10-09 17:01:04 -07:00
d0cd
dbf4acaee5
Merge pull request #28381 from ProvableHQ/struct 
Require comma separators (and nothing else) between struct members.
 2024-10-09 17:00:29 -07:00
Michael Benfield
9ea9aeb9c8 Require comma separators (and nothing else) between struct members. 
Fixes #28377, #28379
 2024-10-09 14:47:40 -07:00
Pranav Gaddamadugu
af6e9a8eae Update README 2024-10-09 14:01:23 -07:00
d0cd
305a4143c7
Merge pull request #28385 from ProvableHQ/dependabot/cargo/mainnet/clap-4.5.20 
Bump clap from 4.5.19 to 4.5.20
 2024-10-09 11:21:48 -07:00
dependabot[bot]
655247b86b
Bump clap from 4.5.19 to 4.5.20 
Bumps [clap](https://github.com/clap-rs/clap) from 4.5.19 to 4.5.20.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/clap_complete-v4.5.19...clap_complete-v4.5.20)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-09 10:31:47 +00:00
Pranav Gaddamadugu
c89f1eb307 More fixes to CI 2024-10-07 17:40:40 -07:00
Pranav Gaddamadugu
a4183120e2 Try different submodule update 2024-10-07 17:32:57 -07:00
Pranav Gaddamadugu
5b85ea8551 Checkout submodules in CI 2024-10-07 17:26:03 -07:00
Pranav Gaddamadugu
d2de53e86e Remove examples and add it back in as a submodule 2024-10-07 16:25:58 -07:00
d0cd
0d2eb0223a
Merge pull request #28380 from ProvableHQ/boolean 
Display Type::Boolean as `bool`, not `boolean`.
 2024-10-08 02:25:42 +08:00
Michael Benfield
2bbff6d0a8 Display Type::Boolean as bool, not boolean. 
Leo calls this `bool`, so it's potentially confusing when error
messages say `boolean`.
 2024-10-04 15:43:52 -07:00
d0cd
b391f51250
Merge pull request #28362 from ProvableHQ/dependabot/cargo/mainnet/reqwest-0.12.8 
Bump reqwest from 0.12.7 to 0.12.8
 2024-10-04 23:25:17 +08:00
d0cd
105b53822c
Merge pull request #28368 from ProvableHQ/dependabot/cargo/mainnet/clap-4.5.19 
Bump clap from 4.5.17 to 4.5.19
 2024-10-04 23:24:56 +08:00