search

runtimeverification / michelson-semantics

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

Restructure configuration to support referencing multiple contracts #318

Open sskeirik opened 3 years ago

sskeirik commented 3 years ago

EDIT: I forgot to update the <knownaddrs> cell to use the new mechanism, so I will defer this update.

nishantjr commented 3 years ago

Looks good. I found a few rules that needed to specify <currentAccount> and fixed them. Once you've reviewed that lets merge.