Commit Graph

24 Commits (44b0e47dddc03a570e97c7c0c5e10f60ae7d46fd)

Author SHA1 Message Date
Nikhil Parasaram 205d50a50f
Add summaries and additional bugfixes (#1830) 10 months ago
Nikhil Parasaram a28d600ced
Fix edge case in integer module for 0.8.0 (#1805) 1 year ago
Abhinandan Udupa 39b79cae8a
Fix parsing of compiler version and reformat file (#1787) 1 year ago
Nikhil Parasaram 4084113513
parallelise test execution (#1775) 1 year ago
Nikhil Parasaram b2c409f53b
Add pending constraints strategy and make it the default search strategy (#1767) 2 years ago
Nikhil Parasaram 383331356d
Handle pragma parsing using pyparser (#1737) 2 years ago
Nikhil Parasaram 030d640bbb
Fixes issue with ext calls (#1733) 2 years ago
Nikhil Parasaram 29bb08b411
Add support to older solc versions (#1726) 2 years ago
Nikhil Parasaram 0fac8e3d6d
Using cache search strategy (#1714) 2 years ago
Nikhil Parasaram 185f2d6cd2
Support solc-args (#1698) 2 years ago
Nikhil Parasaram 90964e55b0
Add exit code (#1662) 2 years ago
Nikhil Parasaram 5a184e8225
Add support for locking config file (#1652) 2 years ago
Nikhil Parasaram 591af8a319
Use latest blake2bpy, Fix version extraction (#1644) 2 years ago
Nikhil Parasaram ca0edd6208
Handle CRLF line endings (#1637) 3 years ago
Nikhil Parasaram 949a9820ad
Fix caching for exceptions module (#1633) 3 years ago
Nikhil Parasaram 651a17c647
Fix issue with cache during summaries (#1619) 3 years ago
Nikhil Parasaram 50e1ded4ab
Check versions before using integer module (#1613) 3 years ago
Nikhil Parasaram c88a5eda57
Fixes optimizer issue (#1597) 3 years ago
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