Code

Write proper README#19

Code

Merged

bugarela merged 11 commits intomaininformalsystems/cosmwasm-to-quint:mainfrom gabriela/readme-updateinformalsystems/cosmwasm-to-quint:gabriela/readme-updateCopy head branch name to clipboardMay 27, 2024

+348-8

Commits

Commits on May 27, 2024

• Add context and update README.md

  bugarela

  committed
  da1e0c7

  Copy full SHA for da1e0c7

• Improve formatting

  bugarela

  committed
  7774ce0

  Copy full SHA for 7774ce0

• Improve text and formatting

  bugarela

  committed
  1b6a2e1

  Copy full SHA for 1b6a2e1

• Add Examples section

  bugarela

  committed
  d05b28b

  Copy full SHA for d05b28b

• Add banner

  bugarela

  committed
  3281bfc

  Copy full SHA for 3281bfc

• Center image

  bugarela

  committed
  1650ba2

  Copy full SHA for 1650ba2

• Add instruction to run the test and troubleshooting item

  bugarela

  committed
  1d3e222

  Copy full SHA for 1d3e222

• Create LICENSE

  bugarela

  authored
  f09588b

  Copy full SHA for f09588b

• Merge branch 'main' into gabriela/readme-update

  bugarela

  authored
  992b490

  Copy full SHA for 992b490

• Add link to CosmWasm website

  bugarela

  committed
  e9adee1

  Copy full SHA for e9adee1

• Apply suggestions from code review

  Show description for c4194eb
  

  bugarela

  and

  ivan-gavran

  authored
  c4194eb

  Copy full SHA for c4194eb