Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Feature] Native tests. #28449

Open
wants to merge 93 commits into
base: symbols-tframework
Choose a base branch
from
Open

[Feature] Native tests. #28449

wants to merge 93 commits into from

Conversation

d0cd
Copy link
Collaborator

@d0cd d0cd commented Nov 19, 2024 •
edited
Loading

This PR:

  • introduces scaffolding for the Leo test framework
  • introduces dev_dependencies to program.json
  • updates the leo add and leo remove CLI
  • adds support for native tests, which are indicated by the @native_test annotation.

ungaro and others added 30 commits September 10, 2024 18:19
@ungaro
new version notification
d0b38c5
@ungaro
formatting updates
85a61ea
@ungaro
handle edge case
30f936e
@ungaro
satisfy clippy warnings
836da49
@d0cd
Merge remote-tracking branch 'ungaro/alp/new-version-notification' in…
27630b8 
…to feat/cli-new-version-notification
@d0cd
Address comments in review
bc848ef
@d0cd
Introduce StaticAnalyzer pass; move future await checking to this pass
b87a79d
@d0cd
Add check for futures awaited out of order
1379843
@d0cd
Cleanup
5501a40
@d0cd
Add check for complex async call
d3b0780
@d0cd
Fix and regen some expectations
f27d157
@d0cd
Fix and pass tests
87072d7
@d0cd
Regen expectations
ec67f3d
@d0cd
Merge pull request #28440 from ProvableHQ/feat/cli-new-version-notifi…
166a3c3 
…cation

[Feature] CLI Update Notification.
@d0cd
Merge pull request #28443 from ProvableHQ/feat/analyzers
bcdb1f5 
[Fix] Introduce `StaticAnalysis` pass and add checks on usage of async code for safety.
@d0cd
Add scaffolding for leo test
77d646c
@d0cd
Add dev dependencies to CLI and Manifest
7c4f9bd
@d0cd
Add build_tests flag to compiler options
53abcdc
@d0cd
WIP
7a19c83
@d0cd
Fix codecov CI
b101f55
@d0cd
Update leo-executable CI
2bf7bfa
@d0cd
Update examples CI script
82585fa
@d0cd
Update examples
216b52a
@d0cd
Attempt to sanitize mtimes
c532c01
@d0cd
Minor tweaks
16b882b
@d0cd
Fix usage of cargo-mtime
2d15fb5
@d0cd
Fix
4323c1e
@d0cd
Make watched files in build script more granular
53319d9
@d0cd
More granularity on tracked changes
b16d9ac
@d0cd
Merge pull request #28450 from ProvableHQ/fix/ci
8d31693 
[Fix] Minor fixes to Leo CI.
d0cd and others added 30 commits November 26, 2024 09:38
@d0cd
WIP
7ea23ca
@d0cd
WIP
17c8ad3
@d0cd
Fix build pathway for tests
c6e49ad
@d0cd
Test flow up to loop unrolling working
ff4e46f
@d0cd
Merge pull request #28466 from ProvableHQ/no-futures-in-structs
0f406a5 
Error on futures in arrays, structs, or mappings.
@cuibuwei
chore: remove redundant words and fix some typos in comment
5564edc 
Signed-off-by: cuibuwei <[email protected]>
@d0cd
Update snarkVM rev
ae1d840
@d0cd
Merge pull request #28468 from ProvableHQ/update/snarkvm
2813d5f 
[Update] snarkVM rev to v1.1.0
@d0cd
chore(leo): bump version for new release
b66eb4b
@d0cd
Fix CI
00c54b0
@d0cd
Merge pull request #28470 from ProvableHQ/fix/windows-ci
2f49d3b 
Fix windows release CI.
@d0cd
Select fee based on consensus height
16d71a8
@d0cd
Better defaults
fc882c1
@d0cd
Remove Test and use Program; tests are programs
8f0b836
@d0cd
Delete temp, add to gitignore
1623a77
@d0cd
Simplify default test definition, add dev dependencies to retriever
3152050
@mikebenfield
Typecheck block.height.
385d17f
@d0cd
Merge pull request #28474 from ProvableHQ/height_type_check
76a6fbc 
Typecheck block.height.
@mikebenfield
Error for future parameters except on async functions.
a81b97d 
Also, fix the span for function inputs.
@mikebenfield
always add Future arguments to symbol table
9d52b65 
This way we don't get misleading error messages.
@mikebenfield
Fix future consumption checking.
7b88c3e 
Now futures are tracked properly, whether they're stored directly
in a variable or in a tuple.

Also, error if a future is used improperly.

Fixes #28471
@d0cd
Merge pull request #28467 from cuibuwei/mainnet
b90f958 
chore: remove redundant words and fix some typos in comment
@d0cd
Merge pull request #28469 from ProvableHQ/fix-futures
402a8e4 
Fix futures
@d0cd
Allow base_fee option in CLI
582d3b1
@d0cd
Fix leo execution CLI
26234fd
@mikebenfield
Debugger.
4f45f42
@d0cd
Merge pull request #28441 from ProvableHQ/interpreter
aa6a5f3 
Debugger.
@d0cd
Merge pull request #28473 from ProvableHQ/fix/executions-fees
c7aac4c 
[Fix] Select fee based on consensus height
@d0cd
chore(leo): bump version for new release
26ce60d
@d0cd
Merge branch 'mainnet' into feat/compile-tests
2cf9934
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@d0cd @ungaro @mikebenfield @cuibuwei