Repository navigation

Cleanup names phase 4 - #689

Closed

leerho wants to merge 5 commits into

mainfrom

cleanup_names_phase_4

Closed

Cleanup names phase 4#689
leerho wants to merge 5 commits into
mainfrom
cleanup_names_phase_4

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