Code

Performance improvements#253

Code

Draft

gkronber wants to merge 24 commits intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from performance_improvementsJuliaSymbolics/Metatheory.jl:performance_improvementsCopy head branch name to clipboard

+269-130

Commits

Commits on Oct 10, 2024

• Output parent lists and check parents after rebuilding

  gkronber

  committed
  2e1e46d

  Copy full SHA for 2e1e46d

• Path splitting procedure to shorten path length with find call.

  gkronber

  committed
  1301422

  Copy full SHA for 1301422

• Merge branch 'fix_broken_cas_tests' into performance_improvements

  gkronber

  committed
  0704eb1

  Copy full SHA for 0704eb1

• Store original e-nodes in egraph and keep only e-node ids in parent lists.

  gkronber

  committed
  500e25e

  Copy full SHA for 500e25e

• Revert changes to pretty_dict output.

  gkronber

  committed
  ac4829c

  Copy full SHA for ac4829c

• Change lookup in classes_by_op dictionary to prevent allocation of a new vector for each lookup

  gkronber

  committed
  6341b3b

  Copy full SHA for 6341b3b

• Fixed implementation of iterate for optbuffer (currently only affected debug output).

  gkronber

  committed
  9fb097c

  Copy full SHA for 9fb097c

• Fix compile error.

  gkronber

  committed
  80a4696

  Copy full SHA for 80a4696

• Find of eclass_id for enode_id is not necessary here

  gkronber

  committed
  68d40d1

  Copy full SHA for 68d40d1

Commits on Oct 12, 2024

• Add some test assertions for internal datastructures used for egraph rebuilding.

  gkronber

  committed
  013253e

  Copy full SHA for 013253e

• Merge branch 'ale/3.0' into performance_improvements

  gkronber

  committed
  4e6bc9f

  Copy full SHA for 4e6bc9f

Commits on Oct 13, 2024

• Set root to allow debugging (requires extraction)

  gkronber

  committed
  9db374d

  Copy full SHA for 9db374d

• isless for VecExpr to allow sorting.

  gkronber

  committed
  3ac0718

  Copy full SHA for 3ac0718

• Check most specific constants first.

  gkronber

  committed
  90719d0

  Copy full SHA for 90719d0

• Comment and removed unnecessary parentheses.

  gkronber

  committed
  6ddffa4

  Copy full SHA for 6ddffa4

• Fixes for constant matching from different PR

  gkronber

  committed
  3c07d51

  Copy full SHA for 3c07d51

• Allow to set SaturationParams for simplify for testing, and mark two broken tests.

  gkronber

  committed
  97c272b

  Copy full SHA for 97c272b

• Small fixes.

  gkronber

  committed
  917f3fe

  Copy full SHA for 917f3fe

• Correct test cases for rebuilding

  gkronber

  committed
  e6f582c

  Copy full SHA for e6f582c

• Complete overhaul of rebuilding mechanism.

  gkronber

  committed
  50d6dfd

  Copy full SHA for 50d6dfd

Commits on Oct 14, 2024

• Fixes, moving forward...

  gkronber

  committed
  ee1862e

  Copy full SHA for ee1862e

• Bugfix in analysis rebuilding.

  gkronber

  committed
  348dd62

  Copy full SHA for 348dd62

• Minor changes.

  gkronber

  committed
  4d26e3c

  Copy full SHA for 4d26e3c

• Remove nodes vector from egraph and clean-up code.

  gkronber

  committed
  0d203a8

  Copy full SHA for 0d203a8