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.

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
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

Issues list

usedId purpose in ERC721
#56 opened Apr 23, 2024 by pcaversaccio updated Apr 26, 2024
[Feature-request]: Add Properties for ERC1155 Contracts
#57 opened Apr 24, 2024 by pcaversaccio updated Apr 24, 2024
[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
Add a writeup on the divuu vuln
#47 opened Nov 3, 2023 by montyly updated Nov 3, 2023
[Feature-request]: foundry-compatible assertion helpers
#42 opened Aug 30, 2023 by aviggiano updated Aug 30, 2023
Add helper to assert reverting transaction
#40 opened Aug 4, 2023 by montyly updated Aug 13, 2023
Standardize the properties
#39 opened Jul 26, 2023 by montyly updated Jul 26, 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
[Feature-request]: NFT minting properties
#25 opened May 8, 2023 by aviggiano updated May 9, 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
[Feature-request]: Add support for PRBMath
#2 opened Feb 23, 2023 by montyly updated Mar 5, 2023
ProTip! Type g i on any issue or pull request to go back to the issue listing page.