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

ThreadCreate analysis to improve partially context-sensitive threadID analysis #1077

Merged
merged 7 commits into from
Jun 29, 2023
Merged

ThreadCreate analysis to improve partially context-sensitive threadID analysis #1077

merged 7 commits into from
Jun 29, 2023

Commits on Jun 6, 2023

  1. Add tests & option 

    Co-authored-by:FelixKrayer<[email protected]>
    @michael-schwarz
    michael-schwarz committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    1115bb7 View commit details
    Browse the repository at this point in the history

  2. Add second component to threadId 

    Co-authored-by:FelixKrayer<[email protected]>
    @michael-schwarz
    michael-schwarz committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    39257c8 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. Indentation 

    Co-authored-by: Simmo Saan <[email protected]>
    @michael-schwarz @sim642
    michael-schwarz and sim642 authored Jun 21, 2023
    Configuration menu
    Copy the full SHA
    761a970 View commit details
    Browse the repository at this point in the history

  2. Clarify what D is

    @michael-schwarz
    michael-schwarz committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    c8ed1b1 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'pr_1007_clean' of github.com:goblint/analyzer into pr_1… 

    …007_clean
    @michael-schwarz
    michael-schwarz committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    d0c51f5 View commit details
    Browse the repository at this point in the history

  4. Move tests to folder 40-

    @michael-schwarz
    michael-schwarz committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    94b51d7 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Rm accidentally committed file

    @michael-schwarz
    michael-schwarz committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    525b20e View commit details
    Browse the repository at this point in the history