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

1009 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
94dab70da8 Update deps 2024-10-23 13:30:50 -07:00
Pranav Gaddamadugu
fa0b3ffff7 Clean up docs workflow 2024-10-22 18:12:22 -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
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
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
Michael Benfield
9ea9aeb9c8 Require comma separators (and nothing else) between struct members. 
Fixes #28377, #28379
 2024-10-09 14:47:40 -07: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
94579410c4
Merge pull request #28373 from ProvableHQ/issue-28370-resolve 
Add function inputs to the type table.
 2024-10-04 07:50:38 +08:00
d0cd
0dea30b3de
Merge pull request #28359 from ProvableHQ/dependabot/cargo/mainnet/regex-1.11.0 
Bump regex from 1.10.6 to 1.11.0
 2024-10-04 07:29:58 +08:00
Michael Benfield
f283ff2671 Address clippy lints. 2024-10-03 13:18:19 -07:00
Michael Benfield
2919f0bfd0 Add function inputs to the type table. 
Fixes #28370
 2024-10-03 11:45:49 -07:00
dependabot[bot]
a79a454751
Bump regex from 1.10.6 to 1.11.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.10.6 to 1.11.0.
- [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.10.6...1.11.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-02 15:10:56 +00: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]
5369fa3550
Bump backtrace from 0.3.73 to 0.3.74 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.73 to 0.3.74.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.73...0.3.74)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-09-09 10:32:44 +00:00
Pranav Gaddamadugu
82eba55f8d chore(leo): bump version for new release 2024-09-04 15:18:01 -07:00
Pranav Gaddamadugu
819bee3aa7 Update tests 2024-09-04 12:43:37 -07:00
Pranav Gaddamadugu
7dfecd41b1 Update LicenseHeader and Cargo metadata 2024-09-04 11:48:02 -07:00
evan-schott
dcf98c4fb0 Add test 2024-08-09 19:33:32 -07: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
evan-schott
ec3c92b4bf add nested external record test 2024-07-08 12:11:23 -07:00
evan-schott
edb3c8ea16
Merge pull request #28198 from ProvableHQ/fix/parser-error-data 
Fix expected list in parser error.
 2024-07-08 11:41:36 -07:00
Alessandro Coglio
9639c5b1c1 Adjust some text expectations. 2024-07-08 09:48:50 -07:00
Pranav Gaddamadugu
6404d22b09 Fix 2024-07-02 18:10:54 -07:00
d0cd
e8c31833aa
Merge pull request #28085 from ProvableHQ/dependabot/cargo/mainnet/backtrace-0.3.73 
Bump backtrace from 0.3.72 to 0.3.73
 2024-06-12 13:17:59 -07:00
evan-schott
d725f37fdd add test 2024-06-12 11:06:13 -07:00
dependabot[bot]
bd1c293123
Bump backtrace from 0.3.72 to 0.3.73 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.72 to 0.3.73.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.72...0.3.73)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-06-12 10:36:54 +00:00
Pranav Gaddamadugu
7584fa7919 Regenerate expectations 2024-06-08 17:42:37 -07:00
Pranav Gaddamadugu
baabbe512f Add failing test case 2024-06-08 17:40:47 -07:00
dependabot[bot]
cfb3f3c0c7
Bump backtrace from 0.3.71 to 0.3.72 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.71 to 0.3.72.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.71...0.3.72)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-29 10:18:46 +00:00
evan-schott
1934a23eb2 add test 2024-05-20 13:49:33 -07:00
Pranav Gaddamadugu
f75904710d Fix 2024-05-14 18:05:03 -07:00
Pranav Gaddamadugu
6f48a4a01c Fix flattening 2024-05-14 17:28:53 -07:00
Pranav Gaddamadugu
962526dab5 Fix flattening 2024-05-14 15:20:28 -07:00
Pranav Gaddamadugu
e4e228c419 Merge branch 'mainnet' into update/from-testnet3 2024-05-14 14:47:33 -07:00
Pranav Gaddamadugu
11b5502eac Merge branch 'testnet3' into update/from-testnet3 2024-05-14 13:39:40 -07:00
Pranav Gaddamadugu
f29bd71185 Make compiler generic over Network 2024-05-14 09:49:03 -07:00
Pranav Gaddamadugu
65afb54a5b chore(leo): bump version for new release 2024-05-13 13:36:45 -07:00
Pranav Gaddamadugu
5cb9f65349 Regen expectations 2024-05-13 11:15:28 -07:00
Pranav Gaddamadugu
d2b1d055ce Update tests and fix 2024-05-13 11:09:15 -07:00
Pranav Gaddamadugu
c378e090d7 Merge branch 'mainnet' into update/from-testnet3 2024-05-13 10:10:31 -07:00
evan-schott
37d0b0e367 Change block height expectations so that execution test passes 2024-04-30 12:01:16 -07:00
Pranav Gaddamadugu
3b3a3bff02 Compatibility fixes 2024-04-30 13:51:09 -04:00
Pranav Gaddamadugu
d27ba5fa31 Merge branch 'testnet3' into update/from-testnet3 2024-04-30 13:50:06 -04:00