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

[minor] Formal Test definitions and test harnesses #229

Merged
merged 17 commits into from
Aug 14, 2024
Merged

[minor] Formal Test definitions and test harnesses #229

merged 17 commits into from
Aug 14, 2024

Commits on Aug 12, 2024

  1. added formal to the spec

    @dobios
    dobios committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    2bc60a3 View commit details
    Browse the repository at this point in the history

  2. Update spec.md 

    Co-authored-by: Megan Wachs <megan@sifive.com>
    @dobios @mwachs5
    dobios and mwachs5 authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    66b07bb View commit details
    Browse the repository at this point in the history

  3. Update spec.md 

    Co-authored-by: Megan Wachs <megan@sifive.com>
    @dobios @mwachs5
    dobios and mwachs5 authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    803efcd View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. standardize spelling, add details about bound, and add reference to B… 

    …MC paper
    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f372a70 View commit details
    Browse the repository at this point in the history

  2. standardize spelling, add details about bound, and add reference to B… 

    …MC paper
    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    0a6afe5 View commit details
    Browse the repository at this point in the history

  3. formatting

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    569a417 View commit details
    Browse the repository at this point in the history

  4. formatting

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    936c970 View commit details
    Browse the repository at this point in the history

  5. make format

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e76fdff View commit details
    Browse the repository at this point in the history

  6. Revert "formatting" 

    This reverts commit 569a417.
    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    17fdb51 View commit details
    Browse the repository at this point in the history

  7. format with the right pandoc version

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    4edc924 View commit details
    Browse the repository at this point in the history

  8. updated spec to make definition simpler

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    0ed877a View commit details
    Browse the repository at this point in the history

  9. tab

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    a2f3c92 View commit details
    Browse the repository at this point in the history

  10. moved input to top of module definition

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    afe1202 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. simplified test harness description

    @dobios
    dobios committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    bfb0bad View commit details
    Browse the repository at this point in the history

  2. make format

    @dobios
    dobios committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    bb14cd9 View commit details
    Browse the repository at this point in the history

  3. formatting

    @dobios
    dobios committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b7c8c6e View commit details
    Browse the repository at this point in the history

  4. attempting new format

    @dobios
    dobios committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    31d2840 View commit details
    Browse the repository at this point in the history