mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-23 21:42:09 +03:00
Bump versions for release
This commit is contained in:
parent
8f27ff0c11
commit
a0a5a493d5
@ -44,9 +44,9 @@ Packages
|
||||
| | Version | Intended Users | Summary |
|
||||
| --- | ------- | -------------- | ------- |
|
||||
| concurrency [[docs][d:conc]] [[hackage][h:conc]] | 1.1.2.0 | Authors | Typeclasses, functions, and data types for concurrency and STM. |
|
||||
| dejafu [[docs][d:dejafu]] [[hackage][h:dejafu]] | 0.6.0.0 | Testers | Systematic testing for Haskell concurrency. |
|
||||
| hunit-dejafu [[docs][d:hunit]] [[hackage][h:hunit]] | 0.5.0.0 | Testers | Deja Fu support for the HUnit test framework. |
|
||||
| tasty-dejafu [[docs][d:tasty]] [[hackage][h:tasty]] | 0.4.0.0 | Testers | Deja Fu support for the Tasty test framework. |
|
||||
| dejafu [[docs][d:dejafu]] [[hackage][h:dejafu]] | 0.7.0.0 | Testers | Systematic testing for Haskell concurrency. |
|
||||
| hunit-dejafu [[docs][d:hunit]] [[hackage][h:hunit]] | 0.6.0.0 | Testers | Deja Fu support for the HUnit test framework. |
|
||||
| tasty-dejafu [[docs][d:tasty]] [[hackage][h:tasty]] | 0.6.0.0 | Testers | Deja Fu support for the Tasty test framework. |
|
||||
|
||||
Each package has its own README and CHANGELOG in its subdirectory.
|
||||
|
||||
|
@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
|
||||
*de facto* standard Haskell versioning scheme.
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
1.1.2.1 [2017-06-07] (tag: [concurrency-1.1.2.1][])
|
||||
-------
|
||||
|
||||
https://hackage.haskell.org/package/concurrency-1.1.2.1
|
||||
|
||||
### Changed
|
||||
|
||||
@ -20,6 +22,8 @@ unreleased
|
||||
|
||||
- There is now a changelog.
|
||||
|
||||
[concurrency-1.1.2.1]: https://github.com/barrucadu/dejafu/releases/tag/concurrency-1.1.2.1
|
||||
|
||||
|
||||
---------------------------------------------------------------------------------------------------
|
||||
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: concurrency
|
||||
version: 1.1.2.0
|
||||
version: 1.1.2.1
|
||||
synopsis: Typeclasses, functions, and data types for concurrency and STM.
|
||||
|
||||
description:
|
||||
@ -32,7 +32,7 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: concurrency-1.1.2.0
|
||||
tag: concurrency-1.1.2.1
|
||||
|
||||
library
|
||||
exposed-modules: Control.Monad.Conc.Class
|
||||
|
@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
|
||||
*de facto* standard Haskell versioning scheme.
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
0.7.0.0 [2017-06-07] (git tag: [dejafu-0.7.0.0][])
|
||||
-------
|
||||
|
||||
https://hackage.haskell.org/package/dejafu-0.7.0.0
|
||||
|
||||
### Test.DejaFu
|
||||
|
||||
@ -46,6 +48,7 @@ unreleased
|
||||
occasion (issue #81).
|
||||
|
||||
[CoCo]: https://github.com/barrucadu/coco
|
||||
[dejafu-0.7.0.0]: https://github.com/barrucadu/dejafu/releases/tag/dejafu-0.7.0.0
|
||||
|
||||
|
||||
---------------------------------------------------------------------------------------------------
|
||||
|
@ -124,7 +124,7 @@ data How = Weak | Equiv | Strict deriving Eq
|
||||
|
||||
-- | A property which can be given to 'check'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
data RefinementProperty o x where
|
||||
RP :: Ord o => How -> Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
Neg :: RefinementProperty o x -> RefinementProperty o x
|
||||
@ -136,7 +136,7 @@ data RefinementProperty o x where
|
||||
-- * @o@ is the observation type (@Maybe a@ in the example)
|
||||
-- * @x@ is the seed type (@Maybe a@ in the example)
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
data Sig s o x = Sig
|
||||
{ initialise :: x -> ConcIO s
|
||||
-- ^ Create a new instance of the state variable.
|
||||
@ -162,7 +162,7 @@ expectFailure = Neg
|
||||
-- compare the behaviour of different data structures. The
|
||||
-- observation and seed types must match, however.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
refines :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
refines = RP Weak
|
||||
|
||||
@ -178,7 +178,7 @@ refines = RP Weak
|
||||
-- of @=>=@ points at the less general term, and the closed end at the
|
||||
-- more general term, to give the same argument order as 'refines'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
(=>=) :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
(=>=) = refines
|
||||
|
||||
@ -191,13 +191,13 @@ refines = RP Weak
|
||||
-- compare the behaviour of different data structures. The
|
||||
-- observation and seed types must match, however.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
equivalentTo :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
equivalentTo = RP Equiv
|
||||
|
||||
-- | Infix synonym for 'equivalentTo'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
(===) :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
(===) = equivalentTo
|
||||
|
||||
@ -210,13 +210,13 @@ equivalentTo = RP Equiv
|
||||
-- compare the behaviour of different data structures. The
|
||||
-- observation and seed types must match, however.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
strictlyRefines :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
strictlyRefines = RP Strict
|
||||
|
||||
-- | Infix synonym for 'strictlyRefines'
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
(->-) :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x
|
||||
(->-) = strictlyRefines
|
||||
|
||||
@ -226,7 +226,7 @@ strictlyRefines = RP Strict
|
||||
|
||||
-- | Things which can be tested.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
class Testable a where
|
||||
-- | The observation value type. This is used to compare the
|
||||
-- results.
|
||||
@ -254,7 +254,7 @@ instance (Listable a, Show a, Testable b) => Testable (a -> b) where
|
||||
-- | A counter example is a seed value and a list of variable
|
||||
-- assignments.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
data FailedProperty o x
|
||||
= CounterExample
|
||||
{ failingSeed :: x
|
||||
@ -272,7 +272,7 @@ data FailedProperty o x
|
||||
-- | Check a refinement property with a variety of seed values and
|
||||
-- variable assignments.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
check :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))
|
||||
=> p
|
||||
-- ^ The property to check.
|
||||
@ -294,7 +294,7 @@ check p = do
|
||||
-- | A version of 'check' that doesn't print, and returns the
|
||||
-- counterexample.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
check' :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))
|
||||
=> p
|
||||
-- ^ The property to check.
|
||||
@ -304,7 +304,7 @@ check' = checkFor 10 100
|
||||
-- | Like 'check', but take a number of cases to try, also returns the
|
||||
-- counter example found rather than printing it.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
checkFor :: (Testable p, Listable (X p), Eq (X p), Show (X p))
|
||||
=> Int
|
||||
-- ^ Number of seed values per variable-assignment.
|
||||
@ -317,7 +317,7 @@ checkFor sn vn p = listToMaybe <$> counterExamples sn vn p
|
||||
|
||||
-- | Find all counterexamples up to a limit.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
counterExamples :: (Testable p, Listable (X p), Eq (X p))
|
||||
=> Int
|
||||
-- ^ Number of seed values per variable-assignment.
|
||||
|
@ -110,7 +110,7 @@ import Test.DejaFu.SCT.Internal
|
||||
|
||||
-- | How to explore the possible executions of a concurrent program.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
data Way where
|
||||
Systematic :: Bounds -> Way
|
||||
Weighted :: RandomGen g => g -> Int -> Int -> Way
|
||||
@ -126,7 +126,7 @@ instance Show Way where
|
||||
--
|
||||
-- This corresponds to 'sctBound'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
systematically
|
||||
:: Bounds
|
||||
-- ^ The bounds to constrain the exploration.
|
||||
@ -143,7 +143,7 @@ systematically = Systematic
|
||||
-- disabled, and is not guaranteed to find all distinct results
|
||||
-- (unlike 'systematically' / 'sctBound').
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
randomly :: RandomGen g
|
||||
=> g
|
||||
-- ^ The random generator to drive the scheduling.
|
||||
@ -160,7 +160,7 @@ randomly g lim = swarmy g lim 1
|
||||
-- This corresponds to 'sctUniformRandom', and is not guaranteed to
|
||||
-- find all distinct results (unlike 'systematically' / 'sctBound').
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
uniformly :: RandomGen g
|
||||
=> g
|
||||
-- ^ The random generator to drive the scheduling.
|
||||
@ -178,7 +178,7 @@ uniformly = Uniform
|
||||
-- This corresponds to 'sctWeightedRandom', and is not guaranteed to
|
||||
-- find all distinct results (unlike 'systematically' / 'sctBound').
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
swarmy :: RandomGen g
|
||||
=> g
|
||||
-- ^ The random generator to drive the scheduling.
|
||||
@ -432,7 +432,7 @@ sctBound memtype cb conc = go initialState where
|
||||
--
|
||||
-- This is not guaranteed to find all distinct results.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
sctUniformRandom :: (MonadRef r n, RandomGen g)
|
||||
=> MemType
|
||||
-- ^ The memory model to use for non-synchronised @CRef@ operations.
|
||||
@ -459,7 +459,7 @@ sctUniformRandom memtype g0 lim0 conc = go g0 (max 0 lim0) where
|
||||
--
|
||||
-- This is not guaranteed to find all distinct results.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.7.0.0
|
||||
sctWeightedRandom :: (MonadRef r n, RandomGen g)
|
||||
=> MemType
|
||||
-- ^ The memory model to use for non-synchronised @CRef@ operations.
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: dejafu
|
||||
version: 0.6.0.0
|
||||
version: 0.7.0.0
|
||||
synopsis: Systematic testing for Haskell concurrency.
|
||||
|
||||
description:
|
||||
@ -37,7 +37,7 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: dejafu-0.6.0.0
|
||||
tag: dejafu-0.7.0.0
|
||||
|
||||
library
|
||||
exposed-modules: Test.DejaFu
|
||||
|
@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
|
||||
*de facto* standard Haskell versioning scheme.
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
0.6.0.0 [2017-06-07] (git tag: [hunit-dejafu-0.6.0.0][])
|
||||
-------
|
||||
|
||||
https://hackage.haskell.org/package/hunit-dejafu-0.6.0.0
|
||||
|
||||
### Test.HUnit.DejaFu
|
||||
|
||||
@ -24,7 +26,9 @@ unreleased
|
||||
|
||||
### Miscellaneous
|
||||
|
||||
- Only dejafu UNRELEASED is supported.
|
||||
- Only dejafu 0.7 is supported.
|
||||
|
||||
[hunit-dejafu-0.6.0.0]: https://github.com/barrucadu/dejafu/releases/tag/hunit-dejafu-0.6.0.0
|
||||
|
||||
|
||||
---------------------------------------------------------------------------------------------------
|
||||
|
@ -287,7 +287,7 @@ testDejafusWayIO = testio
|
||||
-- | Check a refinement property with a variety of seed values and
|
||||
-- variable assignments.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.6.0.0
|
||||
testProperty :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p))
|
||||
=> String
|
||||
-- ^ The name of the test.
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: hunit-dejafu
|
||||
version: 0.5.0.0
|
||||
version: 0.6.0.0
|
||||
synopsis: Deja Fu support for the HUnit test framework.
|
||||
|
||||
description:
|
||||
@ -30,7 +30,7 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: hunit-dejafu-0.5.0.0
|
||||
tag: hunit-dejafu-0.6.0.0
|
||||
|
||||
library
|
||||
exposed-modules: Test.HUnit.DejaFu
|
||||
@ -38,7 +38,7 @@ library
|
||||
-- other-extensions:
|
||||
build-depends: base >=4.8 && <5
|
||||
, exceptions >=0.7 && <0.9
|
||||
, dejafu >=0.6 && <0.7
|
||||
, dejafu >=0.7 && <0.8
|
||||
, HUnit >=1.2 && <1.7
|
||||
-- hs-source-dirs:
|
||||
default-language: Haskell2010
|
||||
|
@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
|
||||
*de facto* standard Haskell versioning scheme.
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
0.6.0.0 [2017-04-08] (git tag: [tasty-dejafu-0.6.0.0][])
|
||||
-------
|
||||
|
||||
https://hackage.haskell.org/package/tasty-dejafu-0.6.0.0
|
||||
|
||||
### Test.Tasty.DejaFu
|
||||
|
||||
@ -24,7 +26,9 @@ unreleased
|
||||
|
||||
### Miscellaneous
|
||||
|
||||
- Only dejafu UNRELEASED is supported.
|
||||
- Only dejafu 0.7 is supported.
|
||||
|
||||
[tasty-dejafu-0.6.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.6.0.0
|
||||
|
||||
|
||||
---------------------------------------------------------------------------------------------------
|
||||
|
@ -311,7 +311,7 @@ testDejafusWayIO = testio
|
||||
-- | Check a refinement property with a variety of seed values and
|
||||
-- variable assignments.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.6.0.0
|
||||
testProperty :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p))
|
||||
=> TestName
|
||||
-- ^ The name of the test.
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: tasty-dejafu
|
||||
version: 0.5.0.0
|
||||
version: 0.6.0.0
|
||||
synopsis: Deja Fu support for the Tasty test framework.
|
||||
|
||||
description:
|
||||
@ -30,14 +30,14 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: tasty-dejafu-0.5.0.0
|
||||
tag: tasty-dejafu-0.6.0.0
|
||||
|
||||
library
|
||||
exposed-modules: Test.Tasty.DejaFu
|
||||
-- other-modules:
|
||||
-- other-extensions:
|
||||
build-depends: base >=4.8 && <5
|
||||
, dejafu >=0.6 && <0.7
|
||||
, dejafu >=0.7 && <0.8
|
||||
, random >=1.0 && <1.2
|
||||
, tagged >=0.8 && <0.9
|
||||
, tasty >=0.10 && <0.12
|
||||
|
Loading…
Reference in New Issue
Block a user