Repository navigation

Cleanup names phase 5 - #690

Merged

leerho merged 7 commits into

mainfrom

cleanup_names_phase_5

Oct 17, 2025

Merged

Cleanup names phase 5#690
leerho merged 7 commits into
mainfrom
cleanup_names_phase_5

Commits on Oct 7, 2025
- Change name of /theta/Sketch to /theta/ThetaSketch
  leerho
  committed
  d1e10c3
Commits on Oct 10, 2025
- Completed Theta Sketch name changes.
  leerho
  committed
  b8b988d
- Forgot to stage the previous commit. All the classes affected by the
  leerho
  committed
  36e2e08
- Fix some issues raised by Copilot
  leerho
  committed
  2821333
Commits on Oct 14, 2025
- This set of changes completes the name changes for /theta/ and /tuple/.
  leerho
  committed
  5236461
Commits on Oct 16, 2025
- This changes the names to FrequentItemsSketch and FrequentLongsSketch.
  leerho
  committed
  4827385
- Fix Unused variables in test.
  leerho
  committed
  9f6afa4