4 Commits (dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0)

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	4084113513	parallelise test execution (#1775) ... * parallelise test execution * Rename tests * Fix tests	2 years ago
Nikhil Parasaram	7d3f9b5842	Beam search (#1606) ... * Init config dir * Fix solc optimizer * Add beam search * Use dict over reference	3 years ago
Nikhil Parasaram	1ddfc598be	Fix string loop errors (#1370) ... * Fix off by one errors and add tests * Add type hints Co-authored-by: Bernhard Mueller <b-mueller@users.noreply.github.com>	5 years ago