TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2121 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: 9c92f1b24c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '9c92f1b24c'
${ noResults }
Commit Graph

2121 Commits (9c92f1b24c36ec01da6085974d86f2a24847845a)
 

Author SHA1 Message Date
Bernhard Mueller 9c92f1b24c Fix z3 version
6 years ago
Dr. Sergey Pogodin 3dd205d648 Version bumped to 0.19.0
6 years ago
Dr. Sergey Pogodin f85d24bcc1 Merge branch 'develop'
6 years ago
Dr. Sergey Pogodin befac7f40a Disables API integration tests in CircleCI config
6 years ago
Bernhard Mueller e665e5f34e Merge branch 'JoranHonig-merge_master' into develop
6 years ago
Bernhard Mueller 3020da9b83 Merge branch 'merge_master' of https://github.com/JoranHonig/mythril into JoranHonig-merge_master
6 years ago
Bernhard Mueller 8fea106cb7 Set max-transaction-count default to 1
6 years ago
Bernhard Mueller 1fcdec0966
Merge pull request #637 from JoranHonig/bugfix/634_requires
6 years ago
Bernhard Mueller d8ddcb46a9
Merge pull request #642 from nbanmp/output_tx_sequence
6 years ago
Nathan 74a1a401d3 remove unhelpful log messages
6 years ago
Nathan 2af841027c remove unneeded check
6 years ago
Nathan 0290de26f8 remove caller and call_value constraints from concretization logic
6 years ago
Nathan e3386bcf98 output transaction sequence as verbose output
6 years ago
Dr. Sergey Pogodin e260db5056 Another fix of the docker build & release script
6 years ago
Dr. Sergey Pogodin aeefb7416e A misprint fix
6 years ago
Dr. Sergey Pogodin 5f8d7382ef Fix of Docker build & release shell scrip
6 years ago
Dr. Sergey Pogodin 450a1be06c Temporary disables tests requirement for DockerHub "mythril/myth-dev" release
6 years ago
Dr. Sergey Pogodin 6e4ace9f73 Automatic releases of "develop" to "mythril/myth-dev" DockerHub container
6 years ago
Bernhard Mueller 405f26fab8
Merge pull request #636 from JoranHonig/bugfix/633_reentrancy
6 years ago
Joran Honig bde69593f4 Don't check for requires as this results in false negatives
6 years ago
Joran Honig 31a8107daf Make search_children compatible with multi transactional analysis
6 years ago
Joran Honig f6749a1e97 Bugfix search_children
6 years ago
Joran Honig 9846019ab5 black fixes
6 years ago
Joran Honig a83936a94c Fix missing import and style
6 years ago
Joran Honig 06f92f64cd remove unintended ouputs current
6 years ago
Joran Honig 9fe0964f35 merge fixes
6 years ago
Joran Honig c8e4aef7cd Merge remote-tracking branch 'upstream/master' into merge_master
6 years ago
Nathan 7cc4d6cdee absolutely nothing
6 years ago
Bernhard Mueller f66d5f4c89
Merge pull request #619 from nbanmp/transaction_sequence
6 years ago
Bernhard Mueller 67660ab7e0
Merge branch 'develop' into transaction_sequence
6 years ago
Bernhard Mueller e3eb520458
Merge pull request #620 from nbanmp/fix_calldata_indexing
6 years ago
Nathan dafb05c272 Revert "solver optimizes calldatasize"
6 years ago
Nathan 4f00ae5bdd solver optimizes calldatasize
6 years ago
Nathan 0b88c4033d
Merge branch 'develop' into fix_calldata_indexing
6 years ago
Nathan fc5187eef8 fix typo in a comment
6 years ago
Bernhard Mueller 9e00c3b2d2
Merge branch 'develop' into transaction_sequence
6 years ago
Bernhard Mueller 94eade61dc
Merge pull request #631 from norhh/enhance/628
6 years ago
Nathan 461a6735c7 Black Formatting
6 years ago
Nikhil Parasaram c86806ce5a Format the strings with black code formatter
6 years ago
Nikhil Parasaram ffbee7f760 Change the issue descriptions
6 years ago
Nathan 2debc03d3c bring transaction sequence generation to a working state
6 years ago
Bernhard Mueller 22954508f0
Merge pull request #629 from ConsenSys/enhancement/628
6 years ago
Nikhil Parasaram dc09c2e94f Change the issue description
6 years ago
Bernhard Mueller 242181fd22
Merge pull request #611 from JoranHonig/features/standard_format
6 years ago
Nathan efded003eb make calldata constraints test use Mocked calldata
6 years ago
JoranHonig 468551da53
Refactor ether send (#622)
6 years ago
Joran Honig 2774fc65a2 update hashing technique used
6 years ago
Nathan c67c23b5c8 move test that calldata were added constraints
6 years ago
Nathan eb2e56c697 test calldata constraints
6 years ago
Nathan 575f3d73ac remove arbitrary calldatasize constraint
6 years ago