dejafu/Test/DejaFu
2015-02-13 00:46:12 +00:00
..
Deterministic Add STM exceptions 2015-02-13 00:46:11 +00:00
SCT Implement STM in Deterministic 2015-02-09 23:22:06 +00:00
Deterministic.hs Move CVar IDs out of the Ref in Deterministic 2015-02-10 01:20:04 +00:00
SCT.hs Refactor code and update docs to make more not-me friendly 2015-02-01 01:21:42 +00:00
STM.hs doTransaction already calls undo on retry/exception 2015-02-13 00:46:12 +00:00