v1.1.0

What's Changed

• ERC721 properties by @tuturu-tech in #22
• Create generic User to proxy arbitrary requests by @aviggiano in #44
• Initial medusa support for the CI by @gustavo-grieco in #36
• Update hevm cheatcodes to latest by @smonicas in #53

Fixes

• Fix typo in deal Hevm cheatcode by @aviggiano in #54
• 🔨 fix typo in Hevm.sol by @GianfrancoBazzani in #55
• Fixed example tests for ERC721 and added minting of multiple tokens by @tuturu-tech in #26
• Replace inv_test_minimum value with the correct one by @tuturu-tech in #31
• Fix documentation for pow_test_distributive by @aviggiano in #45
• Fix TestERC20Token decimals type (uint256->uint8) by @aviggiano in #48
• Update ABDKMath64x64PropertyTests.sol by @aviggiano in #46

Other bits that have changed

• Update readme and configs to be consistent with the latest echidna version by @tuturu-tech in #28
• Added a "how to add a property" section by @tuturu-tech in #29
• Update link to Empire Hacking Slack by @oldsj in #37
• Run formatter and linter by @aviggiano in #21
• Add ERC721 examples to the CI by @tuturu-tech in #27
• chore: add SPDX license identifiers for files missing them by @0xteddybear in #59

Full Changelog: v1.0.0...v1.0.1

crytic/properties 1.0.0

This is the first crytic/properties release corresponding to the announcement in our blog post.