159 Commits (4e3de94f913a3c729e93c2793ca516b7bd3fd9b9)

Author	SHA1	Message	Date
Josselin	e52a2aee0e	Update README.md	4 years ago
Feist Josselin	62885d5fe9	Update README.md	4 years ago
Feist Josselin	a0857c8ccb	Update README.md	4 years ago
Feist Josselin	1e32faa8bb	Update README.md ... Add "Smart Contract Repair" paper	4 years ago
Samuel E. Moelius III	031465bb34	"slither-erc" -> "slither-check-erc"	4 years ago
Emilio López	e9f4283323	linting: Solve Markdown linting errors	4 years ago
Josselin	47fd39d5da	List external publications	5 years ago
Feist Josselin	6622113129	Update README.md	5 years ago
Josselin	ad63e24928	Update README	5 years ago
Josselin	aaaec10077	Update README.md	5 years ago
Josselin	bac1032778	Update README and url links	5 years ago
Paul Kehrer	e0c30655da	no more travisci	5 years ago
Feist Josselin	3acb3be53e	Update README.md	5 years ago
Paul Kehrer	ce840d4e41	github actions	5 years ago
Josselin	85ea17807d	Update README ... Update to crytic-compile 0.1.5	5 years ago
Feist Josselin	6ee1428fdb	Update README.md ... Add a reference to the crytic research prize	5 years ago
Ender Loc Phan	7c246f00fe	Updated pip3 for Macos ... Install by pip does not work in Macos	5 years ago
Feist Josselin	10376a4027	Update README.md	5 years ago
Josselin	f7fa51f875	Refactor README: ... - Shorten the list of detectors - Add reference to Crytic - Shorten and order printers - Add tools description - Add Slither academic paper	5 years ago
Josselin	010c159242	Update documentation	5 years ago
Feist Josselin	18b2bbd8a7	Update README.md	5 years ago
burrrata	8c80fec033	Update README.md	5 years ago
Josselin	36d56d0b93	Update README.md	5 years ago
Feist Josselin	e30709932c	Update README.md	5 years ago
Feist Josselin	ccfdfd7dbb	Update README.md	5 years ago
Josselin	6b24829861	Update README	6 years ago
Eric Rafaloff	37d1fa0729	Add 'optimization' as a new detector category ... Apply to the following detectors: - constable-states - external-function	6 years ago
Chris Chinchilla	343697dad7	Update README.md	6 years ago
Josselin	7e2ed2bf99	Fix incorrect wiki link	6 years ago
Josselin	4353451172	Update README	6 years ago
Josselin	b992ecc2c7	Update README	6 years ago
Josselin	cda075ac2f	Minor	6 years ago
Josselin	7e7910fa9a	Update README.md	6 years ago
Josselin	559e35b95d	Update README	6 years ago
Josselin	88a6ced3af	rtlo detector: minor modifs	6 years ago
Josselin	78b60631ac	Update travis badge	6 years ago
Josselin	b7786962a1	Update travis badge	6 years ago
Josselin	a8b7e55638	Update wiki link (crytic) (Fix #190)	6 years ago
Josselin	108851ac9e	README: add logo	6 years ago
Josselin	bbaa8e541a	Rename variablesorder -> variableorder	6 years ago
Josselin	5cc07a3608	Update wiki links	6 years ago
Josselin	f53151e695	Open source 3 detectors: ... - erc20-interface - erc20-indexed - deprecated-standards	6 years ago
Feist Josselin	428a1e3462	Update README.md	6 years ago
Feist Josselin	e377258b81	Update README.md	6 years ago
Josselin	3665108cf8	Update travis test to fixed solc version/pragma json ... Update README	6 years ago
Josselin	367ba02562	Add WIKI link to printers (close 164)	6 years ago
Josselin	7efc087c74	Improve printer documentation	6 years ago
Dan Guido	641703b841	Update README.md	6 years ago
Dan Guido	39dc7731e9	grammar	6 years ago
Feist Josselin	00b3c891ee	Add eth-security-toolbox information	6 years ago