14 Commits (fix/refactor)

Author	SHA1	Message	Date
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	510ff95655	Support symbolic bytecode (#1560) ... * Support symbolic bytecode * Use hex notation * Handle swarm hash	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
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	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
Bernhard Mueller	4391d1ae55	Revert tests	5 years ago
Bernhard Mueller	32b5a1e21d	It's supposed to be runtime bytcode	5 years ago
Bernhard Mueller	3e8b668f0d	Try again	5 years ago
Bernhard Mueller	e09480df48	Remove the evil newline	5 years ago
Bernhard Mueller	d2be41b61d	Fix inexplicably failing test	5 years ago
Bernhard Mueller	9a5479266c	Re-add and fix metacoin sample	6 years ago
Bernhard Mueller	ebf4eaa51c	Remove crappy metacoin sample	6 years ago
Joran Honig	2d676fb7cd	add environment overflow tests	6 years ago
Dr. Sergey Pogodin	8ccdadb2fa	Update of expected test results for `nonascii.sol` test ... Fix for #244	7 years ago
Bernhard Mueller	141fec3d11	Fix function names in CFG	7 years ago
Bernhard Mueller	ac8110d325	Remove weak_random.sol from tests	7 years ago
Joran Honig	ff6b11b1f7	Remove rubixi contract	7 years ago
Dr. Sergey Pogodin	8e94ea6952	F2F: Fix tests and build ... Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535	7 years ago
Joran Honig	a70c861e21	Clean up method. and documentation	7 years ago
Joran Honig	b087826bad	Create test overflow solidity file	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago