8 Commits (48ccc8def8cc388cc6db562530644dcd789124ae)

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
Nikhil Parasaram	70d234e4f1	Add improved state merging (#1843) ... * Add improved state merging * Fix namespace	9 months ago
Nikhil Parasaram	205d50a50f	Add summaries and additional bugfixes (#1830) ... * Add summaries and additional bugfixes * Update test w.r.t bugfixes * Update namespace * Disable sonar	11 months ago
A23187	499bce16f7	some fixes (#1721) ... * some fixes - add cli option --enable-mutation-pruner to control if to enable MutationPrunerBuilder - let cli option --enable-coverage-strategy to control if to load CoveragePluginBuilder - let cli option --enable-iprof to control if to load InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - fix the bug of non-hexadecimal numbers found when converting hex(func_hash)[2:] to bytes - other fixes * some fixes - add cli option --disable-mutation-pruner to disable MutationPrunerBuilder - let cli option --disable-coverage-strategy to disable CoveragePluginBuilder - let cli option --disable-iprof to disable InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - other fixes * Fix tests --------- Co-authored-by: norhh <nikhilparasaram@gmail.com>	2 years ago
Nikhil Parasaram	eb2c11ef01	Handles issue with low constructor loop bound and new way to deal with solver-timeout (#1668) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat * Fix the issue with loop-bound and solver-timeout * Add test changes * Restrict hexbytes	2 years ago
Nikhil Parasaram	bb1dd3e794	Support TX constraints and refactor CLI (#1607) ... * Support TX constraints and refactor CLI * Fix typing * Add additional typing * Use dict over accessor * Fix z3py requirements * Init storage args * Init storage args * Init args in vm tests	3 years ago
Nikhil Parasaram	b304cad96e	Fix statespace tests	5 years ago
Nikhil Parasaram	c965339959	Add statespace tests (#1248) ... * Fix mypy issues * Fix the statespace problem, and remove weirdness in graph tests * Fix black * Remove weird Z which popped up * Add a comment in graph test Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago