ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-29 18:41:16 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,229 Commits 53 Branches 44 Tags 331 MiB
b4f28bf692
Commit Graph

1006 Commits

Author SHA1 Message Date
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
evan-schott
b85ace8b27 port snarkVM test 2024-04-29 14:36:46 -07:00
evan-schott
760fc3cdba regen 2024-04-23 14:24:08 -07:00
evan-schott
1e0afc20c1 Passing network.id test 2024-04-23 14:19:09 -07:00