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

[Bug] Logic to determine a script in move model is broken #7731

Closed
wrwg opened this issue Apr 13, 2023 · 1 comment
Closed

[Bug] Logic to determine a script in move model is broken #7731

wrwg opened this issue Apr 13, 2023 · 1 comment
Labels
bug Something isn't working

Comments

@wrwg
Copy link
Contributor

wrwg commented Apr 13, 2023

There is a bug report about this here: move-language/move#1033

But the bug goes even further: it appears that logic for determining what is a script is broken independent of address size. This not only effects the ABI generator but also some verification logic for scripts in the Move prover.
@wrwg wrwg added the bug Something isn't working label Apr 13, 2023
@lbmeiyi lbmeiyi moved this from 🆕 New to 📋 Backlog in Move Language and Runtime Apr 19, 2023
@gerben-stavenga gerben-stavenga mentioned this issue May 15, 2023
Merged
@github-actions
Copy link
Contributor

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.

@github-actions github-actions bot added the Stale label May 29, 2023
@wrwg wrwg closed this as completed May 29, 2023
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Move Language and Runtime May 29, 2023
@brmataptos brmataptos removed the Stale label Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
Move Language and Runtime
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wrwg @brmataptos