Michael Walker
8394904831
Add note about performance profiling to README.
2017-03-20 19:27:42 +00:00
Michael Walker
743ae2e233
Add HUnit-1.6 support to hunit-dejafu.
2017-03-20 18:42:51 +00:00
Michael Walker
a62c2df141
Add note on code coverage to README.
2017-03-04 05:28:28 +00:00
Michael Walker
463efd3f8d
Merge "async-dejafu" into "concurrency" + bump versions.
...
Closes #73 .
2017-03-03 22:06:09 +00:00
Michael Walker
e33e2291f4
Add a note on breaking changes to "Contributing".
2017-02-26 03:16:52 +00:00
Michael Walker
90bc451d2a
Bump to dejafu-0.5.1.1
2017-02-25 06:03:58 +00:00
Michael Walker
0079254b8b
Bump to dejafu-0.5.1.0
2017-02-25 01:16:46 +00:00
Michael Walker
5f555b9f61
Bump dejafu to 0.5.0.2.
2017-02-22 17:17:23 +00:00
Michael Walker
673a7bb659
Bump to dejafu-0.5.0.1
2017-02-21 05:19:16 +00:00
Michael Walker
336199e75b
Drop _concMessage from MonadConc.
...
Closes #63 .
2017-02-20 20:28:17 +00:00
Michael Walker
fdc0190d25
Expose Way in tasty-dejafu.
...
Finally bump the minimum version of dejafu in tasty-dejafu too!
2017-02-20 03:17:22 +00:00
Michael Walker
c6346b7104
Expose Way in hunit-dejafu.
...
This (finally!) bumps the minimum version of dejafu in hunit-dejafu.
2017-02-20 03:02:33 +00:00
Michael Walker
5accde895e
Specialise types in 'Test.DPOR.Internal' and rename.
...
This breaks backwards compatibility, as things which were polymorphic
are no longer.
2016-12-05 07:36:00 +00:00
Michael Walker
f684320fc7
Merge dpor into dejafu.
2016-12-05 07:35:56 +00:00
Michael Walker
be5c51df3d
HUnit-1.4/5 compat.
2016-10-22 14:36:10 +01:00
Michael Walker
c4884badb8
Don't include thread 0 in the key.
2016-08-29 18:34:27 +01:00
Michael Walker
2065253f73
More comprehensive README.
2016-08-26 00:06:59 +01:00
Michael Walker
75fbad38a1
Rename Deterministic to Conc.
...
Closes #45
2016-07-21 19:33:49 +01:00
Michael Walker
2f0f51ceb6
Split concurrency modules into a separate package.
...
The new 'concurrency' package is starting at version 1.0.0.0 because the
API is already very mature (copied from base).
This breaks the dejafu-0.2 compatibility of async-dejafu.
Closes #51 .
2016-07-21 19:33:49 +01:00
Michael Walker
70bcad4615
Bump versions for 0.4.0.0 release
2016-07-21 19:33:46 +01:00
Michael Walker
b160cfd793
Bump to dejafu-0.3.2.1
2016-07-21 18:55:18 +01:00
Michael Walker
798a4397cc
Bump versions for dejafu-0.3.2.0
2016-06-05 23:40:03 +01:00
Michael Walker
fc2bdf0b42
Bump version numbers for dpor-0.2 / dejafu-0.3.1.2
2016-06-05 23:38:14 +01:00
Michael Walker
232e7e5f40
Bump version numbers
2016-05-26 14:02:07 +01:00
Michael Walker
246f680248
Add Travis tests
2016-05-03 20:05:02 +01:00
Michael Walker
832559c4a7
Better README
2016-05-03 00:12:08 +01:00
Michael Walker
88da371bf6
Bump versions for dejafu-0.3.1.0
2016-05-02 23:44:00 +01:00
Michael Walker
ebcf7686c4
Bump versions for async-dejafu-0.1.2.1
2016-05-01 21:56:27 +01:00
Michael Walker
50a5e0c63b
Bump versions for {hunit,tasty}-dejafu-0.3
2016-04-28 23:22:12 +01:00
Michael Walker
710529df39
Bump versions for async-dejafu-0.1.2
2016-04-28 23:05:28 +01:00
Michael Walker
6fef2be497
Bump version numbers for hackage release.
...
async-dejafu, hunit-dejafu, and tasty-dejafu only get a minor bump
because the API didn't change, only the dependencies. I'm not entirely
sure how to fit that properly into the PVP.
2016-04-03 14:40:51 +01:00
Michael Walker
a551893ccf
Fix implementation of PSO.
...
There should be one buffer for each (thread, ref) pair, not simply for
each ref. The former is too strict as it enforces a total order on the
commits to the same ref, yielding some bizarro memory model which is
both stricter and more relaxed than TSO.
This does add extra schedules when testing PSO. But that is to be
expected, as this makes PSO executions less deterministic. Unfortunately
this additional nondeterminism is required by the memory model.
2016-04-01 17:57:17 +01:00
Michael Walker
ee7580dfe7
Add an independency between writes and commits.
...
An unsynchronised write and a commit to the same CRef are independent if
the buffer is nonempty, because the commit will take from the front of
the buffer and the write will append to the end.
See [RMMVerification], lemma 5.25. It doesn't translate directly because
of the different models, but it's the same optimisation in spirit.
2016-04-01 17:57:15 +01:00
Michael Walker
5e166e9df5
Tidy up README and add bibliography
2016-04-01 17:57:13 +01:00
Michael Walker
59102efd59
Initial version of async-dejafu
2015-10-25 16:17:41 +00:00
Michael Walker
a337b872ab
Add Tasty integration
2015-10-08 21:50:52 +01:00
Michael Walker
3c9a3f2ec7
Initial implementation of HUnit integration.
...
Note: this BREAKS `cabal/stack test` for dejafu!
See dejafu/README.markdown for the work-around.
2015-10-08 12:05:59 +01:00
Michael Walker
9ce7f51b92
Document default memory model
2015-10-01 16:40:31 +01:00
Michael Walker
819cbaebf6
Add Thief of Time quote
2015-08-27 13:33:48 +01:00
Michael Walker
a1144610b2
General tidying ahead of release
2015-08-26 11:56:26 +01:00
Michael Walker
55a6239503
Update build status link in README
2015-08-16 00:19:05 +01:00
Michael Walker
a9f25fbb71
Update README
2015-08-01 15:20:20 +01:00
Michael Walker
a0c31f28fa
Use Jenkins instead of Travis.
2015-07-19 12:20:18 +01:00
Michael Walker
fbc262c361
Rename and remodularise
2015-01-31 15:50:54 +00:00
Michael Walker
0f1675070b
Update documentation
2015-01-12 14:24:12 +00:00
Michael Walker
2a33b4a017
Add link to docs in README
2014-12-20 18:17:43 +00:00
Michael Walker
a36b949382
Add README
2014-12-20 17:32:35 +00:00
