Commit Graph

1654 Commits (4dfb2061bd7ed9534b0f5a88cefcb733fd031cfb)
 

Author SHA1 Message Date
Bernhard Mueller 5eb828a1c3 Update expected test outputs 7 years ago
Joran Honig 0a14db0481 Add dependency check to test script 7 years ago
Bernhard Mueller d5f05a1c6a
Fix a typo 7 years ago
Bernhard Mueller facdec1cf4 Update report text in integer overflow check 7 years ago
Bernhard Mueller 2acd398325
Merge pull request #114 from JoranHonig/bugfix/tests 7 years ago
Joran Honig 093fb053cb Add missing test files 7 years ago
Joran Honig 260180b187 Regenerate output files adding easm files 7 years ago
Joran Honig b1717a8c1f Change documentation and output line 7 years ago
Joran Honig 50e8acb632 Add new expected files 7 years ago
Joran Honig 311e30cec9 Compare with current output 7 years ago
Joran Honig 55c7a4e61a Compare with current output 7 years ago
Joran Honig 3b86cbf23d Add returnline and return statement. 7 years ago
Joran Honig 8e32db3e84 Change check from expected == expected to expected == current 7 years ago
Bernhard Mueller bbdab3afff Merge branch 'master' of github.com:ConsenSys/mythril 7 years ago
Bernhard Mueller 9e340d64c9 Merge branch 'features/integeroverflow' of git://github.com/JoranHonig/mythril into JoranHonig-features/integeroverflow 7 years ago
Bernhard Mueller c38228a135
Update README.md 7 years ago
Bernhard Mueller 244e0a1a50
Update README.md 7 years ago
Joran Honig 5d1fbe97ad Add missing expression argument 7 years ago
Joran Honig 425bd17a96 Adapt debug line 7 years ago
Joran Honig 8d11a4541b Adapt debug logging string 7 years ago
Joran Honig a70c861e21 Clean up method. and documentation 7 years ago
Joran Honig 8b0f6d4ec8 Initial implementation of check whether overflowed value gets used 7 years ago
Dr. Sergey Pogodin 083b6ad431 Merge branch 'ci/cd' 7 years ago
Dr. Sergey Pogodin 2784a39968 Fix 7 years ago
Dr. Sergey Pogodin d94796d0a1 Merge branch 'master' into ci/cd 7 years ago
Dr. Sergey Pogodin cf1f131c6b CI/CD config: Autorelease of tagged commits to PyPI 7 years ago
Dr. Sergey Pogodin 071976c05a Fix of setup script & improvement of CI/CD testing 7 years ago
Dr. Sergey Pogodin a3e1d71018 Fix of CI/CD 7 years ago
Dr. Sergey Pogodin baf93bb2fc Merge branch 'ci/cd' 7 years ago
Dr. Sergey Pogodin 25335f7fd1 Ready? 7 years ago
Bernhard Mueller 8805e41a7c Merge branch 'master' of github.com:ConsenSys/mythril 7 years ago
Bernhard Mueller 0101c86fa3 Merge branch 'birdofpreyru-develop' 7 years ago
Bernhard Mueller 25163424bb Add fix for retrieving valid block hash 7 years ago
Dr. Sergey Pogodin 3c44927ec4 Fooling around 7 years ago
Dr. Sergey Pogodin f07c77fd5a Fix: misprint in CircleCI config dir name 7 years ago
Dr. Sergey Pogodin 856faf44fc Adds master branch tests status shield to README 7 years ago
Dr. Sergey Pogodin 6719e7c0f2 Initial draft of the CI/CD with Circle CI 7 years ago
Bernhard Mueller fecd0345c8 Resolve conflicts in setup.py 7 years ago
Bernhard Mueller ccd6845c03 Resolve conflict in README 7 years ago
Joran Honig d995789aad Add expected output 7 years ago
Joran Honig 86a9b852d6 add function documentation 7 years ago
Joran Honig b6128f1d8e Make sure an empty list is returned, instead of None 7 years ago
Joran Honig b087826bad Create test overflow solidity file 7 years ago
Joran Honig aa5db8ba3b Add function documentation 7 years ago
Joran Honig 398677a557 Implement initial integer overflow analysis 7 years ago
Joran Honig 85a941a255 Reformat code to separate integer under and overflow modules 7 years ago
Dr. Sergey Pogodin 4f234e7ef3 CODE: LevelDB support 7 years ago
Bernhard Mueller c4cdbddc4e
Merge pull request #104 from syncikin/typo 7 years ago
kyle 6f4248c0a4 Fixed typo 7 years ago
Bernhard Mueller 8462a8e7f2 Bump LASER version 7 years ago