Repository navigation

`copilot-theorem`: Remove unused pragmas. Refs #613. - #638

Merged

ivanperez-keera merged 8 commits into

Copilot-Language:masterfrom

carte731:develop-remove-pragmas-theorem

Jul 5, 2025

Merged

`copilot-theorem`: Remove unused pragmas. Refs #613.#638
ivanperez-keera merged 8 commits into
Copilot-Language:masterfrom
carte731:develop-remove-pragmas-theorem

Commits on Jul 2, 2025
- copilot-theorem: Remove 'GeneralizedNewtypeDeriving' unused pragma from 'what4.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  282a78f
- copilot-theorem: Remove 'MultiWayIf' unused pragma from 'what4.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  ad38ba4
- copilot-theorem: Remove 'StandaloneDeriving' unused pragma from 'what4.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  4f5f09a
- copilot-theorem: Remove 'TemplateHaskell' unused pragma from 'what4.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  61fa0b4
- copilot-theorem: Remove 'TupleSections' unused pragma from 'what4.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  3088023
- copilot-theorem: Remove 'LambdaCase' unused pragma from 'Prover.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  bbb90b6
- copilot-theorem: Remove 'LambdaCase' unused pragma from 'SMTIO.hs'. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  2d101a7
- copilot-theorem: Document changes in CHANGELOG. Refs #613.
  
  carte731
  authored and
  carte731
  committed
  c9954d6