crux 0.7 → 0.7.1

raw patch · 2 files changed

+1/−2 lines, 2 filesnew-uploaderPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• crux.cabal +1/−1
• src/Crux.hs +0/−1

@@ -1,6 +1,6 @@ Cabal-version: 2.2 Name:          crux-Version:       0.7+Version:       0.7.1 Copyright:     (c) Galois, Inc. 2018-2022 Author:        sweirich@galois.com Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com

@@ -74,7 +74,6 @@ import qualified What4.Expr as WE import           What4.FunctionName (FunctionName) import           What4.Interface (IsExprBuilder, getConfiguration)-import           What4.InterpretedFloatingPoint (IsInterpretedFloatExprBuilder) import           What4.Protocol.Online (OnlineSolver) import qualified What4.Solver as WS import           What4.Solver.CVC4 (cvc4Timeout)