Code

Become a (more) independent fork#4

Code

Closed

dewert99 wants to merge 34 commits intomaindewert99/plat-egg:mainfrom pre-maindewert99/plat-egg:pre-mainCopy head branch name to clipboard

+3,197-1,005

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

• Added 2 versions of semi-persistence to RawEGraph

  dewert99

  committed
  f955195

  Copy full SHA for f955195

Commits on Feb 12, 2024

• Lifted semi-persistence to EGraph

  dewert99

  committed
  d7bc03e

  Copy full SHA for d7bc03e

• Lifted semi-persistence to EGraph

  dewert99

  committed
  e053f95

  Copy full SHA for e053f95

• Fixed bug and switched UniqueQueue to use util::BuildHasher

  dewert99

  committed
  420e527

  Copy full SHA for 420e527

• Removed ahash dependency

  dewert99

  committed
  9da2e48

  Copy full SHA for 9da2e48

• Added DHashMap tests

  dewert99

  committed
  8649cdb

  Copy full SHA for 8649cdb

• Clippy

  dewert99

  committed
  34091d0

  Copy full SHA for 34091d0

• Fixed error messages

  dewert99

  committed
  1af4039

  Copy full SHA for 1af4039

Commits on Mar 8, 2024

• Fixed pop to clear pending

  dewert99

  committed
  2c1c95f

  Copy full SHA for 2c1c95f

Commits on Mar 12, 2024

• Added method to access union find without path compression from undo-log

  dewert99

  committed
  da807b0

  Copy full SHA for da807b0

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

• Merge branch 'raw-egraph' into semi-persistent

  Show description for 9c6681d
  dewert99

  committed
  9c6681d

  Copy full SHA for 9c6681d

Commits on Mar 28, 2024

• Bump symbol_table

  dewert99

  committed
  91c1a10

  Copy full SHA for 91c1a10

Commits on Mar 30, 2024

• Added niche method for symmetry

  dewert99

  committed
  70ba130

  Copy full SHA for 70ba130

Commits on Apr 1, 2024

• Added extra methods

  dewert99

  committed
  8ee283b

  Copy full SHA for 8ee283b

• Shrink PushInfo

  dewert99

  committed
  88df634

  Copy full SHA for 88df634

• Fix bug in PushInfo::number_of_unions

  dewert99

  committed
  5894d5b

  Copy full SHA for 5894d5b

Commits on Apr 4, 2024

• Add another niche symmetry method

  dewert99

  committed
  653c68b

  Copy full SHA for 653c68b

Commits on Apr 8, 2024

• Stop new nodes from becoming added to pending

  dewert99

  committed
  b0ded73

  Copy full SHA for b0ded73

• minor optimization in add

  dewert99

  committed
  4927512

  Copy full SHA for 4927512

• Avoid duplicate parents when adding a node with equivalent children

  dewert99

  committed
  9ba0fef

  Copy full SHA for 9ba0fef

Commits on Apr 9, 2024

• Optimize rebuild

  dewert99

  committed
  1c7ecbb

  Copy full SHA for 1c7ecbb

• Put non-RawEGraph behind feature

  dewert99

  committed
  7a5c757

  Copy full SHA for 7a5c757

• #![forbid(unsafe_code)]

  dewert99

  committed
  fd92ae1

  Copy full SHA for fd92ae1

• Rewrote README as a fork

  dewert99

  committed
  fef23b4

  Copy full SHA for fef23b4

• Make "egg_compat" a default feature

  dewert99

  committed
  e706844

  Copy full SHA for e706844