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

feat: Execution branch coverage report #4755

Merged
merged 17 commits into from
Nov 9, 2023
Merged

feat: Execution branch coverage report #4755

merged 17 commits into from
Nov 9, 2023

Commits on Nov 7, 2023

  1. Slightly hacky working first pass

    @robin-aws
    robin-aws committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    a70859f View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Rename existing —coverage-report to —verification-coverage-report

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    4bc558f View commit details
    Browse the repository at this point in the history

  2. Improve coverage report formatting, hook up to stdlibs, start to impr… 

    …ove stdlib coverage
    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b1254a4 View commit details
    Browse the repository at this point in the history

  3. Integration test mostly working

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    fb55df8 View commit details
    Browse the repository at this point in the history

  4. Fix regression in report naming

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    99ff54b View commit details
    Browse the repository at this point in the history

  5. Revert runtime change

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b1f5da6 View commit details
    Browse the repository at this point in the history

  6. Nonuniform test

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    084f928 View commit details
    Browse the repository at this point in the history

  7. Fix paths in expect file

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    ed93db2 View commit details
    Browse the repository at this point in the history

  8. Test for unsupported feature too

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    46d7331 View commit details
    Browse the repository at this point in the history

  9. Mention —coverage-report for dafny test

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    6f2a5d4 View commit details
    Browse the repository at this point in the history

  10. Update features table

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b0b7fc5 View commit details
    Browse the repository at this point in the history

  11. Improve encapsulation

    @robin-aws
    robin-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    e40be50 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Release note, typo, whitespace

    @robin-aws
    robin-aws committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    06a9068 View commit details
    Browse the repository at this point in the history

  2. Typo and library backend

    @robin-aws
    robin-aws committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    87aa068 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into runtime-coverage-report

    @robin-aws
    robin-aws committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    55616a1 View commit details
    Browse the repository at this point in the history

  4. Fix feature support table

    @robin-aws
    robin-aws committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    9262299 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://github.com/dafny-lang/dafny into run… 

    …time-coverage-report
    @robin-aws
    robin-aws committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    64ac12d View commit details
    Browse the repository at this point in the history