Skip to content
This repository has been archived by the owner on Oct 14, 2022. It is now read-only.

WitnessLinter does not consider different paths in a witness when checking thread information #34

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

WitnessLinter does not consider different paths in a witness when checking thread information #34

wants to merge 4 commits into from

Commits on Dec 8, 2020

  1. improve definition of createThread to reduce uniqueness to the corr… 

    …esponding context.
    @kfriedberger
    kfriedberger committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    563d390 View commit details
    Browse the repository at this point in the history

  2. adding reference to paper about "Violation Witnesses for Concurrent P… 

    …rograms with CPAchecker".
    @kfriedberger
    kfriedberger committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    a62d85e View commit details
    Browse the repository at this point in the history

  3. remove several trailing whitespaces. 

    Ending lines with whitespaces is special in Markdown and causes a "newline" after rendering.
However, none of those trailing whitespaces is required for this file.
    @kfriedberger
    kfriedberger committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    e107688 View commit details
    Browse the repository at this point in the history

  4. add tracking of existing threadIds and threadCreations.

    @kfriedberger
    kfriedberger committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    bfbe837 View commit details
    Browse the repository at this point in the history