Code

Add Antithesis intrumentation#5042

Code

Closed

Bronek wants to merge 42 commits intoXRPLF:developXRPLF/rippled:developfrom Bronek:feature/antithesis-instrumentationBronek/rippled:feature/antithesis-instrumentationCopy head branch name to clipboard

+3,852-1,038

Commits

Commits on Jul 12, 2024

• Add Antithesis SDK and libvoidstar.o loader

  Bronek

  committed
  8490f8f

  Copy full SHA for 8490f8f

• Upgrade Antithesis SDK to 0.3.1

  Bronek

  committed
  06933bb

  Copy full SHA for 06933bb

• Export antithesis-sdk-cpp to enable PUBLIC use

  Bronek

  committed
  0fe2abe

  Copy full SHA for 0fe2abe

• Add XRPL_ASSERT and XRPL_UNREACHABLE

  Bronek

  committed
  75b3f8f

  Copy full SHA for 75b3f8f

• Add error message when Antithesis enabled without Debug

  Bronek

  committed
  3666a84

  Copy full SHA for 3666a84

• Move instrumentation to beast, minor improvements

  Bronek

  committed
  c430312

  Copy full SHA for c430312

• Remove XRPL_ASSERT from unit tests

  Bronek

  committed
  c58258b

  Copy full SHA for c58258b

Commits on Jul 19, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  6767610

  Copy full SHA for 6767610

• Give names to asserts

  Bronek

  committed
  8d7cd9c

  Copy full SHA for 8d7cd9c

Commits on Jul 30, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  f5733d7

  Copy full SHA for f5733d7

• Convert new asserts to XRPL_ASSERT

  Bronek

  committed
  0d74ac0

  Copy full SHA for 0d74ac0

Commits on Sep 17, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  fb97f69

  Copy full SHA for fb97f69

• Ignore formatting in external/antithesis-sdk

  Bronek

  committed
  0cd3188

  Copy full SHA for 0cd3188

Commits on Sep 24, 2024

• Update CONTRIBUTING.md

  Bronek

  committed
  338c5b7

  Copy full SHA for 338c5b7

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  78b7d1f

  Copy full SHA for 78b7d1f

• Minor changes in CONTRIBUTING.md

  Bronek

  committed
  e0b078f

  Copy full SHA for e0b078f

Commits on Sep 26, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  4ab4284

  Copy full SHA for 4ab4284

Commits on Oct 8, 2024

• Bump antithesis-sdk to 0.3.2

  Show description for c6a9dd5
  Bronek

  committed
  c6a9dd5

  Copy full SHA for c6a9dd5

• Define ASSERT consistently with other instrumentation macros

  Show description for 62483d5
  Bronek

  committed
  62483d5

  Copy full SHA for 62483d5

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  authored
  3576933

  Copy full SHA for 3576933

• Small update in cmake file

  Bronek

  committed
  4b63edf

  Copy full SHA for 4b63edf

Commits on Oct 11, 2024

• Update Antithesis SDK

  Bronek

  committed
  400f4a4

  Copy full SHA for 400f4a4

Commits on Oct 17, 2024

• Update clang-format settings

  

  thejohnfreeman

  authored and

  Bronek

  committed
  29abf3f

  Copy full SHA for 29abf3f

• Reformat code with clang-format-18

  Bronek

  committed
  640167d

  Copy full SHA for 640167d

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  88c1b12

  Copy full SHA for 88c1b12

Commits on Oct 21, 2024

• Update cmake/RippledCompiler.cmake

  Show description for f9da961
  

  Bronek

  and

  bthomee

  authored
  f9da961

  Copy full SHA for f9da961

Commits on Oct 22, 2024

• Update cmake/RippledCore.cmake

  Show description for f85be5a
  

  Bronek

  and

  bthomee

  authored
  f85be5a

  Copy full SHA for f85be5a

• Update CONTRIBUTING.md

  Show description for eba5106
  

  Bronek

  and

  bthomee

  authored
  eba5106

  Copy full SHA for eba5106

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

  Show description for 45b172a
  

  Bronek

  and

  bthomee

  authored
  45b172a

  Copy full SHA for 45b172a

• Add missing include

  Bronek

  committed
  cd50a59

  Copy full SHA for cd50a59

• Update CONTRIBUTING.md

  Show description for ed3ea3c
  

  Bronek

  and

  bthomee

  authored
  ed3ea3c

  Copy full SHA for ed3ea3c

• Update src/libxrpl/json/Object.cpp

  Show description for 13bf388
  

  Bronek

  and

  bthomee

  authored
  13bf388

  Copy full SHA for 13bf388

• Update src/libxrpl/json/Object.cpp

  Show description for decd7f9
  

  Bronek

  and

  bthomee

  authored
  decd7f9

  Copy full SHA for decd7f9

• Remove unnecessary include

  Bronek

  committed
  e9e36a7

  Copy full SHA for e9e36a7

• Minor fixes

  Bronek

  committed
  1db9890

  Copy full SHA for 1db9890

Commits on Oct 23, 2024

• Documentation improvements

  Bronek

  committed
  83808fa

  Copy full SHA for 83808fa

Commits on Nov 4, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  b4ed0e7

  Copy full SHA for b4ed0e7

Commits on Nov 5, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  8cc0c13

  Copy full SHA for 8cc0c13

Commits on Nov 7, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  f48c09a

  Copy full SHA for f48c09a

Commits on Nov 19, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  5ac08c3

  Copy full SHA for 5ac08c3

Commits on Dec 2, 2024

• Merge branch 'develop' into feature/antithesis-instrumentation

  Bronek

  committed
  7b2e65d

  Copy full SHA for 7b2e65d

• Replace new asserts

  Bronek

  committed
  91da172

  Copy full SHA for 91da172