Skip to content

Commit

Permalink
[ hotfix ] Temporarily removed SMT related modules.
Browse files Browse the repository at this point in the history
  • Loading branch information
geoffcysu committed Nov 14, 2022
1 parent 5953ddb commit 1e62702
Show file tree
Hide file tree
Showing 8 changed files with 2 additions and 469 deletions.
5 changes: 0 additions & 5 deletions gcl.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,6 @@ library
Server.Monad
Server.Pipeline
Server.SrcLoc
SMT.Prove
Syntax.Abstract
Syntax.Abstract.Instances.Json
Syntax.Abstract.Instances.Located
Expand Down Expand Up @@ -116,7 +115,6 @@ library
, prettyprinter
, random
, regex-applicative
, sbv
, srcloc
, template-haskell
, text
Expand Down Expand Up @@ -152,7 +150,6 @@ executable gcl
, prettyprinter
, random
, regex-applicative
, sbv
, srcloc
, template-haskell
, text
Expand Down Expand Up @@ -223,7 +220,6 @@ test-suite gcl-test
Server.Monad
Server.Pipeline
Server.SrcLoc
SMT.Prove
Syntax.Abstract
Syntax.Abstract.Instances.Json
Syntax.Abstract.Instances.Located
Expand Down Expand Up @@ -273,7 +269,6 @@ test-suite gcl-test
, prettyprinter
, random
, regex-applicative
, sbv
, srcloc
, tasty
, tasty-golden
Expand Down
1 change: 0 additions & 1 deletion package.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,6 @@ dependencies:
- transformers
- template-haskell
- multistate
- sbv

library:
source-dirs: src
Expand Down
312 changes: 0 additions & 312 deletions src/SMT/Prove.hs

This file was deleted.

2 changes: 0 additions & 2 deletions src/Server/CustomMethod.hs
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,6 @@ data ReqKind
| ReqRefine Range
| ReqInsertAnchor Text
| ReqSubstitute Int
| ReqSolve Text
| ReqDebug
deriving (Generic)

Expand All @@ -76,7 +75,6 @@ instance Show ReqKind where
show (ReqRefine range) = "Refine " <> show (ShortRange range)
show (ReqInsertAnchor hash ) = "InsertAnchor " <> show hash
show (ReqSubstitute i ) = "Substitute " <> show i
show (ReqSolve hash ) = "Solve" <> show hash
show ReqDebug = "Debug"

data Request = Req FilePath ReqKind
Expand Down
Loading

0 comments on commit 1e62702

Please sign in to comment.