tamarin-prover-utils 0.4.1.0 → 0.6.0.0
raw patch · 2 files changed
+14/−2 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Extension.Prelude: unreachable :: String -> a
Files
src/Extension/Prelude.hs view
@@ -260,3 +260,11 @@ ms' <- errorFree ms if null ms' then mzero else return ms' +-- Error reporting+------------------++-- | Mark a part of the code as unreachable.+unreachable :: String -> a+unreachable location =+ error $ "reached the 'unreachable' code in " ++ location+
tamarin-prover-utils.cabal view
@@ -2,7 +2,7 @@ cabal-version: >= 1.8 build-type: Simple-version: 0.4.1.0+version: 0.6.0.0 license: GPL license-file: LICENSE category: Theorem Provers@@ -15,9 +15,13 @@ description: This is an internal library of the Tamarin prover for security protocol verification- (<hackage.haskell.org/package/tamarin-prover>). + (<hackage.haskell.org/package/tamarin-prover>). homepage: http://www.infsec.ethz.ch/research/software#TAMARIN++source-repository head+ type: git+ location: https://github.com/tamarin-prover/tamarin-prover.git ----------------------