simple-smt 0.5.1 → 0.5.2

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

SimpleSMT.hs +1/−1
simple-smt.cabal +1/−1

SimpleSMT.hs view

@@ -678,7 +678,7 @@  -- | Logical shift right. bvLShr :: SExpr {- ^ value -} -> SExpr {- ^ shift amount -} -> SExpr-bvLShr x y = fun "bvshr" [x,y]+bvLShr x y = fun "bvlshr" [x,y]  -- | Arithemti shift right (copies most significant bit). bvAShr :: SExpr {- ^ value -} -> SExpr {- ^ shift amount -} -> SExpr

simple-smt.cabal view

@@ -1,5 +1,5 @@ name:                simple-smt-version:             0.5.1+version:             0.5.2 synopsis:            A simple way to interact with an SMT solver process. description:         A simple way to interact with an SMT solver process. license:             BSD3