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

Update descriptions of graph elements, node elements, and edge elements from upcoming TOSEM paper #37

Merged
merged 11 commits into from
Jul 6, 2021
Merged

Update descriptions of graph elements, node elements, and edge elements from upcoming TOSEM paper #37

merged 11 commits into from
Jul 6, 2021

Commits on Dec 8, 2020

  1. Copy overhauled descriptions of witness-element keys from the upcomin… 

    …g journal paper to the README
    @mdangl
    mdangl committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    ef5f7bc View commit details
    Browse the repository at this point in the history

  2. Copy overhauled descriptions of concurrency-witness-element keys from… 

    … the upcoming journal paper to the README
    @mdangl
    mdangl committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    2323492 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2020

  1. __VERIFIER_error -> reach_error in specification example in the key d… 

    …escription
    @mdangl
    mdangl committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    58161d7 View commit details
    Browse the repository at this point in the history

  2. Clarify default values

    @mdangl
    mdangl committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    799ef27 View commit details
    Browse the repository at this point in the history

  3. Clarify that the key can only be used for loops that have a loop head… 

    … matching the given definition.
    @mdangl
    mdangl committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    a930bb7 View commit details
    Browse the repository at this point in the history

  4. Fix and improve wording for allowed values for assumptions and invari… 

    …ants
    @mdangl
    mdangl committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    c4cb109 View commit details
    Browse the repository at this point in the history

  5. Switch back descriptions that had accidently been switched

    @mdangl
    mdangl committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    bffa7dd View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2020

  1. Remove trailing whitespace

    @mdangl
    mdangl committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    16e9013 View commit details
    Browse the repository at this point in the history

  2. Specify how the initial function of the thread is specified and how a… 

    … thread's termination is signalled.
    @mdangl
    mdangl committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    52cd6dd View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2020

  1. Fix restriction to partitioning (i.e., non-restricting) assumptions i… 

    …n correctness witnesses; the restriction was not strong enough for the stated purpose
    @mdangl
    mdangl committed Dec 22, 2020
    Configuration menu
    Copy the full SHA
    4216af3 View commit details
    Browse the repository at this point in the history

  2. Assumptions are allowed in correctness witnesses, under certain (stat… 

    …ed) conditions
    @mdangl
    mdangl committed Dec 22, 2020
    Configuration menu
    Copy the full SHA
    90a5553 View commit details
    Browse the repository at this point in the history