Skip to content

Remove legacy word-search helpers#16

Merged
mweiden merged 1 commit into
mainfrom
codex/remove-unused-methods-from-invertedindex
Aug 13, 2025
Merged

Remove legacy word-search helpers#16
mweiden merged 1 commit into
mainfrom
codex/remove-unused-methods-from-invertedindex

Conversation

@mweiden

@mweiden mweiden commented Aug 13, 2025

Copy link
Copy Markdown
Owner

Summary

  • drop unused word-based search helpers from InvertedIndex
  • update search tests to rely on top_k

Testing

  • make fix
  • make lint
  • make test

https://chatgpt.com/codex/tasks/task_e_689bff6d5e888324a7dc2683d13dbb7b

@mweiden
mweiden merged commit 034f15e into main Aug 13, 2025
1 check passed
@mweiden
mweiden deleted the codex/remove-unused-methods-from-invertedindex branch August 13, 2025 03:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant