TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

NN.Widgets.IR.Rewrite

IR rewrite viewer #

#graph_rewrite_view before, after displays both graphs and compares node IDs, operations, parents, and declared shapes by array position. The diff table and change count cover at most 400 positions. Structural equality in the displayed rows is not a proof of semantic equivalence.

source
def NN.Widgets.graphRewriteHtml (g₁ g₂ : IR.Graph) :
ProofWidgets.Html

Render a side-by-side graph diff panel plus a per-node "changed/same" table.

Instances For

    Command #

    source
    def NN.Widgets.graphRewriteViewCmd :
    Lean.ParserDescr
    Instances For
      source
      def NN.Widgets.«command#graph_rewrite_view_,_» :
      Lean.ParserDescr
      Instances For