Repository navigation

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

Closed

carte731 wants to merge 10 commits into

Copilot-Language:masterfrom

carte731:master

Closed

`copilot-theorem`: Remove unused pragmas. Refs #613.#630
carte731 wants to merge 10 commits into
Copilot-Language:masterfrom
carte731:master

Commits on May 29, 2025
- Removed 'GeneralizedNewtypeDeriving' unused pragma from 'what4.hs' in Copilot-Theorem.
  carte731
  committed
  5fd6e98
- Removed 'MultiWayIf' unused pragma from 'what4.hs' in Copilot-Theorem.
  carte731
  committed
  b3e6110
- Removed 'StandaloneDeriving' unused pragma from 'what4.hs' in Copilot-Theorem.
  carte731
  committed
  3a66b16
- Removed 'TemplateHaskell' unused pragma from 'what4.hs' in Copilot-Theorem.
  carte731
  committed
  55b8d2a
- Removed 'TupleSections' unused pragma from 'what4.hs' in Copilot-Theorem.
  carte731
  committed
  697b43e
- Removed 'LambdaCase' unused pragma from 'Prover.hs' in Copilot-Theorem.
  carte731
  committed
  18a02dc
- Removed 'LambdaCase' unused pragma from 'SMTIO.hs' in Copilot-Theorem.
  carte731
  committed
  475bd61
- Updated CHANGELOG for Copilot-Theorem.
  carte731
  committed
  5a587c2
Commits on Jun 25, 2025
- Updated and fixed the change log.
  carte731
  committed
  6a461f6
- Forgot the 's' on pragma.
  carte731
  committed
  317d34d