Skip to content

Conversation

@jberthold
Copy link
Member

  • Fixes to SPL cheat code helper functions
  • SPL Rent cheat code support
  • support transmute to/from MaybeUninit (for iter())
  • data-length support for SPL cheat code structures

* Fixes to SPL cheat code helper functions
* SPL Rent cheat code support
* support transmute to/from `MaybeUninit` (for `iter()`)
* data-length support for SPL cheat code structures
@jberthold jberthold merged commit d44da85 into proofs Nov 28, 2025
1 check passed
@jberthold jberthold deleted the update-mir-semantics branch November 28, 2025 02:46
dkcumming pushed a commit that referenced this pull request Nov 30, 2025
* Fixes to SPL cheat code helper functions
* SPL Rent cheat code support
* support transmute to/from `MaybeUninit` (for `iter()`)
* data-length support for SPL cheat code structures
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