Skip to content

Updated mir-semantics with lastest feature/p-token#174

Merged
dkcumming merged 1 commit intoproofsfrom
dc/update-mir-semantic
Mar 10, 2026
Merged

Updated mir-semantics with lastest feature/p-token#174
dkcumming merged 1 commit intoproofsfrom
dc/update-mir-semantic

Conversation

@dkcumming
Copy link
Collaborator

  • fix(rt): handle fun-type closure env refs in callee setup 956
  • fix(decode): accept signed enum tag scalars in _extract_tag 954
  • Added check for FunType in setupCalleeClosure 969
  • Merge in latest master 973
  • fix(kompile): map linked NormalSym functions to monoItemFn(noBody) 953
  • fix(rt): generalize direct-tag enum decoding to any variant count and discriminant 955
  • fix(spl-token): encode multisig signers as pubkey aggregates 958
  • fix(rt): closure aggregate + #setTupleArgs fallback 952
  • fix(rt): bug fix for castKindPtrToPtr 974
  • fix(rt): repair closure callee setup for iter-eq repro 957
  • Change the number of signers from 11 to 3 982
  • Merging latest master into feature/p-token 981

@dkcumming dkcumming merged commit e7ce44f into proofs Mar 10, 2026
1 check passed
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.

2 participants