Commit Graph

6 Commits (0ea0f4fbe26aca3e01988eff5d55c51fef635e5b)

Author SHA1 Message Date
Nikhil Parasaram 510ff95655
Support symbolic bytecode (#1560) 3 years ago
Nikhil Parasaram 9d7873621e
Fixes issues by considering future concrete hashes (#1547) 3 years ago
Nikhil Parasaram 3e113c9a55
[WIP] Add safe function support (#1510) 3 years ago
Nikhil Parasaram 89bc36baa8
Support Panic(uint256) calls for asserts in v0.8.0+ (#1514) 3 years ago
Nikhil Parasaram e1f8b51c3b
Fix json issue (#1503) 3 years ago
Nikhil Parasaram c72d212c7e
[WIP] Handle exponents (#1497) 3 years ago