Code

Add nodes field to EGraph#291

Code

Merged

mwillsey merged 7 commits intoegraphs-good:mainegraphs-good/egg:mainfrom dewert99:egraph_nodesdewert99/plat-egg:egraph_nodesCopy head branch name to clipboardApr 3, 2024

+256-214

Commits

Commits on Jan 3, 2024

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

  dewert99

  committed
  1f838c6

  Copy full SHA for 1f838c6

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

  dewert99

  committed
  3145a30

  Copy full SHA for 3145a30

• serde

  dewert99

  committed
  c075cbf

  Copy full SHA for c075cbf

• serde

  dewert99

  committed
  3187e36

  Copy full SHA for 3187e36

Commits on Jan 4, 2024

• Clarify id_to_expr and prevent copy_with_unions when explanations are disabled

  dewert99

  committed
  4d4c52d

  Copy full SHA for 4d4c52d

Commits on Mar 21, 2024

• Merge remote-tracking branch 'origin-dewert/main' into egraph_nodes

  dewert99

  committed
  66773fe

  Copy full SHA for 66773fe

Commits on Apr 3, 2024

• Added note that enode in make may not be canonical

  dewert99

  committed
  959a98f

  Copy full SHA for 959a98f