Commit Graph

4833 Commits (b7a89fed08a37d92263811427154afa497586d9a)
 

Author SHA1 Message Date
Nikhil Parasaram b7a89fed08
Update setup.py 1 year ago
Nikhil Parasaram 9344b2976a
Update tox for 3.10 (#1792) 1 year ago
Kostyan f5e2784351
Fix link to suicide module (#1789) 1 year ago
Abhinandan Udupa 39b79cae8a
Fix parsing of compiler version and reformat file (#1787) 1 year ago
Nikhil Parasaram 2a37d2801a
Use arm.xlarge (#1786) 1 year ago
breakpo1nt 1f330efafb
Fix bug in resolving log message of user assertion (#1784) 1 year ago
Nikhil Parasaram 96c3ecd4b8
Add feature extraction (#1785) 1 year ago
Nikhil Parasaram ca2dc138f8
Mythril v0.23.24 1 year ago
Nikhil Parasaram 2855b34a97
Add push0 and push tests (#1781) 1 year ago
Nikhil Parasaram 389b056b0a
Fix minor issue and refactor CLI (#1779) 1 year ago
Nikhil Parasaram 3e0dc72667
Use arm.large on docker release 1 year ago
Nikhil Parasaram 25ef241b60
Update both instances to arm 1 year ago
Nikhil Parasaram b48f6deedb
Mythril v0.23.23 1 year ago
Nikhil Parasaram 16e0884460
Try arm instance 1 year ago
Nikhil Parasaram 9234112902
Handle non deterministic test cases (#1776) 1 year ago
Nikhil Parasaram 4084113513
parallelise test execution (#1775) 1 year ago
Nikhil Parasaram aac630f5f8
Use amd64 1 year ago
Nikhil Parasaram e81d4870cf
use arm 1 year ago
Nikhil Parasaram bea0423eec
Enable buildkit 1 year ago
Nikhil Parasaram f972a6da40
Circleci update resource class (#1774) 1 year ago
Nikhil Parasaram 45f10d1ca7
Support multiplatform build 1 year ago
Nikhil Parasaram def673c2db
Install bash 1 year ago
Nikhil Parasaram 81bb1e68f1
Use ubuntu:kinetic for bash 1 year ago
Nikhil Parasaram 7e2005eb66
Use bash over sh 1 year ago
A23187 499bce16f7
some fixes (#1721) 1 year ago
Nikhil Parasaram e7790b2f2f
Fix z3 version (#1771) 1 year ago
Hal Blackburn 7dcefb5b8a
Arm64 Docker support (#1770) 1 year ago
Nikhil Parasaram d531d8ba10
Increase solver timeout (#1768) 1 year ago
Nikhil Parasaram b2c409f53b
Add pending constraints strategy and make it the default search strategy (#1767) 2 years ago
Nikhil Parasaram 80f7db0c4c
Mythril v0.23.22 (#1765) 2 years ago
Nikhil Parasaram 411dd9c051
Misc bug fixes (#1764) 2 years ago
Nikhil Parasaram 52fe53f704
Mythril v0.23.21 (#1763) 2 years ago
Nikhil Parasaram f4237b0d07
Fix the slowdown due to create going through every instruction (#1762) 2 years ago
Nikhil Parasaram a40afb540c
Mythril v0.23.20 2 years ago
Nikhil Parasaram fedf68f09d
Use threading during solving constraints (#1760) 2 years ago
Nikhil Parasaram 9f00f5b4e2
Update test to large resource class in config.yml (#1761) 2 years ago
Nikhil Parasaram 1d4e90f577
Mythril v0.23.19 2 years ago
Nikhil Parasaram 7bf52441bd
Check for 'unchecked' before turning off Integer module (#1757) 2 years ago
Nikhil Parasaram f4413456d8
Mythril v0.23.18 2 years ago
Nikhil Parasaram c0e8b67952
Perform a nesting decoding (#1754) 2 years ago
Nikhil Parasaram 4c16585a7f
Add other networks (#1751) 2 years ago
Nikhil Parasaram cc5f81a4cc
Mythril v0.23.17 2 years ago
Nikhil Parasaram 003f3d7dd8
Fix issue with memory extend (#1750) 2 years ago
Nikhil Parasaram 4af3b1d98f
Misc fixes (#1749) 2 years ago
Nikhil Parasaram e38502f35d
Hotfix for some unknown behavior with foundry (#1745) 2 years ago
Nikhil Parasaram f7e5debeac
Add support to foundry (#1744) 2 years ago
Nikhil Parasaram 34aa49c2e5
Add return value for native calls (#1743) 2 years ago
ToonVanHove 6964d22c18
fix: pad function hashes to always be 8 characters (#1741) 2 years ago
Rahul Saxena 5d92dcbc1f
Fixed a typo in docs (#1740) 2 years ago
宾文邦 d543c3aed1
fix returndata copy index (#1739) 2 years ago