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

experimental HiFi tree diff algorithm for use with quick-fixes and refactoring commands in the IDE #2031

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

experimental HiFi tree diff algorithm for use with quick-fixes and refactoring commands in the IDE #2031

wants to merge 11 commits into from

Commits on Sep 12, 2024

  1. experimental HiFi tree diff algorithm for use with quick-fixes and re… 

    …factoring commands in the IDE
    @jurgenvinju
    jurgenvinju committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7b6f519 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. developing the list diff algorithms with inspiration from the diff tool

    @jurgenvinju
    jurgenvinju committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    374a8a2 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Merge branch 'main' into hifi-tree-diff

    @jurgenvinju
    jurgenvinju committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    da7f5a1 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. made some progress with the list algorithm

    @jurgenvinju
    jurgenvinju committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    c623d2b View commit details
    Browse the repository at this point in the history

  2. minor improvements. this is not finished yet

    @jurgenvinju
    jurgenvinju committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    1525e73 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. slow progress

    @jurgenvinju
    jurgenvinju committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    3196433 View commit details
    Browse the repository at this point in the history

  2. added demo

    @jurgenvinju
    jurgenvinju committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    3f05df4 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. Merge branch 'main' into hifi-tree-diff

    @jurgenvinju
    jurgenvinju committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    2547a1a View commit details
    Browse the repository at this point in the history

  2. exposed IString.indent to String library module to allow users to reu… 

    …se indentation in O(1)
    @jurgenvinju
    jurgenvinju committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    ed091f7 View commit details
    Browse the repository at this point in the history

  3. slow progress on the diff algorithm

    @jurgenvinju
    jurgenvinju committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    2462eeb View commit details
    Browse the repository at this point in the history

  4. more complex example, and debug prints

    @jurgenvinju
    jurgenvinju committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    8abdbd6 View commit details
    Browse the repository at this point in the history