Pranav Gaddamadugu
ed068e1636
More fixes
2024-10-22 13:59:21 -07:00
Pranav Gaddamadugu
f961092a03
More updates
2024-10-22 13:51:11 -07:00
Pranav Gaddamadugu
0a0f38a640
More fixes
2024-10-22 13:45:26 -07:00
Pranav Gaddamadugu
dfd81a53c8
More fixes
2024-10-22 13:41:12 -07:00
Pranav Gaddamadugu
4393fff45e
CI fixes
2024-10-22 13:24:14 -07:00
Pranav Gaddamadugu
031a9ba415
Set MSRV
2024-10-22 13:14:23 -07:00
Pranav Gaddamadugu
48bb152072
Remove workflows
2024-10-22 11:48:28 -07:00
Pranav Gaddamadugu
fd9f74fe34
Add Linux and MacOS CI
2024-10-22 11:46:39 -07:00
Pranav Gaddamadugu
a016d51bba
More improvements to Windows CI
2024-10-22 10:10:59 -07:00
Pranav Gaddamadugu
15e2bc5d8b
Enable better caching
2024-10-22 09:52:20 -07:00
Pranav Gaddamadugu
85be7ba3b8
Update CI
2024-10-22 08:46:12 -07:00
Pranav Gaddamadugu
93d3c9302b
Optimize
2024-10-22 08:06:54 -07:00
Pranav Gaddamadugu
54c358e46e
Enable LTO in testing
2024-10-21 18:59:50 -07:00
Pranav Gaddamadugu
6419f95d92
Extend no_output_timeout
2024-10-21 18:34:03 -07:00
Pranav Gaddamadugu
1d06a2a54e
Fix accidental omission
2024-10-21 18:31:49 -07:00
Pranav Gaddamadugu
3751961888
Move integration tests under one module
2024-10-21 18:26:17 -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
Pranav Gaddamadugu
8a3f69381e
Fix
2024-10-21 15:36:16 -07:00
Pranav Gaddamadugu
33168c1e7a
Update CI conf
2024-10-21 15:27:11 -07:00
Pranav Gaddamadugu
9216da8dab
Fix windows
2024-10-21 15:06:30 -07:00
Pranav Gaddamadugu
77598df08e
Add windows integration tests to CircleCI
2024-10-21 14:42:23 -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
