This repository was archived by the owner on Oct 10, 2024. It is now read-only.

Files

tools

and

riccardopersiani

Sep 16, 2020

5d2fa44 · Sep 16, 2020

Name		Name	Last commit message	Last commit date
parent directory ..
echidna		echidna	Update solidity version in tools	Sep 4, 2020
manticore		manticore	Update solidity version in tools	Sep 4, 2020
mythril		mythril	Upgrade to solc 0.6.12	Aug 20, 2020
prettier		prettier	Update prettier plugin to support 0.6 syntax	Aug 20, 2020
slither		slither	Fix slither	Sep 16, 2020
run-all.sh		run-all.sh	Manticore integration and tooling updates (#563 )	Apr 14, 2020