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

Reimplemented error tree disambiguation in Java #2035

Open
wants to merge 10 commits into
base: error-recovery
Choose a base branch
from
Open

Reimplemented error tree disambiguation in Java #2035

wants to merge 10 commits into from

Commits on Oct 2, 2024

  1. Reimplemented error tree disambiguation in Java

    @PieterOlivier
    PieterOlivier committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    a360395 View commit details
    Browse the repository at this point in the history

  2. Removed references to obsolete 'defaultErrorDisambiguationFilter'

    @PieterOlivier
    PieterOlivier committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d4543e7 View commit details
    Browse the repository at this point in the history

  3. Added support for "automatic" disambiguation of error trees

    @PieterOlivier
    PieterOlivier committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    2305a54 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Error disambiguation can actually return a tree without errors. 

    Also, optimized the case where no changes are detected in subtrees.
    @PieterOlivier
    PieterOlivier committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2eb653e View commit details
    Browse the repository at this point in the history

  2. Moved disambiguator to a better location (and fixed a bug)

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

  3. Merge branch 'error-recovery' into error-disambiguation-in-java

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

  4. Fixed imports after moving a class

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

  5. Merge branch 'error-recovery' into error-disambiguation-in-java

    @PieterOlivier
    PieterOlivier committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2b03bfd View commit details
    Browse the repository at this point in the history

  6. Merge branch 'error-recovery' into error-disambiguation-in-java

    @PieterOlivier
    PieterOlivier committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    06af89f View commit details
    Browse the repository at this point in the history

  7. Fixed bug in disambiguator (insert is not the same as append!)

    @PieterOlivier
    PieterOlivier committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    243fab2 View commit details
    Browse the repository at this point in the history