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

Add refute statement #776

Merged
merged 18 commits into from
Jul 10, 2024
Merged

Add refute statement #776

merged 18 commits into from
Jul 10, 2024

Commits on Jul 8, 2024

  1. Add refute statement

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c43eb85 View commit details
    Browse the repository at this point in the history

  2. Update src/main/java/viper/gobra/frontend/GobraLexer.java 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    08bfd40 View commit details
    Browse the repository at this point in the history

  3. Update src/main/java/viper/gobra/frontend/GobraParser.java 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    fe84f80 View commit details
    Browse the repository at this point in the history

  4. Update src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    3fa9c99 View commit details
    Browse the repository at this point in the history

  5. Update src/main/java/viper/gobra/frontend/GobraParserVisitor.java 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    7330a63 View commit details
    Browse the repository at this point in the history

  6. Inline plugin execution

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    ed6fbf4 View commit details
    Browse the repository at this point in the history

  7. Remove unused imports

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    2bd1f22 View commit details
    Browse the repository at this point in the history

  8. Switch to frontend API for Silicon and Carbon

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    1e3eec0 View commit details
    Browse the repository at this point in the history

  9. Remove explicit call to mapVerificationResult in RefutePlugin

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    b632fcc View commit details
    Browse the repository at this point in the history

  10. Add tests for refute

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    a4fd376 View commit details
    Browse the repository at this point in the history

  11. Fix termination transformer

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    2b813c4 View commit details
    Browse the repository at this point in the history

  12. Remove refute transformer

    @bruggerl
    bruggerl committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6bfc8a0 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Clean up error transformations for closures

    @bruggerl
    bruggerl committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    4ed5c4f View commit details
    Browse the repository at this point in the history

  2. Refine error message for refute errors 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    eec33de View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary parentheses 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    aee8e53 View commit details
    Browse the repository at this point in the history

  4. Simplify documentation of TerminationDomainTransformer 

    Co-authored-by: João Pereira <[email protected]>
    @bruggerl @jcp19
    bruggerl and jcp19 committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    da8ea86 View commit details
    Browse the repository at this point in the history

  5. Convert spaces to tabs

    @bruggerl
    bruggerl committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    bb3c8f3 View commit details
    Browse the repository at this point in the history

  6. Revert "Remove unnecessary parentheses" 

    This reverts commit aee8e53.
    @bruggerl
    bruggerl committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    d64c810 View commit details
    Browse the repository at this point in the history