├── .gitattributes ├── code-of-conduct.md ├── contributing.md ├── logo ├── logo.ai ├── logo.png └── logo2.png └── readme.md /.gitattributes: -------------------------------------------------------------------------------- 1 | * text=auto 2 | readme.md merge=union 3 | -------------------------------------------------------------------------------- /code-of-conduct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/code-of-conduct.md -------------------------------------------------------------------------------- /contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/contributing.md -------------------------------------------------------------------------------- /logo/logo.ai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/logo/logo.ai -------------------------------------------------------------------------------- /logo/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/logo/logo.png -------------------------------------------------------------------------------- /logo/logo2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/logo/logo2.png -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/HEAD/readme.md --------------------------------------------------------------------------------