19 Commits (develop)

Author	SHA1	Message	Date
Daniel Bast	0717111a55	Enable+apply isort via ruff/pre-commit (#1871) ... * Enable+apply isort via ruff/pre-commit * Fix cyclic imports --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	3 months ago
Daniel Bast	25de4e7cc3	Run black + ruff via pre-commit, fix findings to reduce requirements.txt (#1865) ... * Run black via pre-commit + Github Action workflow, update black * Apply black via pre-commit * Enable ruff + rulset "F" via pre-commit * Apply ruff via pre-commit * Manual lint fixes * Apply review comments --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	4 months ago
Nikhil Parasaram	c72d212c7e	[WIP] Handle exponents (#1497) ... * Handle exponents * Bruteforce enumerate constraints * Fix evm tests * Fix imports * Fix z3 version to avoid exception * Fix z3 version to avoid exception * Fix z3 version * Fix z3 version * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Fix issue * Fix issue * Add tests * Black * Fix issue * Fix issue with disassembler test * Fix issue with disassembler test	3 years ago
Nathan	1080184b8a	Turn mythril into a MythX client	5 years ago
Bernhard Mueller	e04dd1cdda	Refactor package and class names	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Dr. Sergey Pogodin	8e94ea6952	F2F: Fix tests and build ... Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535	7 years ago
Joran Honig	311e30cec9	Compare with current output	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	2d4fe3956b	Use temp files to store tests output, make it easy to compare results if output changes	7 years ago
freewind	01aef7783c	Fix some issues per viewers' advices	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago
freewind	ac279a0e21	add more tests	7 years ago
freewind	1d12221ff8	test reports generation	7 years ago
freewind	b08090c3a5	use several example solidity files to test disassembler	7 years ago
Bernhard Mueller	552a8b2de3	Update unit tests	7 years ago
Bernhard Mueller	96986960a5	Add SVM/CFG test	7 years ago
Bernhard Mueller	6149e2911b	Remove unneeded code from disassembler	7 years ago
Bernhard Mueller	aabb5abf93	Add disassembler test	7 years ago