Skip to content

Check version of the indexing DB - #1490

Open
Alidra wants to merge 1 commit into
Deducteam:masterfrom
Alidra:indexing_db_version
Open

Check version of the indexing DB#1490
Alidra wants to merge 1 commit into
Deducteam:masterfrom
Alidra:indexing_db_version

Conversation

@Alidra

@Alidra Alidra commented Aug 19, 2026

Copy link
Copy Markdown
Member

This PR adds a version number at the beginning of the search index file. It also verifies this version and fails with a clear error if the existing search index structure does not match the current one (instead of crashing consequently to a segmentation error)

Fixes: #1479, Fixes #1458, Fixes #1437

@Alidra Alidra changed the title heck version of the indexing DB Check version of the indexing DB Aug 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Segmentation fault with dune exec lambdapi -- check tests/OK/search.lp Emacs plugin broken since #1290 VScode extension : missing Args in settings

1 participant