Code

Generic analysis#293

Code

Closed

dewert99 wants to merge 6 commits intoegraphs-good:mainegraphs-good/egg:mainfrom dewert99:generic_analysisdewert99/plat-egg:generic_analysisCopy head branch name to clipboard

+1,375-792

Commits

Commits on Jan 3, 2024

• Added nodes field to EGraph to avoid storing nodes in analysis and analysis_pending

  dewert99

  committed
  1f838c6

• eliminated node field of ExplainNode (used EGraph.nodes instead)

  dewert99

  committed
  3145a30

• serde

  dewert99

  committed
  c075cbf

• serde

  dewert99

  committed
  3187e36

Commits on Jan 4, 2024

• Clarify id_to_expr and prevent copy_with_unions when explanations are disabled

  dewert99

  committed
  4d4c52d

Commits on Jan 12, 2024

• Generalized analysis

  dewert99

  committed
  58f9d0b