Fuzzy v0.5.0
Some notes in the latest release are found here, but the exhaustive list can be found in the changelog.
- Updated Verificarlo version, including:
- fix for vectorized operations
- support for sparse perturbations
- enforced architecture-independent compilation
- reorganized images and builds
- improved documentation