Skip to content

Draft: Snoop: fixes dep_graph.ml and adds a graph visualization with variables

Jun Furuse requested to merge dailambda/tezos:jun@dep-graph-fix into master

This MR fixes dep_graph.ml:

  • Fixes #4840
  • Simplifies types of functions in Solver
  • Hide implementations by minimizing dep_graph.mli

It also adds free variables to the dependency graph visualization. For example:

lsl_bytes.dot

We see here there are ambiguity who provides N_ILsl_bytes_shift and N_ILsl_bytes_const.

Edited by Jun Furuse

Merge request reports