search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

Figure out high-level properties we'd be interested in showing #215

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Some already listed in #188.

Some more:

  1. While the burn address is set as the liquidity address, is the protocol paused? You should not be able to add or remove liquidity or do any swaps.
  2. Once you've set the the liquidity address, it can never be changed again.