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

64 Commits (optimizer)

Author SHA1 Message Date
Aleksandr Sobolev 1ae2cf0355
Inject env variable into Edelweiss
5 years ago
Aleksandr Sobolev 9cb791958d Inject missing env variables (#1174)
5 years ago
Bernhard Mueller e0ec462cea
Increase integration test timeout
5 years ago
Aleksandr Sobolev 31f1a5c37e Enable Dynamodb module (#1140)
5 years ago
Bernhard Mueller aa48d598e0
Increase integration testing timeout to 90s
5 years ago
Bernhard Mueller f00786eb6d Increase integration test exec timeout to 45s
6 years ago
Nikhil Parasaram 3912122cf4
Remove plugin line
6 years ago
Bernhard Mueller 25dd625e5c
Update config.yml
6 years ago
Aleksandr Sobolev 9dc390d2db Fix typo in env name and remove branch from workflow
6 years ago
Aleksandr Sobolev 90af6dbd39 Update Circle CI config
6 years ago
Aleksandr Sobolev 01b221f914 Pass list of files to ignore false positives
6 years ago
Aleksandr Sobolev da779aa56a Added branch to CircleCI config for debugging new changes
6 years ago
Aleksandr Sobolev b65828bf84 Change cli param to ignore-false-positives
6 years ago
Aleksandr Sobolev e3fe79f777 Define ENV variable to suspend regressions reporting for some testcases
6 years ago
Aleksandr Sobolev 07b99c5166 Remove temporary branch from workflow
6 years ago
Aleksandr Sobolev bf90a12241 Add required env variables to Edelweiss container
6 years ago
Nikhil Parasaram 93f882123f
fix docs (#1072)
6 years ago
Aleksandr Sobolev bae7eac1cd Remove branch from circle ci workflow
6 years ago
Aleksandr Sobolev 72066c8f82 Increase timeout param
6 years ago
Aleksandr Sobolev 7a5a3cf38a Change env name
6 years ago
Aleksandr Sobolev b4e684f244 Remove mythril clone step
6 years ago
Aleksandr Sobolev 4bea0111eb Run tool-based integration tests
6 years ago
Dr. Sergey Pogodin 7716a2a414 Temporary disables full Edelweiss test + up to 5 retries of the quick one
6 years ago
Dr. Sergey Pogodin 2348c75a58 Sets up integration tests
6 years ago
JoranHonig 5cb9d84d2a
adapt version of test image used
6 years ago
Aleksandr Sobolev 9891441826 Configure call to webhook in Circle CI build
6 years ago
Nathan 961f8f4fad
Reduce timeout duration
6 years ago
Nathan d872ff07be extend test timeout
6 years ago
Dominik Muhs 0e9e4bf0b1 SQLite Signature DB (#758)
6 years ago
Dr. Sergey Pogodin befac7f40a Disables API integration tests in CircleCI config
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
Dominik Muhs 524c10a8c8 Merge develop into dmuhs/type-hints
6 years ago
Dominik Muhs c814c685d9 Add black hook to CircleCI config
6 years ago
Nikhil Parasaram 7035959b23 Add the mypy to tox
6 years ago
Nikhil Parasaram 5eb6c0781a Remove sudo
6 years ago
Nikhil Parasaram 6696f26383 install mypy through apt-get
6 years ago
Nikhil Parasaram 021f1ed6e9 install mypy
6 years ago
Nikhil Parasaram 37d98891d5 Add mypy to circleci
6 years ago
Nikhil Parasaram a47c6477ee support sonar code coverage
6 years ago
Dr. Sergey Pogodin e4308f87cc Changes source directory of sonar analysis
6 years ago
Dr. Sergey Pogodin 53d8b60021 Fix of sonar command
6 years ago
Dr. Sergey Pogodin c1db948504 Adds sonar-scanner to the build flow
6 years ago
Dr. Sergey Pogodin 3e3df2562d Update of CircleCI config
7 years ago
Dr. Sergey Pogodin 8ccdadb2fa Update of expected test results for `nonascii.sol` test
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
LieutenantRoger f14b21e16d Merge laser into mythril
7 years ago
Josh Asplund 756bd1ebe7 Simplifies Circle config and coverage
7 years ago