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: formal verification & fuzz campaign #69

Merged
merged 35 commits into from
May 31, 2024
Merged

feat: formal verification & fuzz campaign #69

merged 35 commits into from
May 31, 2024

Commits on May 16, 2024

  1. chore: setup

    @simon-something
    simon-something committed May 16, 2024
    Configuration menu
    Copy the full SHA
    8afcd40 View commit details
    Browse the repository at this point in the history

  2. feat: echidna

    @simon-something
    simon-something committed May 16, 2024
    Configuration menu
    Copy the full SHA
    3c27899 View commit details
    Browse the repository at this point in the history

  3. feat: symb exec halmos

    @simon-something
    simon-something committed May 16, 2024
    Configuration menu
    Copy the full SHA
    ed45d89 View commit details
    Browse the repository at this point in the history

  4. fix: invariant + optim

    @simon-something
    simon-something committed May 16, 2024
    Configuration menu
    Copy the full SHA
    d9eed8c View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. chore: dir reorg

    @simon-something
    simon-something committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1601c6c View commit details
    Browse the repository at this point in the history

  2. feat: bulloak and .tree for unit tests

    @simon-something
    simon-something committed May 17, 2024
    Configuration menu
    Copy the full SHA
    4c17acf View commit details
    Browse the repository at this point in the history

  3. feat: slither CI

    @simon-something
    simon-something committed May 17, 2024
    Configuration menu
    Copy the full SHA
    fcadbe4 View commit details
    Browse the repository at this point in the history

  4. chore: ci test and cov prototype

    @simon-something
    simon-something committed May 17, 2024
    Configuration menu
    Copy the full SHA
    fdc7473 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. feat: coverage check CI

    @simon-something
    simon-something committed May 18, 2024
    Configuration menu
    Copy the full SHA
    9a51d1f View commit details
    Browse the repository at this point in the history

  2. fix: ci trigger

    @simon-something
    simon-something committed May 18, 2024
    Configuration menu
    Copy the full SHA
    35351b3 View commit details
    Browse the repository at this point in the history

  3. fix: coverage action

    @simon-something
    simon-something committed May 18, 2024
    Configuration menu
    Copy the full SHA
    a2a98b9 View commit details
    Browse the repository at this point in the history

  4. fix: typo

    @simon-something
    simon-something committed May 18, 2024
    Configuration menu
    Copy the full SHA
    1631680 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. feat: coverage check on push

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9f24c9b View commit details
    Browse the repository at this point in the history

  2. chore: slither config file

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    322c317 View commit details
    Browse the repository at this point in the history

  3. chore: no empty block in tests

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    0a812ac View commit details
    Browse the repository at this point in the history

  4. chore: naming

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    a5f2328 View commit details
    Browse the repository at this point in the history

  5. chore: ci dep

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    acc98d4 View commit details
    Browse the repository at this point in the history

  6. fix: typo echidna

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    ac3d438 View commit details
    Browse the repository at this point in the history

  7. fix: echidna test mode

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    f7884a0 View commit details
    Browse the repository at this point in the history

  8. fix: test mode

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9d512ba View commit details
    Browse the repository at this point in the history

  9. chore: lock bump

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    55f839c View commit details
    Browse the repository at this point in the history

  10. fix: rm slither from ci

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    db361f3 View commit details
    Browse the repository at this point in the history

  11. feat: empty unit test example

    @simon-something
    simon-something committed May 20, 2024
    Configuration menu
    Copy the full SHA
    53d12b9 View commit details
    Browse the repository at this point in the history

  12. Update .github/workflows/coverage_check.yml 

    Co-authored-by: Gas <[email protected]>
    @simon-something @gas1cent
    simon-something and gas1cent authored May 20, 2024
    Configuration menu
    Copy the full SHA
    c15ac7a View commit details
    Browse the repository at this point in the history

  13. Update .github/workflows/coverage_check.yml 

    Co-authored-by: Gas <[email protected]>
    @simon-something @gas1cent
    simon-something and gas1cent authored May 20, 2024
    Configuration menu
    Copy the full SHA
    e764354 View commit details
    Browse the repository at this point in the history

  14. Update .github/workflows/coverage_check.yml 

    Co-authored-by: Gas <[email protected]>
    @simon-something @gas1cent
    simon-something and gas1cent authored May 20, 2024
    Configuration menu
    Copy the full SHA
    494dec8 View commit details
    Browse the repository at this point in the history

  15. Update .github/workflows/tests.yml 

    Co-authored-by: Gas <[email protected]>
    @simon-something @gas1cent
    simon-something and gas1cent authored May 20, 2024
    Configuration menu
    Copy the full SHA
    8f46e6b View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. chore: commit lint

    @simon-something
    simon-something committed May 27, 2024
    Configuration menu
    Copy the full SHA
    380d7ab View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. fix: solhint wrong rule naming

    @simon-something
    simon-something committed May 28, 2024
    Configuration menu
    Copy the full SHA
    b408a95 View commit details
    Browse the repository at this point in the history

  2. chore: style

    @simon-something
    simon-something committed May 28, 2024
    Configuration menu
    Copy the full SHA
    37581e6 View commit details
    Browse the repository at this point in the history

  3. chore: styling

    @simon-something
    simon-something committed May 28, 2024
    Configuration menu
    Copy the full SHA
    7ada60b View commit details
    Browse the repository at this point in the history

  4. chore: comment fix

    @simon-something
    simon-something committed May 28, 2024
    Configuration menu
    Copy the full SHA
    35ef998 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. fix: ci cov check path

    @simon-something
    simon-something committed May 29, 2024
    Configuration menu
    Copy the full SHA
    9cccb64 View commit details
    Browse the repository at this point in the history

  2. fix: ci cov second attempt

    @simon-something
    simon-something committed May 29, 2024
    Configuration menu
    Copy the full SHA
    a979f99 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. chore: underscores

    @simon-something
    simon-something committed May 31, 2024
    Configuration menu
    Copy the full SHA
    254ca83 View commit details
    Browse the repository at this point in the history