53 Commits (feature/ignore-regressions)

Author	SHA1	Message	Date
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
Josh Asplund	1790f64336	Adds coverage to test suite	7 years ago
Josh Asplund	f5a46ef7bc	Fixes issues with python 3.5 dict ordering	7 years ago
Josh Asplund	11a2bb7430	Fixes failing test and python version	7 years ago
Josh Asplund	d632798abb	Adds tox testing	7 years ago
Dr. Sergey Pogodin	ada683b727	Fix of CircleCI script: ensures same image version in all jobs	7 years ago
Dr. Sergey Pogodin	9194ee17da	Update of CI/CD setup ... - Newer image of CI/CD container - Omit integration tests for PRs	7 years ago
Dr. Sergey Pogodin	7c1ce02f33	Fix CircleCI script	7 years ago
Dr. Sergey Pogodin	45571187eb	Fix	7 years ago
Dr. Sergey Pogodin	e7e4f8e718	CI/CD update to use integration tests	7 years ago
JoranHonig	5f7418721a	Revert change on config.yml	7 years ago