1607 Commits (94d437baae675ad4ee92a6f16c264a765e30a01f)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	c723e28980	Add function.shadows property ... Fix incorrect inheritance order Improve inheritance graph printer: - fix incorrect inheritance collision - do not print constructor variables functions	5 years ago
Feist Josselin	07ea324a1a	Merge pull request #321 from crytic/dev-echidna ... Echidna guidance printer	5 years ago
Feist Josselin	2a66f5786e	Merge pull request #328 from crytic/dev-flattening ... Add slither-flat	5 years ago
Josselin	2658a6b58d	Merge branch 'dev' into dev-flattening	5 years ago
Josselin	0d0a77a740	Add node_initalization to state variable ... Improve echidna printer	5 years ago
Josselin	9db6f4396e	Fix incorrect flattening	5 years ago
Feist Josselin	5992ba1dea	Merge pull request #238 from crytic/dev-slither-format-tool-only-new ... Add slither-format: automatic patches generation	5 years ago
Josselin	b9ec9b1e8d	Remove unused visitor	5 years ago
Feist Josselin	2d82c6f0ea	Update setup.py	5 years ago
Josselin	f916ee544d	Clean slither-format directory	5 years ago
Josselin	f4e2505c07	slither-flat: Add support for --contract	5 years ago
Josselin	6df3274852	Merge branch 'dev' into dev-echidna	5 years ago
Josselin	0c264374cf	Merge branch 'dev' into dev-flattening	5 years ago
Josselin	1774c66eb6	Merge branch 'dev' into dev-slither-format-tool-only-new	5 years ago
Feist Josselin	1ed272b372	Merge pull request #334 from crytic/dev-external-functions ... Improve external function detector: merge together shadowed function	5 years ago
Josselin	28b7bb35ef	Update dapp test	5 years ago
Josselin	9602f7e0ef	Merge branch 'dev' into dev-slither-format-tool-only-new	5 years ago
Josselin	704ca81a0b	Merge branch 'dev' into dev-external-functions	5 years ago
Feist Josselin	be6fd2d20f	Merge pull request #339 from crytic/dev-dapp-speedup ... Use cache to speed up dapp travis test	5 years ago
Josselin	30e8e88a3c	Use cache to speed up dapp travis test ... Similar to https://github.com/crytic/crytic-compile/pull/42	5 years ago
Josselin	256fb1ec0b	Update etherscan test	5 years ago
Josselin	ca2f271dd5	Merge branch 'dev' into dev-external-functions	5 years ago
Feist Josselin	6fd8d76d71	Merge pull request #338 from crytic/dev-fix-unused-states ... Fix unused state	5 years ago
Josselin	0c91571295	Fix unused state: #333 lead to miss some results	5 years ago
Josselin	1dc5f496b6	Refactor formatter dir achitecture: ... - move to slither.formatters.x - add _format in abstract detector - simplify slither-format tool Add slither flag --generate-patches: generate patches and add them to the json Change string / bytes in create_patch functions Remove slither-format --skip-patch-generation flag	5 years ago
Josselin	fe6dac61b5	Merge branch 'dev' into dev-slither-format-tool-only-new	5 years ago
Josselin	59691a8fdb	Merge branch 'master' into dev	5 years ago
Josselin	805b341d53	Use crytic-compile#master	5 years ago
Josselin	790d4edbf0	Naming convetion formatter: improve function comparison	5 years ago
Josselin	a2cdc67c28	Add missing set_expression	5 years ago
Josselin	b38ce905bd	Generate correct patch if 'var ' is used	5 years ago
Josselin	a1b4c31d91	Create one directory per result (might contain multiple patches)	5 years ago
Feist Josselin	6a7c9a1709	Merge pull request #333 from crytic/dev-constructorconstantvariable ... Add IR conversion for constant state variable conversion	5 years ago
Josselin	c679a2a4e4	Use signture to get function + improve naming convention to use canonical name comparison	5 years ago
Josselin	9d7870ac83	Minor	5 years ago
Josselin	ae14e9f248	Merge branch 'dev' into dev-slither-format-tool-only-new	5 years ago
Josselin	ecd2fb4be3	Merge branch 'dev-external-functions' into dev-slither-format-tool-only-new	5 years ago
Josselin	6dc1dcc290	Merge branch 'dev-constructorconstantvariable' into dev-slither-format-tool-only-new	5 years ago
Josselin	37908309a8	Add source mapping to inner expressions	5 years ago
Feist Josselin	e2474d5c04	Merge pull request #332 from crytic/dev-fix-abidecode ... Fix incorrect abi.decode translation	5 years ago
Josselin	2832d62ba4	Improve external function detector: merge together shadowed function	5 years ago
Josselin	a9b36863e7	Merge branch 'dev' into dev-slither-format-tool-only-new	5 years ago
Feist Josselin	ec159d1f3e	Merge pull request #330 from crytic/dev-human-printer ... Add optimization impact level to human summary	5 years ago
Josselin	5100038f24	Merge branch 'master' into dev	5 years ago
Feist Josselin	bb939ccf99	Merge pull request #329 from crytic/dev-fix-loop-break ... Fix parsing of infinite loop with break	5 years ago
Josselin	99e7b81afe	Fix incorrect context given to set_offset	5 years ago
Josselin	7d42faad1e	Fix constant function patch	5 years ago
Josselin	78a8887acf	Improve constant state filter	5 years ago
Josselin	b600cae512	Improve comment patching + state variable constant patching	5 years ago
Josselin	9ad04d9128	Add missing source mapping	5 years ago