informalsystems/cosmwasm-to-quint

Issues

• Rename quint keywords

  #11 opened 6 months ago by bugarela
  0

• Include `instantiate` actions in the state machine

  #3 opened 6 months ago by bugarela
  0

• Provide a proper way of distributing quint libs that are dependencies

  #4 opened 6 months ago by bugarela
  1

• Some non-actions are being translated as actions

  #15 opened 8 months ago by bugarela
  0

• Add CI check for integration tests

  #13 opened 8 months ago by bugarela
  0

• Add integration tests

  #6 opened 8 months ago by bugarela
  0

• Use type-level polymorphism

  #9 opened 9 months ago by bugarela
  0

• Update bank balances in `execute_message`

  #5 opened 9 months ago by bugarela
  0

• Translate stateless crates

  #2 opened 10 months ago by bugarela
  1