2465 Commits (dc275d3cc8ac0e33262c0f1c9d340df4485dc924)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	dc275d3cc8	Merge branch 'dev' into dev-improve-struct-top-level-import	3 years ago
Feist Josselin	cf8be9df87	Merge pull request #1073 from BradSwain/brad/auto-install-solc ... Install missing solc versions in tests	3 years ago
Brad Swain	783e527ce0	use solc_select python api	3 years ago
Brad Swain	ebab210806	remove redundant line	3 years ago
Brad Swain	7ff981e602	auto install solc versions in detector tests	3 years ago
Brad Swain	1acfc0ab06	auto install missing solc versions	3 years ago
Feist Josselin	042068996a	Merge pull request #1069 from crytic/dev-test-0.8.12 ... Update ast tests for Solidity 0.8.12	3 years ago
Josselin	cb4678cb60	Set gh super linter version for black	3 years ago
Josselin	64100c7c25	Update ast tests for Solidity 0.8.12	3 years ago
Josselin	4f18cca8d9	Improve top level structure with import support	3 years ago
Feist Josselin	f7b55bc3b0	Merge pull request #1054 from crytic/issue-1052 ... add check for default config file	3 years ago
Feist Josselin	57bf155694	Merge pull request #1055 from crytic/dev-types ... Fix some mypy issues	3 years ago
Josselin	0618fb46f5	Fix some mypy issues	3 years ago
Jaime	5a0bac0e27	fix pylint	3 years ago
Feist Josselin	4f916faf21	Merge pull request #1053 from crytic/github-action ... Add github action to the readme	3 years ago
Jaime	8d7ca336ef	use default file if found	3 years ago
Jaime	570a6227b2	add check for default config file	3 years ago
Josselin	03425069da	Merge branch 'master' into dev	3 years ago
Feist Josselin	bebee1a9a6	Add github action to the readme	3 years ago
Feist Josselin	5abe86304b	Merge pull request #1046 from crytic/issue-1029 ... fix issue-1029, FP on unprotected-upgrade detector	3 years ago
Feist Josselin	d7468ca472	Merge pull request #1049 from crytic/dev-improve-deterministic-results ... Sort the detectors' results by Id	3 years ago
Jaime	657b8aeaa3	remove initializer check on initialize	3 years ago
Josselin	6e58e7e30b	Sort the detectors' results by Id ... This should reduce the friction when updating detectors json results	3 years ago
Feist Josselin	65383b9a13	Merge pull request #1048 from crytic/issue-887 ... fix issue-887, FP reentrancy in constructor	3 years ago
Feist Josselin	1cdb700747	Merge pull request #1041 from crytic/issue-923 ... Fixes issue-923, notifies the user when a config file is not found.	3 years ago
Feist Josselin	2b48b7b806	Merge pull request #1040 from crytic/issue-929 ... fix issue-929, FP in dead-code detector	3 years ago
Jaime	0651ee61ba	Merge branch 'dev' of github.com:crytic/slither into issue-929	3 years ago
Jaime	b1e236eb58	Merge branch 'dev' of github.com:crytic/slither into issue-923	3 years ago
Jaime	64f841028a	fix black	3 years ago
Jaime	5ae6a06ed1	fix issue-887, FP reentrancy in constructor	3 years ago
Jaime	32d265eb69	apply black	3 years ago
Jaime	f4df89bf80	Merge branch 'dev' of github.com:crytic/slither into issue-1029	3 years ago
Feist Josselin	feac84d7f7	Merge pull request #1045 from crytic/dev-pylint-2.12.2 ... Fix pylint 2.12.2	3 years ago
Jaime	731aa4d46d	fix indentation	3 years ago
Jaime	aa5421fc04	fix issue-1029, FP on unprotected-upgrade detector	3 years ago
Josselin	fe480c092c	Fix pylint 2.12.2	3 years ago
Feist Josselin	630a74f96b	Merge pull request #1044 from crytic/issue-feature-templates ... add bug and feature request templates	3 years ago
alpharush	1533b7c2c2	add bug and feature request templates	3 years ago
Jaime	bf540bf562	expand error message	3 years ago
Jaime	84427cfb86	fix issue-923, error when no config file found	3 years ago
Jaime	696fcc265f	fix issue-929, FP in dead-code detector	3 years ago
Feist Josselin	3172b02531	Merge pull request #1032 from crytic/dev-add-top-level-variables ... Add support to top level variables	3 years ago
Feist Josselin	fbf08843db	Merge pull request #878 from crytic/snd-echidna-solc-versions ... In Echidna printer output list of solc versions used	3 years ago
Feist Josselin	a382eb8d84	Merge pull request #712 from crytic/dev-buidler-erc20-props ... Enable the generation of ERC20 properties with BUIDLER	3 years ago
Feist Josselin	2b5de636bf	Merge pull request #1012 from justforfunya/patch-1 ... fix modifiers no json output file bug	3 years ago
Josselin	917f389539	Add tests	3 years ago
Feist Josselin	9e141a04f5	Merge pull request #1037 from GitHubPang/patch-1 ... Fix typo	3 years ago
GitHubPang	4e264cd353	Fix typo ... Add missing space in WIKI_EXPLOIT_SCENARIO in missing_zero_address_validation.py	3 years ago
Josselin	4e66acb46c	Add support to top level variables ... Fix #995	3 years ago
Feist Josselin	de0d526cfd	Merge pull request #1016 from crytic/fix-check-erc-output ... Fix slither-check-erc output	3 years ago