search

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache License 2.0
811 stars 31 forks source link

Introduce the counter contract for Cosmwasm as an example #722

Open konnov opened 1 year ago

konnov commented 1 year ago

The contract is explained in the Terra guide.

We already have a TLA spec of counter written by @rnbguy.

thpani commented 1 year ago

The contract is explained in the Terra guide.

That link seems to be broken, and I can't find the example in the Terra docs. @konnov Do you have a working link?

konnov commented 1 year ago

Nope. Seems to be unavailable from web archive.

rnbguy commented 1 year ago

Archway's setup process offers Increment as default template.

Right now, Archway may have the most up-to-date docs on cosmwasm.