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

Avoid dropping axioms or misplacing annotations when malformed axiom annotations are present #1062

Merged
merged 3 commits into from
May 20, 2022
Merged

Avoid dropping axioms or misplacing annotations when malformed axiom annotations are present #1062

merged 3 commits into from
May 20, 2022

Commits on May 13, 2022

  1. Ensure pending annotations are cleared after handling triple, in case… 

    … no axiom was created which used them.
    @balhoff
    balhoff committed May 13, 2022
    Configuration menu
    Copy the full SHA
    18c845b View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. Only remove unannotated axiom if it received annotations.

    @balhoff
    balhoff committed May 19, 2022
    Configuration menu
    Copy the full SHA
    effe2b7 View commit details
    Browse the repository at this point in the history

  2. Add axiom annotation parsing test.

    @balhoff
    balhoff committed May 19, 2022
    Configuration menu
    Copy the full SHA
    c5d6469 View commit details
    Browse the repository at this point in the history