9 Commits (fix/constraints-after-issues)

Author	SHA1	Message	Date
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