170 Commits (f3de50a8c62fa4a39ddd38fe9126aff7d6166761)

Author	SHA1	Message	Date
Feist Josselin	701a6a7c51	Add more details on external publications	3 years ago
Feist Josselin	e31487455c	Update README.md	4 years ago
Feist Josselin	e12b9f14a6	Update README.md	4 years ago
Josselin	07d06f1f49	Open source write-after-write detector	4 years ago
Josselin	54251b096e	Open source dead-code detector	4 years ago
Feist Josselin	5021f3e7a0	Add "Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts" paper	4 years ago
Franco Victorio	d10fe9a0fe	Update README.md	4 years ago
Feist Josselin	f5ca637c34	Update external publications	4 years ago
Feist Josselin	e8f4f42886	Update README.md	4 years ago
Josselin	e0fae81573	Fix incorrect confidence on assert state change detector	4 years ago
Josselin	2a66915f29	Update readme	4 years ago
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