Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
carte731 wants to merge 10 commits into from
Closed

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
5fd6e98
Removed 'GeneralizedNewtypeDeriving' unused pragma from 'what4.hs' in…
May 29, 2025
b3e6110
Removed 'MultiWayIf' unused pragma from 'what4.hs' in Copilot-Theorem.
May 29, 2025
3a66b16
Removed 'StandaloneDeriving' unused pragma from 'what4.hs' in Copilot…
May 29, 2025
55b8d2a
Removed 'TemplateHaskell' unused pragma from 'what4.hs' in Copilot-Th…
May 29, 2025
697b43e
Removed 'TupleSections' unused pragma from 'what4.hs' in Copilot-Theo…
May 29, 2025
18a02dc
Removed 'LambdaCase' unused pragma from 'Prover.hs' in Copilot-Theorem.
May 29, 2025
475bd61
Removed 'LambdaCase' unused pragma from 'SMTIO.hs' in Copilot-Theorem.
May 29, 2025
5a587c2
Updated CHANGELOG for Copilot-Theorem.
May 29, 2025
6a461f6
Updated and fixed the change log.
carte731 Jun 25, 2025
317d34d
Forgot the 's' on pragma.
carte731 Jun 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions copilot-theorem/CHANGELOG
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
2025-05-29
* Removed unused pragmas. (#613)

2025-05-07
* Version bump (4.4). (#618)
* Translate quantifiers correctly in Kind2 backend. (#594)
Expand Down
1 change: 0 additions & 1 deletion copilot-theorem/src/Copilot/Theorem/Kind2/Prover.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE Trustworthy #-}

-- | A prover backend based on Kind2.
Expand Down
1 change: 0 additions & 1 deletion copilot-theorem/src/Copilot/Theorem/Prover/SMTIO.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE Safe #-}
Expand Down
5 changes: 0 additions & 5 deletions copilot-theorem/src/Copilot/Theorem/What4.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,16 +1,11 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}

Expand Down