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

testcases in concrete_driver examples includes check phase for linearity check coverage #141

Closed
wants to merge 25 commits into from
Closed

testcases in concrete_driver examples includes check phase for linearity check coverage #141

wants to merge 25 commits into from

Commits on May 31, 2024

  1. Statement::Return checks all Serial types are consumed in each function

    @kenarab
    kenarab committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b82e368 View commit details
    Browse the repository at this point in the history

  2. Coding for testcases to use options

    @kenarab
    kenarab committed May 31, 2024
    Configuration menu
    Copy the full SHA
    4c14cde View commit details
    Browse the repository at this point in the history

  3. cargo clippy & cargo fmt

    @kenarab
    kenarab committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e3a226a View commit details
    Browse the repository at this point in the history

  4. codecov.yml intended for not triggering when coverage is not increased

    @kenarab
    kenarab committed May 31, 2024
    Configuration menu
    Copy the full SHA
    2947d37 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. Merge branch 'ast-refactor' into linear-checker-dev

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    b15c413 View commit details
    Browse the repository at this point in the history

  2. [refactor] for running examples with args

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    ecc42b2 View commit details
    Browse the repository at this point in the history

  3. Merged with PR #127

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    077984c View commit details
    Browse the repository at this point in the history

  4. compile_program calls compile_program_with_args

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    a0d5d4f View commit details
    Browse the repository at this point in the history

  5. Removed commented code and debug info

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    3991dfa View commit details
    Browse the repository at this point in the history

  6. tests can be run with check but are failing so disconnected them

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    ac7b64e View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into linear-checker-dev

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    532f6fd View commit details
    Browse the repository at this point in the history

  8. Merge branch 'ast-refactor' into linear-checker-dev

    @kenarab
    kenarab committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    887044d View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Linearity tests almost working

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    9ce736c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'ast-refactor' into linear-checker-dev

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    1798e9e View commit details
    Browse the repository at this point in the history

  3. tests for linearity checks are working

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    8cde355 View commit details
    Browse the repository at this point in the history

  4. cargo clippy & cargo fmt

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    a564e68 View commit details
    Browse the repository at this point in the history

  5. cargo clippy by CI

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    0f9a907 View commit details
    Browse the repository at this point in the history

  6. cargo clippy by CI

    @kenarab
    kenarab committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    b150a05 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Identation in tests/examples.rs

    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    736237d View commit details
    Browse the repository at this point in the history

  2. Removed unwrap in concrete_check

    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    41f620d View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into linear-checker-dev

    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    413456b View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into linear-checker-dev

    @igaray
    igaray authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    9e9804e View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/main' into linear-checker-dev

    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    d4a9c2c View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/linear-checker-dev' into linear-… 

    …checker-dev
    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    16fd6e7 View commit details
    Browse the repository at this point in the history

  7. make check

    @kenarab
    kenarab committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    5bc16e4 View commit details
    Browse the repository at this point in the history