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

Add Antithesis intrumentation #5042

Closed
wants to merge 42 commits into from
Closed

Add Antithesis intrumentation #5042

wants to merge 42 commits into from

Commits on Jul 12, 2024

  1. Add Antithesis SDK and libvoidstar.o loader

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    8490f8f View commit details
    Browse the repository at this point in the history

  2. Upgrade Antithesis SDK to 0.3.1

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    06933bb View commit details
    Browse the repository at this point in the history

  3. Export antithesis-sdk-cpp to enable PUBLIC use

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    0fe2abe View commit details
    Browse the repository at this point in the history

  4. Add XRPL_ASSERT and XRPL_UNREACHABLE

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    75b3f8f View commit details
    Browse the repository at this point in the history

  5. Add error message when Antithesis enabled without Debug

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    3666a84 View commit details
    Browse the repository at this point in the history

  6. Move instrumentation to beast, minor improvements

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c430312 View commit details
    Browse the repository at this point in the history

  7. Remove XRPL_ASSERT from unit tests

    @Bronek
    Bronek committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c58258b View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    6767610 View commit details
    Browse the repository at this point in the history

  2. Give names to asserts

    @Bronek
    Bronek committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    8d7cd9c View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    f5733d7 View commit details
    Browse the repository at this point in the history

  2. Convert new asserts to XRPL_ASSERT

    @Bronek
    Bronek committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    0d74ac0 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    fb97f69 View commit details
    Browse the repository at this point in the history

  2. Ignore formatting in external/antithesis-sdk

    @Bronek
    Bronek committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    0cd3188 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Update CONTRIBUTING.md

    @Bronek
    Bronek committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    338c5b7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    78b7d1f View commit details
    Browse the repository at this point in the history

  3. Minor changes in CONTRIBUTING.md

    @Bronek
    Bronek committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e0b078f View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    4ab4284 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Bump antithesis-sdk to 0.3.2 

    This is not a real version as in
https://github.com/antithesishq/antithesis-sdk-cpp/tags ; it is based
on version 0.3.1 but with added default constructor to antithesis::JSON
similar to antithesishq/antithesis-sdk-cpp#17

This default constructor allows us to skip the constructor parameters
(including dummy `{}`) for the JSON parameter of instrumentation macros
    @Bronek
    Bronek committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    c6a9dd5 View commit details
    Browse the repository at this point in the history

  2. Define ASSERT consistently with other instrumentation macros 

    This also removes XRPL_UNREACHABLE, since the default JSON constructor
allows us to use UNREACHABLE macro as-is, without the extra parameter
    @Bronek
    Bronek committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    62483d5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek authored Oct 8, 2024
    Configuration menu
    Copy the full SHA
    3576933 View commit details
    Browse the repository at this point in the history

  4. Small update in cmake file

    @Bronek
    Bronek committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    4b63edf View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Update Antithesis SDK

    @Bronek
    Bronek committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    400f4a4 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Update clang-format settings

    @thejohnfreeman @Bronek
    thejohnfreeman authored and Bronek committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    29abf3f View commit details
    Browse the repository at this point in the history

  2. Reformat code with clang-format-18

    @Bronek
    Bronek committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    640167d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    88c1b12 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Update cmake/RippledCompiler.cmake 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 21, 2024
    Configuration menu
    Copy the full SHA
    f9da961 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Update cmake/RippledCore.cmake 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    f85be5a View commit details
    Browse the repository at this point in the history

  2. Update CONTRIBUTING.md 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    eba5106 View commit details
    Browse the repository at this point in the history

  3. Update src/xrpld/app/tx/detail/SetSignerList.cpp 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    45b172a View commit details
    Browse the repository at this point in the history

  4. Add missing include

    @Bronek
    Bronek committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    cd50a59 View commit details
    Browse the repository at this point in the history

  5. Update CONTRIBUTING.md 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    ed3ea3c View commit details
    Browse the repository at this point in the history

  6. Update src/libxrpl/json/Object.cpp 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    13bf388 View commit details
    Browse the repository at this point in the history

  7. Update src/libxrpl/json/Object.cpp 

    Co-authored-by: Bart <[email protected]>
    @Bronek @bthomee
    Bronek and bthomee authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    decd7f9 View commit details
    Browse the repository at this point in the history

  8. Remove unnecessary include

    @Bronek
    Bronek committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    e9e36a7 View commit details
    Browse the repository at this point in the history

  9. Minor fixes

    @Bronek
    Bronek committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    1db9890 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Documentation improvements

    @Bronek
    Bronek committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    83808fa View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

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

Commits on Nov 5, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    8cc0c13 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

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

Commits on Nov 19, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

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

Commits on Dec 2, 2024

  1. Merge branch 'develop' into feature/antithesis-instrumentation

    @Bronek
    Bronek committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    7b2e65d View commit details
    Browse the repository at this point in the history

  2. Replace new asserts

    @Bronek
    Bronek committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    91da172 View commit details
    Browse the repository at this point in the history