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

Concurrency support #3

Merged
merged 14 commits into from
Sep 7, 2020
Merged

Concurrency support #3

merged 14 commits into from
Sep 7, 2020

Commits on Sep 6, 2020

  1. Implement concurrency support in apply/revert commands

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    94bcdf2 View commit details
    Browse the repository at this point in the history

  2. Type safe deinstrumenting

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    b60eec9 View commit details
    Browse the repository at this point in the history

  3. Add import aliases

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    1b71478 View commit details
    Browse the repository at this point in the history

  4. Fix imports

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    b5bb922 View commit details
    Browse the repository at this point in the history

  5. Support for concurrent visualization

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    8446a6b View commit details
    Browse the repository at this point in the history

  6. Fix tests

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    9f4f708 View commit details
    Browse the repository at this point in the history

  7. Improvements and bug fixes

    @DimitarPetrov
    DimitarPetrov committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    f037627 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2020

  1. Adapt README.md

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    39a62e7 View commit details
    Browse the repository at this point in the history

  2. Forbid multiple instrumentations

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    bd411a9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into concurrency-support

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    8814451 View commit details
    Browse the repository at this point in the history

  4. Typo

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    e6202b2 View commit details
    Browse the repository at this point in the history

  5. Better message

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    a26eee1 View commit details
    Browse the repository at this point in the history

  6. Better visualization in README.md

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    5874eb2 View commit details
    Browse the repository at this point in the history

  7. Revert README.md

    @DimitarPetrov
    DimitarPetrov committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    91b9ebb View commit details
    Browse the repository at this point in the history