Code

Extracted out RawEGraph type#296

Code

Draft

dewert99 wants to merge 9 commits intoegraphs-good:mainegraphs-good/egg:mainfrom dewert99:raw-egraphdewert99/plat-egg:raw-egraphCopy head branch name to clipboard

+1,137-563

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 Feb 6, 2024

• Extracted out low level egraph API

  dewert99

  committed
  8bcfe66

  Copy full SHA for 8bcfe66

Commits on Feb 8, 2024

• doc-link fixes

  dewert99

  committed
  8370122

  Copy full SHA for 8370122

Commits on Feb 11, 2024

• Improved raw_union interface, fixed EGraph::dump and updated edition

  dewert99

  committed
  c18f6d4

  Copy full SHA for c18f6d4

Commits on Mar 21, 2024

• Make raw_union more flexible and add a fallible try_raw_rebuild

  dewert99

  committed
  fb07f3b

  Copy full SHA for fb07f3b