Skip to content

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.

Sign up for GitHub

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

20 Open 5 Closed
20 Open 5 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Bug-Candidate]: Difference in ERC721BurnableProperties for external vs. internal
#58 opened Apr 24, 2024 by engn33r
1
[Feature-request]: Add Properties for ERC1155 Contracts
#57 opened Apr 24, 2024 by pcaversaccio
usedId purpose in ERC721
#56 opened Apr 23, 2024 by pcaversaccio
1
[Bug-Candidate]: PropertiesConstants.INITIAL_BALANCE is an arbitrary value unrelated to Echidna default setup
#52 opened Dec 27, 2023 by aviggiano
PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion
#51 opened Dec 6, 2023 by montyly
2
[Feature-request]: concentrated liquidity/ tick math properties
#50 opened Nov 27, 2023 by 0xalpharush
[Bug-Candidate]: Rename "clamp" to avoid confusion
#49 opened Nov 17, 2023 by CodeSandwich
Add a writeup on the divuu vuln
#47 opened Nov 3, 2023 by montyly
[Feature-request]: Refactor contract names to match contract file names
#43 opened Aug 30, 2023 by aviggiano
[Feature-request]: foundry-compatible assertion helpers
#42 opened Aug 30, 2023 by aviggiano
Add helper to assert reverting transaction
#40 opened Aug 4, 2023 by montyly
1
Standardize the properties
#39 opened Jul 26, 2023 by montyly
[Feature-request]: MultiSig wallet properties
#32 opened May 18, 2023 by tuturu-tech
[Feature-request]: NFT minting properties
#25 opened May 8, 2023 by aviggiano
2
[Feature-request]: Merkle trie properties
#24 opened Apr 17, 2023 by bsamuels453
2
Create helpers for non standard and edge case of erc20
#20 opened Mar 27, 2023 by montyly
1
[Bug-Candidate]: ABDKMath64x64PropertyTests.sol: Tests output false negatives
#13 opened Mar 15, 2023 by beber89
3
[Feature-request]: Add support for additional ERCs
#5 opened Feb 23, 2023 by montyly
2
[Feature-request]: Add support for common AMM or liquidity pool
#4 opened Feb 23, 2023 by montyly
3
[Feature-request]: Add support for PRBMath
#2 opened Feb 23, 2023 by montyly
1
ProTip! Exclude everything labeled bug with -label:bug.