Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Virtual instead of reserved string ids #98

Merged
merged 1 commit into from
Dec 10, 2019
Merged

Virtual instead of reserved string ids #98

merged 1 commit into from
Dec 10, 2019

Commits on Dec 10, 2019

  1. StringTable: Replace the concept of reserved StringIds with the conce… 

    …pt of virtual StringIds.

With this commit only "virtual" StringIds get an entry in the index table and regular StringIds
store an actual address instead of index table key. That makes the index data a lot smaller
and removes the need to do a table lookup for regular StringIds.
    @michaelwoerister
    michaelwoerister committed Dec 10, 2019
    Configuration menu
    Copy the full SHA
    47ca752 View commit details
    Browse the repository at this point in the history