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 auditor support for the :concurrent attribute #3660

Merged
merged 7 commits into from
Mar 13, 2023
Merged

Add auditor support for the :concurrent attribute #3660

merged 7 commits into from
Mar 13, 2023

Commits on Mar 1, 2023

  1. Add auditor support for the :concurrent attribute

    @atomb
    atomb committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    885bc73 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. Add release notes entry

    @atomb
    atomb committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    153ecce View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into auditor-concurrent

    @atomb
    atomb committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    cc8e062 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2023

  1. Add more thorough documentation for dafny audit

    @atomb
    atomb committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    7b6b28c View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Improve description of auditing concurrent axiom 

    Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
    @atomb @robin-aws
    atomb and robin-aws authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    14901f3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into auditor-concurrent

    @atomb
    atomb authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    495eeef View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2023

  1. Merge branch 'master' into auditor-concurrent

    @robin-aws
    robin-aws authored Mar 13, 2023
    Configuration menu
    Copy the full SHA
    6e65f4f View commit details
    Browse the repository at this point in the history