Artur Cygan

Bump nixpkgs and hevm dependencies

6

## Description hevm is currently broken in nixpkgs because `text-format` doesn't support the new GHC that was bumped in this PR (https://github.com/NixOS/nixpkgs/pull/160733). Fortunately, hevm appears to not use `text-format` so...

vis_heap_chunks: paginate results

1

### Description After heap chunk size if corrupted to a large size `vis_heap_chunks` will print a ton of output. Paginating the results will help to bring back usefulness of the...

`ppAbiValue` is already implemented as `Show` instance in `hevm` https://github.com/dapphub/dapptools/blob/hevm/0.49.0/src/hevm/src/EVM/ABI.hs#L105-L119

A little cosmetic refactor to `Echidna.UI`.

This uses the new `ImportQualifiedPost` extensions that allows more natural placement of `qualified` keyword. I cleaned up the imports alphabetically, dividing them into common, hevm, and echidna as we tend...

Change executable name from echidna-test to echidna

1

Fixes https://github.com/crytic/echidna/issues/815

### Describe the desired feature The Log panel UX is not great at the moment and scrolling back is painful. Also, if echidna is closed or crashes, the logs are...

Use LibFuzzer styling for HTML coverage reports

1

LibFuzzer has nice HTML coverage reports, we can borrow the styling.