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

Switch to Mapping-IO #110

Merged
merged 11 commits into from
Nov 22, 2023
Merged

Switch to Mapping-IO #110

merged 11 commits into from
Nov 22, 2023

Commits on Jun 20, 2023

  1. Switch to Mapping IO

    @NebelNidas
    NebelNidas committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    ea475a2 View commit details
    Browse the repository at this point in the history

  2. Remove unused imports

    @NebelNidas
    NebelNidas committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    c158f41 View commit details
    Browse the repository at this point in the history

  3. Don't hardcode reader to Tiny v1

    @NebelNidas
    NebelNidas committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    bd0de18 View commit details
    Browse the repository at this point in the history

  4. Handle null mappings correctly

    @NebelNidas
    NebelNidas committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    667fa3e View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Switch to visitor-based approach

    @NebelNidas
    NebelNidas committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    f25701e View commit details
    Browse the repository at this point in the history

  2. Revert TinyUtils#read to private

    @NebelNidas
    NebelNidas committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    a6628b4 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Update to MIO 0.5; fix method vars

    @NebelNidas
    NebelNidas committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    1096461 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'upstream' into 'mapping-io'

    @NebelNidas
    NebelNidas committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    77cfb03 View commit details
    Browse the repository at this point in the history

  3. Fix copyright date

    @NebelNidas
    NebelNidas committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    3fe6eed View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Merge branch 'upstream' into mapping-io

    @NebelNidas
    NebelNidas committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    9605663 View commit details
    Browse the repository at this point in the history

  2. Update Mapping-IO to release 0.5

    @NebelNidas
    NebelNidas committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    c672b16 View commit details
    Browse the repository at this point in the history