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

tests(all modules): adds randomized simapp tests #1531

Closed
wants to merge 69 commits into from
Closed

tests(all modules): adds randomized simapp tests #1531

wants to merge 69 commits into from

Commits on Nov 19, 2024

  1. start to improve useability of invariants

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    8099743 View commit details
    Browse the repository at this point in the history

  2. impl the sequencer keeper

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    df7d3da View commit details
    Browse the repository at this point in the history

  3. pre fix proposer

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    b0104ee View commit details
    Browse the repository at this point in the history

  4. impl sequencer , but need to add more context

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    5eb90fa View commit details
    Browse the repository at this point in the history

  5. add the template for sponsorship

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    273d396 View commit details
    Browse the repository at this point in the history

  6. start on bulk of sponsorship

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    e9c478e View commit details
    Browse the repository at this point in the history

  7. add some gpt examples

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    8007c77 View commit details
    Browse the repository at this point in the history

  8. now doing the general sponsorship inv

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    81097fb View commit details
    Browse the repository at this point in the history

  9. impl sponsorship

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    dfdded7 View commit details
    Browse the repository at this point in the history

  10. fix delayedack

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    4b573e3 View commit details
    Browse the repository at this point in the history

  11. enhance block finalization queue

    @danwt
    danwt committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    12c8444 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. adds invariants for IRO (use copilot)

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    def9264 View commit details
    Browse the repository at this point in the history

  2. adds eibc invariants

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    07275a8 View commit details
    Browse the repository at this point in the history

  3. pre do light client ones

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    e3c275a View commit details
    Browse the repository at this point in the history

  4. adds client state invar

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    6845e4a View commit details
    Browse the repository at this point in the history

  5. adds light client inv

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    9082689 View commit details
    Browse the repository at this point in the history

  6. now going to refac

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    0a89b87 View commit details
    Browse the repository at this point in the history

  7. working on refac

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    37969a0 View commit details
    Browse the repository at this point in the history

  8. refac invar package

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    c7f022f View commit details
    Browse the repository at this point in the history

  9. rename invar to uinv

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    9b4f4f5 View commit details
    Browse the repository at this point in the history

  10. need to change all the written invs

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    7e818a4 View commit details
    Browse the repository at this point in the history

  11. refactor one

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    2bbef22 View commit details
    Browse the repository at this point in the history

  12. need to refac the rest

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    34e6215 View commit details
    Browse the repository at this point in the history

  13. finish light client refactor

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    d035a45 View commit details
    Browse the repository at this point in the history

  14. partially refac seq

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    da96e36 View commit details
    Browse the repository at this point in the history

  15. finish sequencer refac

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    37a960a View commit details
    Browse the repository at this point in the history

  16. start to refac sponsorship

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    949fdd5 View commit details
    Browse the repository at this point in the history

  17. lfg

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    9c21069 View commit details
    Browse the repository at this point in the history

  18. ready to cont with sponsorship and other refacs

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    341d9ee View commit details
    Browse the repository at this point in the history

  19. clean up one

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    b24f3ff View commit details
    Browse the repository at this point in the history

  20. fix another in sponsor

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    ff41724 View commit details
    Browse the repository at this point in the history

  21. finish sponsorship cleanup

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    334287c View commit details
    Browse the repository at this point in the history

  22. fix iro

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8038a5f View commit details
    Browse the repository at this point in the history

  23. fix delayedack

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    f557c5f View commit details
    Browse the repository at this point in the history

  24. need to figure how invariants are wired into the app

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    be2a989 View commit details
    Browse the repository at this point in the history

  25. add invariants check to test

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    6765c57 View commit details
    Browse the repository at this point in the history

  26. need to make things clearer around valset hash and proposer addr

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    6d0c6a9 View commit details
    Browse the repository at this point in the history

  27. invariants seem OK - but loads of UT failures

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    9ceb469 View commit details
    Browse the repository at this point in the history

  28. pre remove auto invar checking

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    a79a753 View commit details
    Browse the repository at this point in the history

  29. REMOVES always running invariants on all tests, and restores original… 

    … delayed ack inv test
    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    3c6593f View commit details
    Browse the repository at this point in the history

  30. riding the debug train

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    e8f86e6 View commit details
    Browse the repository at this point in the history

  31. trying to fix state info index invar

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    89b8240 View commit details
    Browse the repository at this point in the history

  32. cp

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    deb306d View commit details
    Browse the repository at this point in the history

  33. pre del grey code

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    b7ae234 View commit details
    Browse the repository at this point in the history

  34. tests passing

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8545232 View commit details
    Browse the repository at this point in the history

  35. restore contributing

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8f59fe9 View commit details
    Browse the repository at this point in the history

  36. fumpt

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    3c607e1 View commit details
    Browse the repository at this point in the history

  37. linter

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    deb570b View commit details
    Browse the repository at this point in the history

  38. linter

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    1f6f52b View commit details
    Browse the repository at this point in the history

  39. revert accidental

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    1d310c0 View commit details
    Browse the repository at this point in the history

  40. removes empty fun

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    4619fe9 View commit details
    Browse the repository at this point in the history

  41. pre start addressing review comments

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    f3caaf3 View commit details
    Browse the repository at this point in the history

  42. few fixes

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8dd2d2d View commit details
    Browse the repository at this point in the history

  43. fix according to comments

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    32f7a52 View commit details
    Browse the repository at this point in the history

  44. adds docstrings, make sure to collect all errors while walking

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    d5f0cf6 View commit details
    Browse the repository at this point in the history

  45. dcostring

    @danwt
    danwt committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    bad4faa View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. removes test skip

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    86413fe View commit details
    Browse the repository at this point in the history

  2. adds missing all invariants calls

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    404dbe9 View commit details
    Browse the repository at this point in the history

  3. add some kiril suggestions

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    3abcd88 View commit details
    Browse the repository at this point in the history

  4. add some kiril suggestions

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    4dc08be View commit details
    Browse the repository at this point in the history

  5. gonna do iro

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    cc62ee8 View commit details
    Browse the repository at this point in the history

  6. add something similar to what Michael said but not quite

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    d5aaddb View commit details
    Browse the repository at this point in the history

  7. think its ok

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    9351b25 View commit details
    Browse the repository at this point in the history

  8. fmt

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    85d6eb7 View commit details
    Browse the repository at this point in the history

  9. better string

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    5e75ec7 View commit details
    Browse the repository at this point in the history

  10. ready

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    59a8e36 View commit details
    Browse the repository at this point in the history

  11. Improve err string 

    Co-authored-by: zale144 <[email protected]>
    @danwt @zale144
    danwt and zale144 authored Nov 21, 2024
    Configuration menu
    Copy the full SHA
    b380060 View commit details
    Browse the repository at this point in the history

  12. fix one

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    06e46c0 View commit details
    Browse the repository at this point in the history

  13. cp

    @danwt
    danwt committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    2a67270 View commit details
    Browse the repository at this point in the history