Issues

• [Feature-request]: ERC-7702 Smart-EOA Properties

  crytic/properties#87 · Filter by author omarinuwa opened on Nov 27, 2025

• [Feature-request]: Add Properties for ERC1155 Contracts

  crytic/properties#57 · Filter by author pcaversaccio opened on Apr 24, 2024

• [Bug-Candidate]: PropertiesConstants.INITIAL_BALANCE is an arbitrary value unrelated to Echidna default setup

  crytic/properties#52 · Filter by author aviggiano opened on Dec 27, 2023

• PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion

  crytic/properties#51 · Filter by author montyly opened on Dec 6, 2023
  2

• [Feature-request]: concentrated liquidity/ tick math properties

  crytic/properties#50 · Filter by author 0xalpharush opened on Nov 27, 2023

• [Bug-Candidate]: Rename "clamp" to avoid confusion

  crytic/properties#49 · Filter by author CodeSandwich opened on Nov 17, 2023

• Add a writeup on the divuu vuln

  crytic/properties#47 · Filter by author montyly opened on Nov 3, 2023

• [Feature-request]: foundry-compatible assertion helpers

  crytic/properties#42 · Filter by author aviggiano opened on Aug 30, 2023

• Add helper to assert reverting transaction

  crytic/properties#40 · Filter by author montyly opened on Aug 4, 2023
  1

• Standardize the properties

  crytic/properties#39 · Filter by author montyly opened on Jul 26, 2023

• [Feature-request]: MultiSig wallet properties

  crytic/properties#32 · Filter by author tuturu-tech opened on May 18, 2023

• [Feature-request]: NFT minting properties

  crytic/properties#25 · Filter by author aviggiano opened on May 8, 2023
  2

• [Feature-request]: Merkle trie properties

  crytic/properties#24 · Filter by author bsamuels453 opened on Apr 17, 2023
  2

• Create helpers for non standard and edge case of erc20

  crytic/properties#20 · Filter by author montyly opened on Mar 27, 2023
  1

• [Bug-Candidate]: ABDKMath64x64PropertyTests.sol: Tests output false negatives

  crytic/properties#13 · Filter by author beber89 opened on Mar 15, 2023
  3

• [Feature-request]: Add support for additional ERCs

  crytic/properties#5 · Filter by author montyly opened on Feb 23, 2023
  2

• [Feature-request]: Add support for common AMM or liquidity pool

  crytic/properties#4 · Filter by author montyly opened on Feb 23, 2023
  3

• [Feature-request]: Add support for PRBMath

  crytic/properties#2 · Filter by author montyly opened on Feb 23, 2023
  1