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

chore: move Tests.v to test/ folder #1753

Merged
merged 13 commits into from
Sep 4, 2023
Merged

chore: move Tests.v to test/ folder #1753

merged 13 commits into from
Sep 4, 2023

Commits on Sep 3, 2023

  1. chore: move Tests.v to test/ folder 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    df91dc6 View commit details
    Browse the repository at this point in the history

  2. chore: explode tests 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    af1b9a6 View commit details
    Browse the repository at this point in the history

  3. doc: add information on adding tests 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    f3e4750 View commit details
    Browse the repository at this point in the history

  4. chore: move noisy tests from theories into test/ 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    6a8fd01 View commit details
    Browse the repository at this point in the history

  5. doc: add more information in doc 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    f53c322 View commit details
    Browse the repository at this point in the history

  6. chore: move tests from Localization.v 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    c02badf View commit details
    Browse the repository at this point in the history

  7. allow tests to be run from makefile 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    de09eca View commit details
    Browse the repository at this point in the history

  8. add Dan's suggestions for README 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    ca9f81c View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2023

  1. update STYLE.md 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    fb79317 View commit details
    Browse the repository at this point in the history

  2. fix: _CoqProject deps 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    476c366 View commit details
    Browse the repository at this point in the history

  3. remove Localization.v universe test 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    fcfcc77 View commit details
    Browse the repository at this point in the history

  4. add universe annotations to Localization.v 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    1ce3a0b View commit details
    Browse the repository at this point in the history

  5. make dune build avoid test/ 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    790f411 View commit details
    Browse the repository at this point in the history