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 SVFBugRecoder and modify source loc format #1067

Merged
merged 13 commits into from
Apr 26, 2023
Merged

Add SVFBugRecoder and modify source loc format #1067

merged 13 commits into from
Apr 26, 2023

Commits on Apr 24, 2023

  1. add json bug recoder

    @JoelYYoung
    JoelYYoung committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    66dae8e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/SVF-tools/SVF

    @JoelYYoung
    JoelYYoung committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    5332504 View commit details
    Browse the repository at this point in the history

  3. add json bug recoder to SABER

    @JoelYYoung
    JoelYYoung committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    a66aca2 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. refactor names

    @JoelYYoung
    JoelYYoung committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    5a715b4 View commit details
    Browse the repository at this point in the history

  2. refactor bug type system

    @JoelYYoung
    JoelYYoung committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    236c6ce View commit details
    Browse the repository at this point in the history

  3. refactor event stacks and vectors

    @JoelYYoung
    JoelYYoung committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    a4cb99f View commit details
    Browse the repository at this point in the history

  4. refactors

    @JoelYYoung
    JoelYYoung committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    c2d62b9 View commit details
    Browse the repository at this point in the history

  5. bug fixes and refactor

    @JoelYYoung
    JoelYYoung committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    c138efb View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. refactor and bug fixs

    @JoelYYoung
    JoelYYoung committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    4d1cfd7 View commit details
    Browse the repository at this point in the history

  2. chang to const

    @JoelYYoung
    JoelYYoung committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    a39e7ad View commit details
    Browse the repository at this point in the history

  3. refactor and destroy events by eventSet

    @JoelYYoung
    JoelYYoung committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    21e8041 View commit details
    Browse the repository at this point in the history

  4. refactor

    @JoelYYoung
    JoelYYoung committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    1c9a83b View commit details
    Browse the repository at this point in the history

  5. set code coverage threshold to 62.3%

    @JoelYYoung
    JoelYYoung committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    5eb7db8 View commit details
    Browse the repository at this point in the history