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][spec][prover] broken specs in framework #15783

Open
rahxephon89 opened this issue Jan 21, 2025 · 0 comments
Open

[Bug][spec][prover] broken specs in framework #15783

rahxephon89 opened this issue Jan 21, 2025 · 0 comments
Assignees
@rahxephon89
Labels
bug Something isn't working move-prover

Comments

@rahxephon89
Copy link
Contributor

rahxephon89 commented Jan 21, 2025 •
edited
Loading

🐛 Bug

This issue tracks broken or missing specs in framework.

big_orderedmap
orderedmap
account_abstraction
account
aptos_account
coin
managed_coin
object
resource_account
stake
staking_contract
transaction_fee
transaction_validation
aptos_governance
code
delegation_pool
dispatchable_fungible_asset
fungible_asset
genesis
keyless_account
object_code_deployment
primary_fungible_store
staking_proxy
vesting
jwks
jwk_consensus_config
randomness_api_v0_config
randomness_config_seqnum
randomness_config
permissioned_delegation
permissioned_signer
rate_limiter
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rahxephon89 rahxephon89

Labels
bug Something isn't working move-prover
Projects
Move Language and Runtime
Status: 🆕 New
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rahxephon89