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 SVF tool info #1084

Merged
merged 14 commits into from
Oct 21, 2024
Merged

Add SVF tool info #1084

merged 14 commits into from
Oct 21, 2024

Commits on Oct 15, 2024

  1. Base file (not working)

    Matthew committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    bc314be View commit details
    Browse the repository at this point in the history

  2. Fix up some stuff

    @Lasagnenator
    Lasagnenator committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    e065aa4 View commit details
    Browse the repository at this point in the history

  3. I think this is required for the wrapper

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

Commits on Oct 16, 2024

  1. Added some required files

    @Lasagnenator
    Lasagnenator committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    3703427 View commit details
    Browse the repository at this point in the history

  2. Added output checking for asserts.

    @Lasagnenator
    Lasagnenator committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    c6eb109 View commit details
    Browse the repository at this point in the history

  3. Handle possibly multiple asserts

    @Lasagnenator
    Lasagnenator committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    d2bcacb View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Updated to work with standardised output

    @Lasagnenator
    Lasagnenator committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    492f787 View commit details
    Browse the repository at this point in the history

  2. Removed unnecessary URL and SVF version.

    @Lasagnenator
    Lasagnenator committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    ad6c331 View commit details
    Browse the repository at this point in the history

  3. Renamed svf.py to svf_svc.py

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

Commits on Oct 20, 2024

  1. Simplified result determination and added error case.

    @Lasagnenator
    Lasagnenator committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    ace5c62 View commit details
    Browse the repository at this point in the history

  2. Add CPU time limit

    @Lasagnenator
    Lasagnenator committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    0a6a09c View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Updated error format and added explicit unknown case

    @Lasagnenator
    Lasagnenator committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    346975f View commit details
    Browse the repository at this point in the history

  2. Comply with black

    @Lasagnenator
    Lasagnenator committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    155b95b View commit details
    Browse the repository at this point in the history

  3. Remove Unknown error 

    Co-authored-by: Philipp Wendler <2545335+PhilippWendler@users.noreply.github.com>
    @Lasagnenator @PhilippWendler
    Lasagnenator and PhilippWendler authored Oct 21, 2024
    Configuration menu
    Copy the full SHA
    930bacd View commit details
    Browse the repository at this point in the history