barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-29 16:44:10 +03:00
Code Issues Projects Releases Wiki Activity
927 Commits 2 Branches 194 Tags 3.4 MiB
7425f13f5a
Commit Graph

927 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Michael Walker
7425f13f5a Add a common 'sct' helper function 2018-02-22 19:00:44 +00:00
Michael Walker
ce9db3c3b1 Add a snapshotting mechanism to dontCheck 2018-02-22 19:00:44 +00:00
Michael Walker
3f0f4d9ad9 Add a CHANGELOG entry 2018-02-22 19:00:44 +00:00
Michael Walker
dc48c0e058 Add tests for dontCheck 2018-02-22 19:00:44 +00:00
Michael Walker
2a92c6c521 Implement ADontCheck 2018-02-22 19:00:44 +00:00
Michael Walker
a2ca3212a9 Implement user-facing components of dontCheck 2018-02-22 19:00:44 +00:00
Michael Walker
8b0a7a18e8
Merge pull request #228 from qrilka/discard-trace-test 
Add test for DiscardTrace
 2018-02-22 17:06:12 +00:00
Kirill Zaborsky
7f5680bcd1 Add test for DiscardTrace 2018-02-21 01:07:23 +03:00
Michael Walker
c2a178bd86
Merge pull request #218 from barrucadu/fix-date 
It's 2018, not 2017
 2018-02-18 15:11:48 +00:00
Michael Walker
8cae0ed369 Add a note about checking the year to the release process 2018-02-18 14:52:00 +00:00
Michael Walker
24448b5e6f Fix year in CHANGELOG 2018-02-18 14:47:18 +00:00
Michael Walker
b22daa7903
Merge pull request #217 from barrucadu/dejafu-1.0.0.2 
dejafu-1.0.0.2
 2018-02-18 11:52:09 +00:00
Michael Walker
d270c059b5 dejafu-1.0.0.2 release 2018-02-18 10:56:48 +00:00
Michael Walker
4ff5c369ec Add misc changes & contributor list to changelog 
The misc section is for user-visible stuff, so I've left out
:issue:`192` as that's purely internal.

:pull:`214` is also purely internal, but was contributed by someone
else.  I think highlighting outside contributions is good, so I have
left that in (and added a contributors list to the header).
 2018-02-18 10:53:51 +00:00
Michael Walker
06e1155de8 Fix incorrect changelog date of concurrency-1.4.0.0 2018-02-18 10:41:24 +00:00
Michael Walker
aba507e9a1 Fix incorrect changelog date of dejafu-1.0.0.1 2018-02-18 10:41:24 +00:00
Michael Walker
abd5b7c7ec
Merge pull request #214 from qrilka/remove-head 
Removed unnecessary use of ehead
 2018-02-17 22:02:27 +00:00
Kirill Zaborsky
8d6b19ceae Removed no longer necessary ehead helper function 2018-02-18 00:38:01 +03:00
Michael Walker
c3d98e521c
Merge pull request #215 from barrucadu/thread-invariants 
Check some error conditions for threads and throw
 2018-02-17 00:11:03 +00:00
Michael Walker
6731ad70fb Raise an error if current thread doesn't exist in AIsBound 2018-02-16 23:34:20 +00:00
Michael Walker
e26b129ba9 Use forever 2018-02-16 23:34:20 +00:00
Michael Walker
e3fa24a652 Raise an error if killing a nonexistent thread 2018-02-16 23:34:20 +00:00
Michael Walker
7259db239f Raise an error if creating a thread with a nonexistent parent 
Does not apply to the initial thread, which uses `launch'`.
 2018-02-16 23:34:20 +00:00
Michael Walker
38870f6aec Raise an error if propagating an exception in a nonexistent thread 2018-02-16 23:34:20 +00:00
Michael Walker
377d37bcc1 Raise an error if creating a thread with a non-unique ID 2018-02-16 23:34:20 +00:00
Michael Walker
76f3dc19dd Raise an error if adjusting a nonexistent thread 2018-02-16 23:34:20 +00:00
Michael Walker
66a1562419
Merge pull request #185 from barrucadu/dpor-invariants 
Validate DPOR data invariants
 2018-02-16 22:05:09 +00:00
Kirill Zaborsky
cb50cf2b21 Removed unnecessary use of ehead 2018-02-17 00:40:22 +03:00
Michael Walker
ca0d7f6823 Check DPOR data invariants & abort on violation 2018-02-16 20:28:57 +00:00
Michael Walker
74e9adbc1a When growing the DPOR stack, include current thread in runnable set 2018-02-16 20:28:48 +00:00
Michael Walker
f548afeaef
Merge pull request #197 from barrucadu/revamp-tests 
Revamp dejafu-tests
 2018-02-16 20:22:02 +00:00
Michael Walker
fb81c6a2ab Report forkOS actions in the trace correctly 
Closes #205
 2018-02-16 20:04:54 +00:00
Michael Walker
1b5fca4b68 Introduce a helper function for property tests 2018-02-16 20:04:54 +00:00
Michael Walker
2fd9e9aae7 Replace QuickCheck tests with Hedgehog ones 2018-02-16 20:04:54 +00:00
Michael Walker
5cdbc7acad Replace LeanCheck tests with Hedgehog tests 2018-02-16 20:04:54 +00:00
Michael Walker
07bf8da760 Add a missing dependency for blocked STM transactions 
Closes #204
 2018-02-16 20:04:54 +00:00
Michael Walker
a5b478b74c Allow for each test type to specify its own Tasty options 2018-02-16 20:04:54 +00:00
Michael Walker
827317d970 Warn, lint, & style tests 2018-02-16 20:04:54 +00:00
Michael Walker
7b527a8793 Rearrange test hierarchy 2018-02-16 20:04:54 +00:00
Michael Walker
92cc44b548 Add tests for liftIO 
Closes #93
 2018-02-16 20:04:54 +00:00
Michael Walker
8bff75a167 Add dependency function property tests 
The idea is that, if the dependency function is correct, then any
permutation of independent actions should give the same result.

In practice it's a little more complex, as the dependency function has
some special cases which are only valid because of how it is used.  So
an "independence" function which we can use to shuffle any trace
after-the-fact has to work around those cases.
 2018-02-16 20:04:52 +00:00
Michael Walker
1f3d46873e Deterministically assign commit thread IDs 
Closes #193
 2018-02-16 20:04:39 +00:00
Michael Walker
a737ebd8ba Add missing updateMaskState case for Stop 
Closes #192
 2018-02-16 20:04:39 +00:00
Michael Walker
43bfb6a49a Remove faulty get/setNumCapabilities optimisation 
Closes #189
 2018-02-16 20:04:39 +00:00
Michael Walker
4202ebbec1 Consolidate test-running logic 2018-02-16 20:04:39 +00:00
Michael Walker
a1101193d1 Include perf output on Travis 2018-02-16 20:04:35 +00:00
Michael Walker
64d24dbe24 Migrate tests from test-framework to tasty 2018-02-16 20:04:20 +00:00
Michael Walker
bc7f69c2c7 Add a multithreaded capabilities test 
Closes #96
 2018-02-16 19:14:46 +00:00
Michael Walker
a5e6d754f6 Add Par Monad example 
Closes #184
 2018-02-16 19:14:46 +00:00
Michael Walker
d6642b23d1 Split dejafu-tests into lib + binary 2018-02-16 19:14:46 +00:00