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

Dafny Test Coverage Report #4325

Merged
merged 17 commits into from
Aug 17, 2023
Merged

Dafny Test Coverage Report #4325

merged 17 commits into from
Aug 17, 2023

Commits on Aug 1, 2023

  1. Coverage Report

    Aleksandr Fedchin committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    3b26ffb View commit details
    Browse the repository at this point in the history

  2. Add merge-coverage-reports command

    Aleksandr Fedchin committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    a45e707 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Renamings

    Aleksandr Fedchin committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    664698c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into CoverageDraft

    @Dargones
    Dargones authored Aug 9, 2023
    Configuration menu
    Copy the full SHA
    079330a View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Merge branch 'master' into CoverageDraft

    @Dargones
    Dargones authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    924ad20 View commit details
    Browse the repository at this point in the history

  2. Move coverage command arguments and let user specify a file prefix

    Aleksandr Fedchin committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    94eee42 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. Store arguments in DafnyOptions

    @keyboardDrummer
    keyboardDrummer committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    3317074 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. Merge remote-tracking branch 'origin/master' into CoverageDraft

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    9ea8d61 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'remy/storeArguments' into CoverageDraft

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    60e3728 View commit details
    Browse the repository at this point in the history

  3. Fix Argument Parsing

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    d3556cd View commit details
    Browse the repository at this point in the history

  4. Move CoverageCommand to Dafny Driver

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    8431070 View commit details
    Browse the repository at this point in the history

  5. Move all HTML parsing to DafnyDriver

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    5ebc090 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/master' into CoverageDraft

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    63b2287 View commit details
    Browse the repository at this point in the history

  7. Fix test

    Aleksandr Fedchin committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    e9ed243 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Move CoverageReport from DafnyCore to DafnyTestGeneration

    Aleksandr Fedchin committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    1a5c7d8 View commit details
    Browse the repository at this point in the history

  2. Add nullable disable

    Aleksandr Fedchin committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    fb3d731 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Merge branch 'master' into CoverageDraft

    @keyboardDrummer
    keyboardDrummer authored Aug 17, 2023
    Configuration menu
    Copy the full SHA
    1b85836 View commit details
    Browse the repository at this point in the history