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

Remove spec blocks #8

Closed
rockbmb opened this issue Mar 2, 2024 · 0 comments · Fixed by #11
Closed

Remove spec blocks #8

rockbmb opened this issue Mar 2, 2024 · 0 comments · Fixed by #11
Assignees
@rockbmb
Labels
chore Refactorings, required boilerplate addition/removal

Comments

@rockbmb
Copy link
Contributor

rockbmb commented Mar 2, 2024

With MystenLabs/sui#15480, spec blocks and the Sui Move prover are now deprecated.

As such, spec blocks can be removed.
@rockbmb rockbmb added the chore Refactorings, required boilerplate addition/removal label Mar 2, 2024
@rockbmb rockbmb self-assigned this Mar 2, 2024
@rockbmb rockbmb mentioned this issue Mar 5, 2024
Merged
@rockbmb rockbmb mentioned this issue Mar 6, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rockbmb rockbmb

Labels
chore Refactorings, required boilerplate addition/removal
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove Sui Move Prover specs aldrin-labs/ramm-sui
1 participant
@rockbmb