3 Commits (128f1a3ced9ea5e87423a2c1fc9e771cfe90b596)

Author	SHA1	Message	Date
rajeevgopalakrishna	f60e4d4915	Adds --verbose-json option to print patches in json format. The earlier --verbose option is now --verbose-test for use with unit tests.	6 years ago
rajeevgopalakrishna	2c987ad250	Corrects list of available detectors for usage --help	6 years ago
rajeevgopalakrishna	106928f911	All changes specific to slither-format tool, excluding the dependencies on slither parsing/core and detectors. Single commit because of checking out utils/slither_format from dev-slither-format into this branch.	6 years ago