quickcheck-state-machine 0.3.0 → 0.3.1

raw patch · 3 files changed

+21/−14 lines, 3 filesdep ~QuickCheckdep ~ansi-wl-pprintdep ~async

Dependency ranges changed: QuickCheck, ansi-wl-pprint, async, containers, lifted-async, lifted-base, monad-control, mtl, quickcheck-with-counterexamples, random, stm, template-haskell, th-abstraction

Files

• CHANGELOG.md +5/−0
• README.md +2/−0
• quickcheck-state-machine.cabal +14/−14

@@ -1,3 +1,8 @@+#### 0.3.1 (2018-1-15)++  * Remove upper bounds for dependencies, to easier keep up with+    Stackage nightly.+ #### 0.3.0 (2017-12-15)    * A propositional logic module was added to help provide better

@@ -1,6 +1,8 @@ ## quickcheck-state-machine  [![Hackage](https://img.shields.io/hackage/v/quickcheck-state-machine.svg)](https://hackage.haskell.org/package/quickcheck-state-machine)+[![Stackage Nightly](http://stackage.org/package/quickcheck-state-machine/badge/nightly)](http://stackage.org/nightly/package/quickcheck-state-machine)+[![Stackage LTS](http://stackage.org/package/quickcheck-state-machine/badge/lts)](http://stackage.org/lts/package/quickcheck-state-machine) [![Build Status](https://api.travis-ci.org/advancedtelematic/quickcheck-state-machine.svg?branch=master)](https://travis-ci.org/advancedtelematic/quickcheck-state-machine)  `quickcheck-state-machine` is a Haskell library, based

@@ -1,5 +1,5 @@ name:                quickcheck-state-machine-version:             0.3.0+version:             0.3.1 synopsis:            Test monadic programs using state machine based models description:         See README at <https://github.com/advancedtelematic/quickcheck-state-machine#readme> homepage:            https://github.com/advancedtelematic/quickcheck-state-machine#readme@@ -37,20 +37,20 @@                      , Test.StateMachine.Z   other-modules:       Test.StateMachine.Utils   build-depends:-        ansi-wl-pprint >=0.6.7.3 && <0.7,-        async >=2.1.1.1 && <2.2,+        ansi-wl-pprint >=0.6.7.3,+        async >=2.1.1.1,         base >=4.7 && <5,-        containers >=0.5.7.1 && <0.6,-        lifted-async >=0.9.3 && <0.10,-        lifted-base >=0.2.3.11 && <0.3,-        monad-control >=1.0.2.2 && <1.1,-        mtl >=2.2.1 && <2.3,-        QuickCheck >=2.9.2 && <2.11,-        quickcheck-with-counterexamples >=1.0 && <2.0,-        random ==1.1.*,-        stm >=2.4.4.1 && <2.5,-        template-haskell >=2.11.1.0 && <2.13,-        th-abstraction >=0.2.6.0 && <0.3+        containers >=0.5.7.1,+        lifted-async >=0.9.3,+        lifted-base >=0.2.3.11,+        monad-control >=1.0.2.2,+        mtl >=2.2.1,+        QuickCheck >=2.9.2,+        quickcheck-with-counterexamples >=1.0,+        random >=1.1,+        stm >=2.4.4.1,+        template-haskell >=2.11.1.0,+        th-abstraction >=0.2.6.0   default-language:    Haskell2010  test-suite quickcheck-state-machine-test