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

Implementation of the pentagon abstract domain #304

Merged
merged 12 commits into from
Jan 10, 2024
Merged

Implementation of the pentagon abstract domain #304

merged 12 commits into from
Jan 10, 2024

Commits on Jan 9, 2024

  1. Draft implementation of the pentagon abstract domain

    @VincenzoArceri
    VincenzoArceri committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    ca77cc0 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Draft classes for testing pentagon domain

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    a797a9a View commit details
    Browse the repository at this point in the history

  2. Added missing documentation in Pentagons.java and UpperBounds.java

    @olivieriluca
    olivieriluca committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    ebda88b View commit details
    Browse the repository at this point in the history

  3. Minor fix on NumericAnalysesTest

    @olivieriluca
    olivieriluca committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    db23e87 View commit details
    Browse the repository at this point in the history

  4. Closure for pentagons, first cron tests for pentagons

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    22f32c6 View commit details
    Browse the repository at this point in the history

  5. Extended assignment semantics for r = x - y

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    2efa3d5 View commit details
    Browse the repository at this point in the history

  6. Pentagons pushScope and popScope methods

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    1e1c12c View commit details
    Browse the repository at this point in the history

  7. Class renaming

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    28ae9b5 View commit details
    Browse the repository at this point in the history

  8. Extended assignment semantics for pentagons in reminder case

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    91a2a2f View commit details
    Browse the repository at this point in the history

  9. Apply spotless and Javadoc

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    0329b43 View commit details
    Browse the repository at this point in the history

  10. Apply spotless

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    0495a61 View commit details
    Browse the repository at this point in the history

  11. Javadoc

    @VincenzoArceri
    VincenzoArceri committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    cd35111 View commit details
    Browse the repository at this point in the history