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

feat: support PPDB embedded sources #734

Merged
merged 12 commits into from
Dec 16, 2022
Merged

feat: support PPDB embedded sources #734

merged 12 commits into from
Dec 16, 2022

Commits on Dec 12, 2022

  1. refactor: PPDB row & column access

    @vaind
    vaind committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    aaee517 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2022

  1. feat: PPDB embedded sources iterator

    @vaind
    vaind committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    bff3e6b View commit details
    Browse the repository at this point in the history

  2. feat: PPDB embedded source path

    @vaind
    vaind committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    a0f1529 View commit details
    Browse the repository at this point in the history

  3. feat: PPDB embedded source contents

    @vaind
    vaind committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    7c29710 View commit details
    Browse the repository at this point in the history

  4. feat: PPDB get_sources

    @vaind
    vaind committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    77f8600 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

  1. refactor: PPDB source iterators references to PortablePDB object

    @vaind
    vaind committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    0d12e58 View commit details
    Browse the repository at this point in the history

  2. feat: Portable PDB source_by_path()

    @vaind
    vaind committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    ec68427 View commit details
    Browse the repository at this point in the history

  3. chore: self-review touchups

    @vaind
    vaind committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    34dde5e View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Arpad Borsos <swatinem@swatinem.de>
Co-authored-by: Sebastian Zivota <loewenheim@users.noreply.github.com>
    @vaind @Swatinem @loewenheim
    3 people authored Dec 14, 2022
    Configuration menu
    Copy the full SHA
    d6f6e48 View commit details
    Browse the repository at this point in the history

  5. fix: PPDB get_contents() blob size error handling

    @vaind
    vaind committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    debbbe7 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

  1. Update symbolic-ppdb/src/format/mod.rs 

    Co-authored-by: Arpad Borsos <swatinem@swatinem.de>
    @vaind @Swatinem
    vaind and Swatinem authored Dec 15, 2022
    Configuration menu
    Copy the full SHA
    dbdde4e View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. fix: dump_sources lint

    @vaind
    vaind committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    009f648 View commit details
    Browse the repository at this point in the history