mythril

Author	SHA1	Message	Date
Nikhil Parasaram	4084113513	parallelise test execution (#1775 ) * parallelise test execution * Rename tests * Fix tests	1 year ago
Nikhil Parasaram	90964e55b0	Add exit code (#1662 ) * Add exit code * Fix tests	2 years ago
Nikhil Parasaram	949a9820ad	Fix caching for exceptions module (#1633 )	3 years ago
Nikhil Parasaram	651a17c647	Fix issue with cache during summaries (#1619 ) * Check versions before using integer module * Use IssueAnnotations * Fix misc issues with summaries * Fix cache issue * Fix safe functions	3 years ago
Nikhil Parasaram	9d7873621e	Fixes issues by considering future concrete hashes (#1547 ) * Fix issues with hashing * Fix offsets and edge cases	3 years ago
Nikhil Parasaram	3e113c9a55	[WIP] Add safe function support (#1510 ) * Add safe functions cli * Add a change * Add tests * Change examples * Fix bytecode tests	3 years ago