This is a small release with some minor bugfixes and quality of life improvements. User facing changes include:
- removal of old compilation artifacts before starting another campaign
- fixed incorrect function filtering in assertion mode
- improved handling of negative constants
- fixed source line printing within coverage
Some less important changes are a version bump to hevm 0.48.0 and some nix improvements regarding slither.