1 Pull request merged by 1 person

• type_safety simulation with other dependencies

  #578 merged Jul 5, 2024

1 Pull request opened by 1 person

• WIP: Simulation on `type_safety` and general `Move-sui`, part 2

  #580 opened Jul 10, 2024

4 Issues closed by 1 person

• Move - Simulations - Verifier - borrow functions

  #573 closed Jul 5, 2024

• Move - Simulations - Verifier - Locals type

  #571 closed Jul 5, 2024

• Move - Simulations - Verifier - TypeSafetyChecker

  #572 closed Jul 5, 2024

• Move - Simulations - Verifier - FunctionContext type

  #567 closed Jul 5, 2024

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Simulations for `AbstractStack` type

  #577 commented on Jul 10, 2024 • 0 new comments