64 Commits (fix/boundedloops)

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	5 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) ... * Remove classic in mythril-classic * Reformat with black	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) ... * Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return	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 ... Fix for #244	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