11 Commits (optimise/summaries)

Author	SHA1	Message	Date
Nikhil Parasaram	d8aa12d62b	[WIP]Use latest mythril CI image (#1463) ... * Use updated container * Use geth option * Use geth option * Update geth command * use http flag * Fix the geth flags * Remove rpc test and use 0.5.0 * black * Fix tests for different solc version * Fix tests for different solc version * Fix analyzer test * Fix eth-hash	4 years ago
Nikhil Parasaram	7a105e5dec	Py35 support (#1233) ... * Add py35 into tox * Use solcx for python3.6+ * Fix tests	5 years ago
Nikhil Parasaram	7a025fadee	Update the execution timeout for calls.sol test	5 years ago
Nikhil Parasaram	1a63fb20ef	Refactor mythril/mythril.py	6 years ago
Nikhil Parasaram	6322b4d3c7	Fix the timelimit of calls.sol execution	6 years ago
Dominik Muhs	c4127fd229	Add Ubuntu PPA support to solc installer, fix version to 0.5.0	6 years ago
Nikhil Parasaram	75c0f1ac16	Reformat code with black	6 years ago
Nikhil Parasaram	b1ef2953d7	Fix the tests by fixing solc version of them	6 years ago
Bernhard Mueller	e04dd1cdda	Refactor package and class names	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Joran Honig	8314be6074	Symbolic test implementation	6 years ago
Joran Honig	ff65853def	Update test to reflect the refactor	6 years ago
Joran Honig	3c379953ba	Implement symbolic exec for multi transactional analysis and bugfixes	6 years ago
Joran Honig	6012590e85	Bugfixes and test update	6 years ago
Joran Honig	2807cad29a	init transaction test	6 years ago