Commit Graph

1286 Commits (1b84ae98ffab9173a79659b8d333d6fc3d3252dc)
 

Author SHA1 Message Date
Nikhil Parasaram 1b84ae98ff
Merge pull request #301 from ConsenSys/norhh-patch-1 7 years ago
Dr. Sergey Pogodin a2998f5b50 Revert "Revert "Merge pull request #296 from norhh/branch/295"" 7 years ago
Nikhil Parasaram c36ae84096
Add jinja2 version dependency to requirements 7 years ago
Nikhil Parasaram c61a561e42
Merge pull request #300 from joshuata/patch-1 7 years ago
Josh Asplund 87fdd2fa3c
Updates jinja dependency 7 years ago
Nikhil Parasaram e30791ab4a
Merge pull request #299 from norhh/bugfix/297 7 years ago
Nikhil Parasaram 01be304d45 Support max depth arguments for truffle project 7 years ago
Nikhil Parasaram 8a3a74da10 Revert "Merge pull request #296 from norhh/branch/295" 7 years ago
Nikhil Parasaram 6428d9b8cf
Merge pull request #296 from norhh/branch/295 7 years ago
Nikhil Parasaram 5ee53db95b Remove extra space in integer overflow output field 7 years ago
Nikhil Parasaram 35ff192db1
v0.18.6 7 years ago
Nikhil Parasaram 3aec841247
Merge pull request #293 from norhh/feature/263 7 years ago
Nikhil Parasaram ba3181416a add required versions of requirements 7 years ago
Nikhil Parasaram 54ce972f45 remove persistence usage for search 7 years ago
Nikhil Parasaram a80879f688 use codecs to convert to utf-8 7 years ago
Nikhil Parasaram a5a8cdaf9b support utf-8 for configparser 7 years ago
Nikhil Parasaram 6937285399 refactor search feature 7 years ago
Nikhil Parasaram 1d5813a19c
Merge pull request #287 from norhh/bugfix/286 7 years ago
Nikhil Parasaram d6bc09e2e9 add typecheck for the contracts 7 years ago
Bernhard Mueller 4559d5f897 Merge branch 'master' of github.com:ConsenSys/mythril 7 years ago
Bernhard Mueller fbfa16a1b5 Bump version number 7 years ago
Bernhard Mueller 5b1aa40345
Merge pull request #284 from JoranHonig/bugfix/272 7 years ago
Joran Honig e5a19c84df Use isinstance 7 years ago
Bernhard Mueller 9e2c51b513
Merge pull request #282 from norhh/bugfix/281 7 years ago
Nikhil Parasaram 4c91fc2bca add type condition to jump 7 years ago
Bernhard Mueller 1e6e46fe02
Merge pull request #280 from norhh/native_branch 7 years ago
Nikhil Parasaram 6410a0f538 add native contracts 7 years ago
Bernhard Mueller 5340f1142c
Merge pull request #273 from JoranHonig/bugfix/271 7 years ago
Joran Honig 0c63d749fb Sometimes the call.to is not influenced by a storage, but something else 7 years ago
Joran Honig 7adcb45b57 Require regex on storage to end on an integer 7 years ago
Joran Honig f19dd5df91 Make variable bitvec 7 years ago
Dr. Sergey Pogodin 3e3df2562d Update of CircleCI config 7 years ago
Dr. Sergey Pogodin d79262cb25 v0.18.4 7 years ago
Dr. Sergey Pogodin edf269f900 Merge branch 'non-ascii' 7 years ago
Dr. Sergey Pogodin 8ccdadb2fa Update of expected test results for `nonascii.sol` test 7 years ago
Dr. Sergey Pogodin a54a3fe919 F2F: Fix crushes of the contracts containing non-ascii characters 7 years ago
Dr. Sergey Pogodin 73d95fb9bb Few extra updates of CI/CD config and Docker releases 7 years ago
Dr. Sergey Pogodin 38823c1488 Fix of CI/CD config 7 years ago
Dr. Sergey Pogodin ad31fbec94 Automatic DockerHub releases (version bumped to v0.18.1 to test it) 7 years ago
Bernhard Mueller 6230eef77b Bump version number 7 years ago
Bernhard Mueller 06cae056d5
Merge pull request #261 from JoranHonig/bugfix/depth 7 years ago
Bernhard Mueller a0db35bade
Merge pull request #262 from fgimenez/fix-requirements 7 years ago
Federico Gimenez a986eb9357 remove redundant pytest requirement and sort requirements file 7 years ago
Joran Honig b7e37de4fd Use bigger max depth in cli and increase depth on neg jumpi. 7 years ago
Bernhard Mueller a284a4d13d
Merge pull request #260 from JoranHonig/bugfix/incompletegraph 7 years ago
Joran Honig 35ec0ffe6a Refactor JUMPI 7 years ago
Bernhard Mueller 2eb933f26d
Merge pull request #258 from rocky/all_tests-tweak 7 years ago
rocky e2bfeef33f Check and report status of various required packages 7 years ago
Dr. Sergey Pogodin 41912d39a2 Merge branch 'laser-merge-test' 7 years ago
Dr. Sergey Pogodin ef11db6f6f Moves test dependencies into `tests_require` section of `setup.py` 7 years ago