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

Spawn threads created from unknown functions as non-unique #1187

Merged
merged 7 commits into from
Nov 2, 2023
Merged

Spawn threads created from unknown functions as non-unique #1187

merged 7 commits into from
Nov 2, 2023

Commits on Sep 24, 2023

  1. Add argument to threadenter

    @michael-schwarz
    michael-schwarz committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    08d56aa View commit details
    Browse the repository at this point in the history

  2. Spawn non-unique threads

    @michael-schwarz
    michael-schwarz committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    a325139 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. Turn optional argument into named argument

    @michael-schwarz
    michael-schwarz committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    ccaffc5 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Also pass to threadspawn for history TID + uniqueness

    @michael-schwarz
    michael-schwarz committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    7ebddbc View commit details
    Browse the repository at this point in the history

  2. Add example for race despite uniqueness counter

    @michael-schwarz
    michael-schwarz committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    44ef084 View commit details
    Browse the repository at this point in the history

  3. Add check that only one mainfun is specified to privatizations

    @michael-schwarz
    michael-schwarz committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    b718e46 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Merge branch 'master' into issue_843

    @michael-schwarz
    michael-schwarz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    809e5a0 View commit details
    Browse the repository at this point in the history