Skip to content
CI

Improve handling of JumpBound truncation constraints #781

Sign in to view logs

Improve handling of JumpBound truncation constraints

Improve handling of JumpBound truncation constraints #781

Triggered via push July 23, 2024 20:56
@staslyakhovstaslyakhov
pushed 17d3d9b
feature/better-jumptable-truncation
Status Success
Total duration 39m 3s
Artifacts –

ci.yaml

on: push
Matrix: build-linux
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Macaw - GHC v9.2.8
• No explicit implementation for
Macaw - GHC v9.2.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
Macaw - GHC v9.2.8
Pattern match is redundant