2619 Commits (6d3149a59a4560942a774826ce53ef9a0f585b65)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	61499d6125	Import type parsing for Solidity 0.8 (fix #807)	4 years ago
Josselin	3280291e10	PoC of new checklist	4 years ago
Feist Josselin	5021f3e7a0	Add "Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts" paper	4 years ago
Josselin	3261ca1a65	0.7.1	4 years ago
Feist Josselin	7fe4253e1a	Merge pull request #815 from crytic/dev-0.8 ... Improve parsing of Solidity 0.8	4 years ago
Josselin	d40adea7f1	black	4 years ago
Josselin	2023f9997d	Improve parsing of Solidity 0.8	4 years ago
Feist Josselin	719d22c42d	Merge pull request #813 from crytic/dev-controlled-array-fp ... Remove false positive on array length detector	4 years ago
Feist Josselin	965376a356	Merge pull request #812 from crytic/dev-solc-recommendations ... Update solc recommendations	4 years ago
Josselin	f9980184c2	Update etherlime test	4 years ago
Feist Josselin	66e2c1b7c6	Merge pull request #811 from crytic/dev-flat-ci ... Add slither-flat to the CI	4 years ago
Josselin	2dcc01ebd3	Remove false positive on array length detector	4 years ago
Josselin	82e72ea2f5	Update solc recommendations ... Fix #755	4 years ago
Josselin	b89e290e04	minor	4 years ago
Josselin	346b759c9b	Add slither-flat to the CI	4 years ago
Feist Josselin	b0075a41ca	Merge pull request #810 from crytic/dev-fix-types-propagation ... Fix signed integer type propagation	4 years ago
Josselin	3e3bfc47a9	Fix signed integer type propagation (fix #805)	4 years ago
Josselin	09883a5c1f	Merge branch 'master' of github.com:crytic/slither	4 years ago
Josselin	555985fea9	Minor	4 years ago
Feist Josselin	3a62721457	Merge pull request #802 from crytic/dev-stop-yul ... Add support for stop() in yul	4 years ago
Feist Josselin	940833bd5b	Merge pull request #763 from crytic/dev-echidna-printer-fix ... Fix Echidna printer	4 years ago
Josselin	b580098a1f	Minor	4 years ago
Josselin	2af8b2b425	run black	4 years ago
Feist Josselin	29524f920e	Merge pull request #796 from crytic/dev-fix-0.7-parsing ... Fix expression parsing for solc > 0.7	4 years ago
Feist Josselin	18170227db	Merge pull request #801 from crytic/dev-uninitialized-doc ... Update uninitialized state variable doc	4 years ago
Josselin	28da1ad031	Add support for stop() in yul (fix #742)	4 years ago
Feist Josselin	189867381f	Merge pull request #766 from crytic/dev-inheritance-graph ... Hot fix inheritance graph filename	4 years ago
Feist Josselin	b93fcc1565	Merge pull request #800 from crytic/dev-fix-srcmapping ... Fix srcmapping for parameter/return in function definition	4 years ago
Feist Josselin	ea640a04ba	Merge pull request #799 from crytic/dev-gwei ... Add gwei support	4 years ago
Feist Josselin	70096c58d5	Merge pull request #798 from crytic/dev-ci ... Update to pylint 2.8.2 black 20.8b1	4 years ago
Josselin	9b2a810f57	Update recommendation on unitiliazed local variable	4 years ago
Josselin	604b59e836	Update doc on uninitialized state variable (fix #782)	4 years ago
Josselin	f3a2383a27	Merge branch 'dev-ci' into dev-fix-0.7-parsing	4 years ago
Josselin	6853b6b705	Merge branch 'dev-ci' into dev-inheritance-graph	4 years ago
Josselin	112e41accf	Merge branch 'dev-echidna-printer-fix' of github.com:crytic/slither into dev-echidna-printer-fix	4 years ago
Josselin	0dbcae7692	Merge branch 'dev-ci' into dev-echidna-printer-fix	4 years ago
Josselin	c65087c76e	Merge branch 'dev-gwei' into dev-fix-srcmapping	4 years ago
Josselin	b538af3583	Merge branch 'dev-ci' into dev-gwei	4 years ago
Josselin	fedf24ce4f	Fix pylint ... Split CI into three separate process	4 years ago
Josselin	6ee0cd99ac	Merge branch 'dev' into dev-ci	4 years ago
Josselin	246a9b22da	Fix srcmapping for parameter/return in function def (fix #771)	4 years ago
Josselin	3f462482e7	fix pylint	4 years ago
Josselin	273e40ee20	fix pylint	4 years ago
Josselin	ecdeeaaf7c	Add gwei support (fix #748, fix #772)	4 years ago
Josselin	526a156d0a	Update to pylint `2.8.2` black `20.8b1`.	4 years ago
Josselin	2dbf7659d7	Fix expression parsing for solc > 0.7	4 years ago
Feist Josselin	7bc508b104	Merge pull request #791 from gnattishness/gnattishness-fix-flatten-packaging ... Rename __init__.y.py to __init__.py - fixes #790	4 years ago
Nat	6f471487ab	Rename __init__.y.py to __init__.py ... Fix flattening.export package so that it is correctly included in installed package.	4 years ago
Feist Josselin	35d74949d8	Add	4 years ago
Feist Josselin	d7957ea0e7	Merge pull request #786 from crytic/dev-fix-user-defined-type ... Fix for top level user defined type	4 years ago