16 Commits (eb671ec341653d9d55561ab665149f60495ce77a)

Author	SHA1	Message	Date
Josselin	b09a43d794	Disable slither-prop from CI ... until https://github.com/crytic/slither/issues/993 is solved	3 years ago
Josselin	346b759c9b	Add slither-flat to the CI	4 years ago
Josselin	13e6939a93	Improvements	4 years ago
Josselin	d401aa19f8	Use python version of solc-select in CI	4 years ago
Josselin	2ee2792064	Refactor detectors tests to use pytest	4 years ago
Josselin	b703ce39ea	Improve github actions	4 years ago
samczsun	2af66130f6	parser testing	4 years ago
Josselin	e77ec257c4	load bashrc in workflow	4 years ago
Josselin	93eb08e1ba	Update solc-select installation	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Josselin	fb039abcf3	Remove dapp test	5 years ago
Josselin	bab01ebafe	Disable dapp test	5 years ago
Josselin	bfde29c954	Remove etherscan test	5 years ago
Josselin	2c429e6d23	Add slither-prop test	5 years ago
Josselin	18e971ef64	Fix CI (close #402)	5 years ago
Josselin	ef07a978c0	Use python setup.py install in gh action	5 years ago
Paul Kehrer	ce840d4e41	github actions	5 years ago