3141 Commits (0ed11a2bf210220970c73f37bbb8eeeb27cc2500)

 

All Branches   

Search

Author	SHA1	Message	Date
JoranHonig	0ed11a2bf2	Update mythril/analysis/modules/integer.py ... Co-Authored-By: norhh <tommycjniko@gmail.com>	6 years ago
Nikhil Parasaram	6d03ef3536	Fix the indentation	6 years ago
JoranHonig	19b8d9092f	Update mythril/analysis/modules/integer.py ... Co-Authored-By: norhh <tommycjniko@gmail.com>	6 years ago
Nikhil Parasaram	2e1f1fd5d2	Add documentation for _handle_return function	6 years ago
Nikhil Parasaram	fd2436ddb7	handle for integer module	6 years ago
JoranHonig	9072be4ad2	Merge pull request #933 from ConsenSys/bugfix/931 ... increase max depth to 50 and move to bfs	6 years ago
Nikhil Parasaram	50885dd838	increase max depth to 50 and move to bfs	6 years ago
JoranHonig	4d7721fb8d	Merge pull request #930 from ConsenSys/typos ... Fix a couple of typos	6 years ago
Bernhard Mueller	d229c0b309	Fix a couple of typos	6 years ago
JoranHonig	78743b9f58	Merge pull request #927 from ConsenSys/concolic-symbolic ... change concolic to symbolic	6 years ago
JoranHonig	8b5ac37af7	change concolic to symbolic	6 years ago
Nathan	7ef91baa3b	Merge pull request #924 from nbanmp/typo_fix_depricated ... Fix typo of DEPRICATED to DEPRECATED	6 years ago
Nathan	ab198193fa	Merge branch 'develop' into typo_fix_depricated	6 years ago
Nathan	59aa4c775d	Fix typo of DEPRICATED to DEPRECATED	6 years ago
JoranHonig	c1ae1ee552	Merge pull request #901 from nbanmp/sha3_symbols ... Implement BitVecFunc for sha3	6 years ago
JoranHonig	3da602ff73	Merge branch 'develop' into sha3_symbols	6 years ago
JoranHonig	607b8c8704	Merge pull request #910 from JoranHonig/features/solver_stats ... Solver statistics	6 years ago
Joran Honig	f33ee746f4	Merge remote-tracking branch 'upstream/develop' into features/solver_stats	6 years ago
Nathan	0a992bb6d9	Create helper functions for operations in bitvec.py	6 years ago
JoranHonig	36b1aaca3b	Merge pull request #907 from JoranHonig/features/effectcheck_overflow ... Effect check	6 years ago
JoranHonig	aa4ac48045	add missing word to comment string	6 years ago
JoranHonig	08488e5449	Merge branch 'develop' into features/effectcheck_overflow	6 years ago
Bernhard Mueller	d757d422f3	Update README.md	6 years ago
Bernhard Mueller	c4a96568ed	Update README.md	6 years ago
Bernhard Mueller	f421811d1b	Update README.md	6 years ago
Nikhil Parasaram	5976110c08	Merge pull request #917 from ConsenSys/bugfix/916 ... Redirect stdout to null when executing self.raw.check()	6 years ago
Nikhil Parasaram	5b0b379cdf	Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/916	6 years ago
Nikhil Parasaram	3ad020a6a2	Redirect stdout to null when executing self.raw.check()	6 years ago
JoranHonig	c003461493	Merge pull request #911 from JoranHonig/features/execution_statistics ... Plugin to measure execution statistics	6 years ago
Joran Honig	fb859c2cf5	Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats	6 years ago
Joran Honig	261a9fb462	add return char	6 years ago
JoranHonig	9340dd74de	Merge branch 'develop' into features/execution_statistics	6 years ago
JoranHonig	3ae4e2e59a	Merge pull request #909 from nbanmp/rtd_docs_theme ... Update docs theme to the read the docs theme	6 years ago
JoranHonig	6ba6b29435	Merge branch 'develop' into features/execution_statistics	6 years ago
Joran Honig	1620b72cc2	Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats	6 years ago
Joran Honig	0e700ce58d	add dock strings	6 years ago
Nathan	b9214bcb41	Fix bitvecfunc typing	6 years ago
Nathan	ab6fad69e9	Merge branch 'develop' into sha3_symbols	6 years ago
Nathan	027c2b55d6	Merge branch 'develop' into rtd_docs_theme	6 years ago
JoranHonig	e9b8593209	Merge branch 'develop' into features/solver_stats	6 years ago
JoranHonig	5a04e92686	Merge pull request #912 from nbanmp/fix_207 ... Create test output folders if they don't exist	6 years ago
Joran Honig	158cda6cec	Merge remote-tracking branch 'origin/features/execution_statistics' into features/execution_statistics	6 years ago
Joran Honig	f675b08889	apply style rules	6 years ago
JoranHonig	052a19c4c9	Merge branch 'develop' into fix_207	6 years ago
JoranHonig	c4aebfa916	Merge branch 'develop' into fix_207	6 years ago
JoranHonig	758d0ee67e	Merge branch 'develop' into features/execution_statistics	6 years ago
Nikhil Parasaram	5359c44348	Merge pull request #908 from ConsenSys/bugfix/BECtoken ... Use only Bool in constraints	6 years ago
Nikhil Parasaram	c78d0e89bc	Merge branch 'develop' into bugfix/BECtoken	6 years ago
JoranHonig	1c44a22d95	Merge branch 'develop' into features/execution_statistics	6 years ago
JoranHonig	d8a7d5a835	Merge branch 'develop' into features/solver_stats	6 years ago