search

runtimeverification / michelson-semantics

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

Update tezos-utils #351

Open sskeirik opened 2 years ago

sskeirik commented 2 years ago

This update solves three problems with tezos-utils which makes it more usable for more kinds of programs:

  1. the python dependencies are properly listed
  2. view functions generated by the LIGO compiler are ignored when deciding if something has the shape of a michelson contract
  3. an argument was added to truncate type literals which appeared in instructions that were too long to improve readability of rendered DOT graphs

@tothtamas28 I have currently assigned this to you since you know python well and are working on a Michelson-related audit with me. If you aren't able to review this or if you have questions, let me know.