4644 Commits (8bde93f6218c5522328594995c44f66cafe1d95d)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	d3e4c28262	Mythril v0.22.15	4 years ago
Nikhil Parasaram	c4ec9b656b	Update z3 to fix the push canceled (#1451)	4 years ago
Nikhil Parasaram	9bf093a23b	Fix versions (#1450) ... * Fix versions * Fix numpy version	4 years ago
Nikhil Parasaram	77e1dfd447	Add support for displaying yul internal files (#1447)	4 years ago
Nikhil Parasaram	191946f358	Remove truffle (#1444) ... * Remove truffle * Remove repeated command of pro	4 years ago
Nikhil Parasaram	fdb1479b4b	Fix solc error	4 years ago
Nikhil Parasaram	82326b773c	Add a temporary condition (#1443)	4 years ago
Nikhil Parasaram	0e827d1aa2	Mythril v0.22.13	4 years ago
Nikhil Parasaram	9283f018fa	Update docker file to support ubuntu 20.04 (#1439)	4 years ago
Nikhil Parasaram	1c636c20ea	Mythril v0.22.12	4 years ago
Nikhil Parasaram	3fae33630a	Change plugin_name to name (#1438)	4 years ago
Nikhil Parasaram	f178d45ed3	Mythril v0.22.11	4 years ago
Nikhil Parasaram	c51531ee51	Fix rlp versions (#1437)	4 years ago
Nikhil Parasaram	749cfcf673	Support merge annotations (#1419) ... * Support merge annotations * Fix type hinting * Update mythril/laser/ethereum/state/annotation.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/laser/plugin/plugins/plugin_annotations.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Review fixes and a bugfix * Make merge_annotation sideeffect free * Fix black * Change List to set * use set() over {} * Remove check merge from StateAnnotations * Add missed out commit * Add some review fixes * Add some review fixes * Merge if conditions Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	dce7e868ad	Install leveldb separately (#1436)	4 years ago
JoranHonig	d3ae503d45	Merge pull request #1433 from ConsenSys/fix/nanosecs ... use nano seconds	4 years ago
norhh	490c4a87d6	Round to integers	4 years ago
norhh	7c9502b99e	use nano seconds	4 years ago
Nikhil Parasaram	3c7d518b0c	Mythril release v0.22.10	4 years ago
Nikhil Parasaram	3ef1065b15	Support berlin fork (#1428) ... * Support berlin fork * Add review fixes Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	a257df3074	Update solc-x (#1430) ... * Update solc-x and change some functions * make some changes * update requirements	4 years ago
Nikhil Parasaram	79dfe70747	Support Ifs for arrays and have handy id function for Node (#1418) ... * Support Ifs for arrays and have handy id function for Node * rename counter * Fix error related to mypy * Fix tests * Review fixes	4 years ago
Nikhil Parasaram	9660a653e0	Add solver log (#1426)	4 years ago
jim zhou	a5ac7dcdaa	Fixing py-solc-x usage to automatically download or compile correct solc binary and use it (#1425) ... * Fixed cases where multiple versions of solc is needed on the system, and the default version installed isn't the version required. * Fixed setup.py * black * Bump semver requirement * Put mythril_disassembler.py version check into util.py * Pruning ethereum/util.py * Provide for cases where --solv is used with a v before the version.	4 years ago
Nikhil Parasaram	c635015032	Mythril update version	4 years ago
Nikhil Parasaram	059350e4a8	Add analysis time field (#1421) ... * Add analysis time field * Update mythril/analysis/report.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Fix requirements * Black * Fix black version Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local> Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	ae02301798	Add new swc data	4 years ago
Nikhil Parasaram	aa50b8e9a4	Fix a bug with storage usage (#1420) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	b9f9ae65ab	Fix timeouts (#1413) ... * Fix timeouts * Take None as 0 Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	c52b4ee5f1	Fix unchecked retval (#1417) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
JoranHonig	0d83e81674	Merge pull request #1415 from ConsenSys/run-edelweiss-drone ... Run Edelweiss tests in DroneCI	4 years ago
Marat Bediev	1e30b6f04c	Post-tests cleanup	4 years ago
Marat Bediev	5d7b427a33	Enable drone job for run-edelweiss-drone branch	4 years ago
Marat Bediev	fe2ebad929	[DroneCI]: install mythril cli from local dir	4 years ago
Marat Bediev	2b13a8bed7	Post-tests cleanup	4 years ago
Marat Bediev	1ef899bf9d	Merge branch 'develop' of github.com:ConsenSys/mythril into run-edelweiss-drone	4 years ago
Marat Bediev	f3e760c30f	Add drone-ci integration: Run Edelweiss tests	4 years ago
Nikhil Parasaram	fddaa688ba	Mythril v0.22.8	4 years ago
JoranHonig	727d5f3049	Merge pull request #1411 from ConsenSys/feature/execution_info ... Execution info	4 years ago
Nikhil Parasaram	30288bcc8d	Merge branch 'develop' into feature/execution_info	4 years ago
JoranHonig	9b30a23185	Update solcx version (#1410) ... * update solcx requirement to version 0.10.0 * update integration with py-solc-x in util also improves the integration, using library call get_executable vs direct interaction with the file system	4 years ago
Joran Honig	cb0430bdab	remove get	4 years ago
Joran Honig	25207801c8	mock execution_info	4 years ago
Joran Honig	67ebf44536	use update	4 years ago
Joran Honig	05346dea20	add more typing	4 years ago
Joran Honig	c5b84fa749	record execution info only after successful analysis	4 years ago
Joran Honig	bc22e0fabc	use typing any	4 years ago
Joran Honig	3b03a72b39	add typpe annotations	4 years ago
Joran Honig	65f5ff1d3b	formatting	4 years ago
Joran Honig	ee2da9f6c7	add execution info reporting to report	4 years ago