8 Commits (c7255768b7083e57b914d0b74a4a9f955b67577a)

Author	SHA1	Message	Date
Nikhil Parasaram	b2c409f53b	Add pending constraints strategy and make it the default search strategy (#1767) ... * Check for 'unchecked' before turning off Integer module * Use threading during solving constraints * Hide segfaults * Misc fixes * Misc fixes * Misc fixes * reformat with black * Mythril v0.23.21 (#1763) * Misc bug fixes (#1764) * Mythril v0.23.22 (#1765) * rebase * rebase * save changes * Save changes * Pop * Reformat	2 years ago
Nikhil Parasaram	030d640bbb	Fixes issue with ext calls (#1733) ... * Fix false positives on constructor * Fix issues with extcalls * Remove a log * Fix an ordering issue * Fix a bug with balance_	2 years ago
Nikhil Parasaram	0fac8e3d6d	Using cache search strategy (#1714) ... * Fix JSON serialisation issue * Add cache * Add tests * Remove a debug statement	2 years ago
Nikhil Parasaram	90964e55b0	Add exit code (#1662) ... * Add exit code * Fix tests	2 years ago
Nikhil Parasaram	510ff95655	Support symbolic bytecode (#1560) ... * Support symbolic bytecode * Use hex notation * Handle swarm hash	3 years ago
Nikhil Parasaram	89bc36baa8	Support Panic(uint256) calls for asserts in v0.8.0+ (#1514) ... * Support panic() asserts * Use typing extensions	3 years ago
Nikhil Parasaram	e1f8b51c3b	Fix json issue (#1503) ... * Fix json issue * Add missing files	3 years ago
Nikhil Parasaram	c72d212c7e	[WIP] Handle exponents (#1497) ... * Handle exponents * Bruteforce enumerate constraints * Fix evm tests * Fix imports * Fix z3 version to avoid exception * Fix z3 version to avoid exception * Fix z3 version * Fix z3 version * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Fix issue * Fix issue * Add tests * Black * Fix issue * Fix issue with disassembler test * Fix issue with disassembler test	3 years ago