All pull requests

Pull requests

• Add build CI, remappings validation, and ERC721 Medusa coverage

  #107·nisedo opened Mar 9, 2026·

  ·
  5

• Bump hardhat from 3.0.15 to 3.1.9

  dependenciesnpm
  #106·dependabot[bot] opened Feb 23, 2026·

  ·

• Bump prettier from 3.6.2 to 3.8.1

  dependenciesnpm
  #103·dependabot[bot] opened Jan 26, 2026·

  ·

• Bump prettier-plugin-solidity from 2.2.0 to 2.2.1

  dependenciesnpm
  #96·dependabot[bot] opened Dec 22, 2025·

  ·

• Dev multisig wallet properties

  #89·omarinuwa opened Nov 28, 2025·

  ·
  1

• Feature/uniswap v2 properties

  #88·omarinuwa opened Nov 28, 2025·

  ·
  1

• Add concentrated liquidity AMM properties (Uniswap V3 style)

  #86·omarinuwa opened Nov 27, 2025·

  ·
  1

  1

• Add ERC20 edge case testing helper

  #85·omarinuwa opened Nov 27, 2025·

  ·
  1

• Feature: Add ERC1155 multi-token standard properties

  #84·omarinuwa opened Nov 27, 2025·

  ·
  1

• Standardize all properties

  #83·omarinuwa opened Nov 27, 2025·

  ·
  1

• Add forge-std compatible assertion aliases for easier integration

  #67·omarinuwa opened Nov 26, 2025·

  ·
  1

• Add property documentation standards and standardize ERC20BasicProper…

  #66·omarinuwa opened Nov 26, 2025·

  ·
  1

• ERC-20 transferFrom greater than allowance not allowed

  #41·broccolirob opened Aug 29, 2023·

  ·
  3

• Adding UniswapV2 properties

  #38·tuturu-tech opened Jul 7, 2023·

  ·
  2

• Added ERC1155 properties

  #35·the-caliber opened Jun 14, 2023·

  ·
  1

• PRBMath SD59x18 and UD60x18 properties

  #30·tuturu-tech opened May 15, 2023·

  ·
  17

• fix: #13 add_test_range & sub_test_range false negatives

  #14·beber89 opened Mar 15, 2023·

  ·
  4