Hello community, here is the log from the commit of package ghc-dejafu for openSUSE:Factory checked in at 2017-08-31 20:46:45 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dejafu (Old) and /work/SRC/openSUSE:Factory/.ghc-dejafu.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dejafu" Thu Aug 31 20:46:45 2017 rev:3 rq:513229 version:0.7.0.2 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dejafu/ghc-dejafu.changes 2017-04-20 20:55:44.247345584 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-dejafu.new/ghc-dejafu.changes 2017-08-31 20:46:47.284935858 +0200 @@ -1,0 +2,5 @@ +Thu Jul 27 14:04:32 UTC 2017 - [email protected] + +- Update to version 0.7.0.2. + +------------------------------------------------------------------- Old: ---- dejafu-0.4.0.0.tar.gz New: ---- dejafu-0.7.0.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dejafu.spec ++++++ --- /var/tmp/diff_new_pack.peJcV8/_old 2017-08-31 20:46:48.344787093 +0200 +++ /var/tmp/diff_new_pack.peJcV8/_new 2017-08-31 20:46:48.352785970 +0200 @@ -18,7 +18,7 @@ %global pkg_name dejafu Name: ghc-%{pkg_name} -Version: 0.4.0.0 +Version: 0.7.0.2 Release: 0 Summary: Systematic testing for Haskell concurrency License: MIT @@ -29,10 +29,10 @@ BuildRequires: ghc-concurrency-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel -BuildRequires: ghc-dpor-devel BuildRequires: ghc-exceptions-devel -BuildRequires: ghc-monad-loops-devel +BuildRequires: ghc-leancheck-devel BuildRequires: ghc-mtl-devel +BuildRequires: ghc-random-devel BuildRequires: ghc-ref-fd-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-semigroups-devel @@ -55,41 +55,6 @@ concurrency> package by enabling you to systematically and deterministically test your concurrent programs. -== Déjà Fu with 'IO': - -The core assumption underlying Déjà Fu is that any apparent nondeterminism -arises purely from the scheduling behaviour. To put it another way, a given -computation, parametrised with a fixed set of scheduling decisions, is -deterministic. - -Whilst this assumption may not hold in general when 'IO' is involved, you -should strive to produce test cases where it does. - -== Memory Model - -The testing functionality supports a few different memory models, for -computations which use non-synchronised `CRef` operations. The supported models -are: - -* __Sequential Consistency:__ A program behaves as a simple interleaving of the -actions in different threads. When a CRef is written to, that write is -immediately visible to all threads. - -* __Total Store Order (TSO):__ Each thread has a write buffer. A thread sees -its writes immediately, but other threads will only see writes when they are -committed, which may happen later. Writes are committed in the same order that -they are created. - -* __Partial Store Order (PSO):__ Each CRef has a write buffer. A thread sees -its writes immediately, but other threads will only see writes when they are -committed, which may happen later. Writes to different CRefs are not -necessarily committed in the same order that they are created. - -If a testing function does not take the memory model as a parameter, it uses -TSO. - -See the <https://github.com/barrucadu/dejafu README> for more details. - %package devel Summary: Haskell %{pkg_name} library development files Group: Development/Libraries/Other @@ -122,5 +87,6 @@ %files devel -f %{name}-devel.files %defattr(-,root,root,-) +%doc CHANGELOG.markdown README.markdown %changelog ++++++ dejafu-0.4.0.0.tar.gz -> dejafu-0.7.0.2.tar.gz ++++++ ++++ 6131 lines of diff (skipped)
