Bump Crucible submodule, adapt to crucible-syntax changes #695

Annotations

21 warnings

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

Pattern match(es) are non-exhaustive

• No explicit implementation for

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of type constructor or class ‘Doc’

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

Defined but not used: ‘funArgs’

The import of ‘Control.Lens’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.Parameterized.Context’ is redundant

The import of ‘Lang.Crucible.Backend’ is redundant

The import of ‘Lang.Crucible.Backend.Simple’ is redundant

The import of ‘Lang.Crucible.Simulator’ is redundant

The import of ‘Lang.Crucible.Simulator.Profiling’ is redundant

The import of ‘What4.Config’ is redundant