Module SemDiffLib

module CongruenceClosureRewrite : sig ... end
module CongruenceClosureSolver : sig ... end
module Diff : sig ... end
module HackSemdiffConfig : sig ... end
module HackSourceAst : sig ... end
module PythonConfigParser : sig ... end
module PythonSemdiffConfig : sig ... end
module PythonSourceAst : sig ... end
module PythonSourceAstDiff : sig ... end
module Semdiff : sig ... end
module SemdiffDirectEngine : sig ... end
module TextualPeg : sig ... end

Program Equivalence Graph (PEG) built from Textual IR.

module TextualPegDiff : sig ... end

Semantic equivalence checking of Textual procedures via PEG equality saturation.