aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2007-04-11and the tests still runDon Stewart1-5/+6
darcs-hash:20070411081500-9c5c1-de5c90255b488c617bee222ece8e4ff059a8a95a.gz
2007-04-11fromList/toList have # of screens + another QC propertyJason Creighton1-1/+9
darcs-hash:20070411044215-b9aa7-e66ef93fac9102201bfd145ebb26c38bbecd25de.gz
2007-04-10moved screen <-> workspace mapping from XMonad to StackSetJason Creighton1-7/+19
darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4.gz
2007-03-28added a quickcheck propertydaniel1-0/+7
darcs-hash:20070328025337-c98ca-5ce390ce8d1d5f5a35fe1ba851cf09fc96ca7183.gz
2007-03-09more QC properties on StackSetsDon Stewart1-7/+42
darcs-hash:20070309054042-9c5c1-2ae77f352ab1e5c822e8144c4685c24d4d12059d.gz
2007-03-09simpler type (no need to cache size, we *could* grow new stacks on demand now)Don Stewart1-4/+2
darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010.gz
2007-03-09simplify StackSet api even further (-15 loc)Don Stewart1-3/+1
darcs-hash:20070309041707-9c5c1-3c9ef62c25f49b9025f137f73c8d25438a640ff4.gz
2007-03-09smaller api, less testsDon Stewart1-37/+5
darcs-hash:20070309035635-9c5c1-98fef33dead5a1f092b4d21120a45da06ffe164e.gz
2007-03-08forgot to add Properties.hsDon Stewart1-0/+166
darcs-hash:20070308120521-9c5c1-984458c813a58b04c648b05f314165541c74d2b7.gz