36 Commits (1cbba2ed5e287d0a114e74fe6b11ceafc5269108)

Author	SHA1	Message	Date
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	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
Joran Honig	57fae13156	Don't do fp detection for mul statements	7 years ago
Dr. Sergey Pogodin	3d33e75299	Updates PyPI deployment by CircleCI (see README_DEV.md for instructions) ... Fix for #140	7 years ago
Joran Honig	d7f243584b	Revert config change	7 years ago
Joran Honig	fa69d1ec0c	Adapt weak random output	7 years ago
Josh Asplund	09521c1190	Adds circleci test support	7 years ago
Dr. Sergey Pogodin	2784a39968	Fix	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	25335f7fd1	Ready?	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