Repository navigation

property-based fuzzing harness - #16

Open

0xgleb wants to merge 8 commits into

feat/funding-ratesfrom

feat/fuzz-harness

Open

property-based fuzzing harness#16
0xgleb wants to merge 8 commits into
feat/funding-ratesfrom
feat/fuzz-harness

Commits on Jul 8, 2026
- guard u128 narrowing, purge get_ prefix, emit oracle price in liquidations
  0xgleb
  committed
  2a2428c
- address pr review feedback
  0xgleb
  committed
  4cf0431
- address review feedback: overflow tests, cap-loss and amount-type docs
  0xgleb
  committed
  a1b8dfc
- document margin mechanism with latex formulas
  0xgleb
  committed
  1007a45
- dissolve the constants module into the modules that own its values
  0xgleb
  committed
  3efc618
- funding-rate payouts: oracle-tethered margin transfers
  0xgleb
  committed
  f2b4766
- property-based fuzzing harness: reference model and invariant proptests
  0xgleb
  committed
  034634d
- simulacrum on-chain executor: build and publish the real package
  0xgleb
  committed
  cdf7dfb