barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-18 11:01:50 +03:00
Code Issues Projects Releases Wiki Activity
a1a78c7005
dejafu/dejafu-tests/Cases
History
Michael Walker a1a78c7005 Rename CTVar -> TVar
2016-03-23 03:27:51 +00:00
..
Litmus.hs Enable building tests with GHC <7.10 2015-12-01 05:13:47 +00:00
MultiThreaded.hs Rename CTVar -> TVar 2016-03-23 03:27:51 +00:00
SingleThreaded.hs Rename CTVar -> TVar 2016-03-23 03:27:51 +00:00