-
Notifications
You must be signed in to change notification settings - Fork 45
Issues: crytic/properties
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[Bug-Candidate]: Difference in ERC721BurnableProperties for external vs. internal
#58
opened Apr 24, 2024 by
engn33r
updated Apr 26, 2024
[Feature-request]: Add Properties for
ERC1155
Contracts
#57
opened Apr 24, 2024 by
pcaversaccio
updated Apr 24, 2024
[Bug-Candidate]:
PropertiesConstants.INITIAL_BALANCE
is an arbitrary value unrelated to Echidna default setup
#52
opened Dec 27, 2023 by
aviggiano
updated Dec 27, 2023
PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion
#51
opened Dec 6, 2023 by
montyly
updated Dec 6, 2023
[Feature-request]: concentrated liquidity/ tick math properties
#50
opened Nov 27, 2023 by
0xalpharush
updated Nov 27, 2023
[Bug-Candidate]: Rename "clamp" to avoid confusion
#49
opened Nov 17, 2023 by
CodeSandwich
updated Nov 17, 2023
[Feature-request]: Refactor contract names to match contract file names
#43
opened Aug 30, 2023 by
aviggiano
updated Aug 30, 2023
[Feature-request]: foundry-compatible assertion helpers
#42
opened Aug 30, 2023 by
aviggiano
updated Aug 30, 2023
[Feature-request]: Add support for common AMM or liquidity pool
#4
opened Feb 23, 2023 by
montyly
updated Jun 30, 2023
[Feature-request]: Merkle trie properties
#24
opened Apr 17, 2023 by
bsamuels453
updated Jun 20, 2023
[Feature-request]: MultiSig wallet properties
#32
opened May 18, 2023 by
tuturu-tech
updated May 18, 2023
Create helpers for non standard and edge case of erc20
#20
opened Mar 27, 2023 by
montyly
updated Apr 7, 2023
[Feature-request]: Add support for additional ERCs
#5
opened Feb 23, 2023 by
montyly
updated Apr 4, 2023
[Bug-Candidate]: ABDKMath64x64PropertyTests.sol: Tests output false negatives
#13
opened Mar 15, 2023 by
beber89
updated Mar 22, 2023
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.