runtimeverification / michelson-semantics

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

Add Liquidity Baking `tokenToXtz` spec #310

Closed sskeirik closed 3 years ago

sskeirik commented 3 years ago

@nishantjr Feel free to review but please do not merge yet because there is a minor issue with the git commit history I'd like to resolve. Thanks.

Fixes: #296