docs(tutorial): add cw1_whitelist cosmwasm example#158

Open

djordjepesic1991 wants to merge 4 commits intodevfrom cw1_whitelist_example

+6,168-1

Commits on Oct 7, 2022

Add cw1_whitelist cosmwasm example
djordjepesic1991
committed

Commits on Oct 19, 2022

Upgrade to new apalache type system.
djordjepesic1991
committed

Commits on Oct 20, 2022

Add new trace invariant
djordjepesic1991
committed

Commits on Nov 3, 2022

update tla spec
rnbguy
committed