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.

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

[move] Update move-stdlib deps #62

Merged
merged 11 commits into from
Oct 12, 2023

Conversation

hemulin
Copy link
Contributor

@hemulin hemulin commented Oct 5, 2023

In the process of patching formal verification we noticed the Move stdlib was not perfectly up to date.

  • use up-to-date move-stdlib and vendor-stdlib from diem-1.6.3
  • patch issue with running formal verification
  • scaffold CI for formal verification
  • stubs for slow wallet and stake formal verification

/// and vector.
public fun remove_value<Element>(v: &mut vector<Element>, val: &Element): vector<Element> {
// This doesn't cost a O(2N) run time as index_of scans from left to right and stops when the element is found,
// while remove would continue from the identified index to the end of the vector.
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

Copy link
Contributor

@sirouk sirouk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@sirouk sirouk merged commit 869fee9 into 0LNetworkCommunity:main Oct 12, 2023
10 checks passed
0o-de-lally added a commit that referenced this pull request Aug 8, 2024
0o-de-lally added a commit that referenced this pull request Aug 8, 2024
0o-de-lally added a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
0o-de-lally added a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
0o-de-lally added a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants