packages feed

crackNum 3.14 → 3.15

raw patch · 3 files changed

+11/−7 lines, 3 filesdep ~sbv

Dependency ranges changed: sbv

Files

CHANGES.md view
@@ -1,7 +1,11 @@ * Hackage: <http://hackage.haskell.org/package/crackNum> * GitHub:  <http://github.com/LeventErkok/crackNum/> -* Latest Hackage released version: 3.14, 2024-09-23+* Latest Hackage released version: 3.15, 2024-11-09++### Version 3.15, 2024-11-09++  * Bump up SBV dependence to >= 11.0  ### Version 3.14, 2024-09-23
crackNum.cabal view
@@ -1,6 +1,6 @@ Cabal-version      : 2.2 Name               : crackNum-Version            : 3.14+Version            : 3.15 Synopsis           : Crack various integer and floating-point data formats Description        : Crack IEEE-754 float formats and arbitrary sized words and integers, showing the layout.                      .@@ -15,7 +15,7 @@ Build-type         : Simple Extra-Source-Files : README.md, COPYRIGHT, CHANGES.md -Tested-With       : GHC==9.6.1+Tested-With       : GHC==9.10.1  source-repository head     type:       git@@ -26,7 +26,7 @@    default-language: Haskell2010    hs-source-dirs  : src    ghc-options     : -Wall -Wunused-packages-   build-depends   : base >= 4.11 && < 5, libBF, ghc, sbv >= 10.9+   build-depends   : base >= 4.11 && < 5, libBF, ghc, sbv >= 11.0                    , tasty, tasty-golden, filepath, directory, process, deepseq    other-modules   : Paths_crackNum, CrackNum.TestSuite    autogen-modules : Paths_crackNum
src/CrackNum/Main.hs view
@@ -557,9 +557,9 @@                      _                    -> die ["Expected an integer value to decode, received: " ++ show inp]           where p :: Integer -> Predicate                 p iv = do let k = KBounded sgn n-                              v = SBV $ SVal k $ Left $ mkConstCV k iv+                              v = SVal k $ Left $ mkConstCV k iv                           x <- (if sgn then sIntN else sWordN) n "ENCODED"-                          pure $ SBV x .== v+                          pure $ SBV (x `svEqual` v)          convert :: Int -> Int -> (BigFloat, Maybe String)         convert i j = case s of@@ -622,7 +622,7 @@                                                          xsv <- sbvToSV st sr                                                          newExpr st k (SBVApp (IEEEFP (FP_Cast KReal k msv)) [xsv])                                            pure $   sr .== val-                                                .&& SBV sx .== SBV (SVal k (Right (cache r)))+                                                .&& SBV (sx `svEqual` SVal k (Right (cache r)))          ef E5M2 _ = ef (FP 5 3) True -- 3 is intentional; the format ignores the sign storage, but SBV doesn't, following SMTLib