| Commit message (Expand) | Author | Files | Lines |
2007-04-30 | new QC property: opening a window only affects the current screen | Don Stewart | 1 | -0/+8 |
2007-04-30 | a bit more precise about building non-empty stacksets for one test | Don Stewart | 1 | -1/+1 |
2007-04-30 | move size into Properties.hs | Don Stewart | 1 | -0/+5 |
2007-04-29 | add fromList to Properties.hs | Don Stewart | 1 | -1/+20 |
2007-04-26 | Remove toList | Spencer Janssen | 1 | -6/+1 |
2007-04-19 | Arbitrary Word64 for running tests on amd64 | Alec Berryman | 1 | -0/+8 |
2007-04-19 | add 8 new QC tests, including tests of the layout algorithm | Don Stewart | 1 | -2/+125 |
2007-04-19 | Parameterise StackSet by two index types, rather than breaking abstraction | Don Stewart | 1 | -3/+3 |
2007-04-19 | 2 more properties for promote. | Don Stewart | 1 | -2/+17 |
2007-04-19 | tweak loc count to match count_lines script | Don Stewart | 1 | -1/+2 |
2007-04-19 | Promote now swaps focused window with master window | Don Stewart | 1 | -1/+9 |
2007-04-18 | Update propaganda. | Spencer Janssen | 1 | -1/+1 |
2007-04-18 | define test to ensure LOC doesn't jump above 400. | David Roundy | 1 | -0/+15 |
2007-04-11 | and the tests still run | Don Stewart | 1 | -5/+6 |
2007-04-11 | fromList/toList have # of screens + another QC property | Jason Creighton | 1 | -1/+9 |
2007-04-10 | moved screen <-> workspace mapping from XMonad to StackSet | Jason Creighton | 1 | -7/+19 |
2007-03-28 | added a quickcheck property | daniel | 1 | -0/+7 |
2007-03-09 | more QC properties on StackSets | Don Stewart | 1 | -7/+42 |
2007-03-09 | simpler type (no need to cache size, we *could* grow new stacks on demand now) | Don Stewart | 1 | -4/+2 |
2007-03-09 | simplify StackSet api even further (-15 loc) | Don Stewart | 1 | -3/+1 |
2007-03-09 | smaller api, less tests | Don Stewart | 1 | -37/+5 |
2007-03-08 | forgot to add Properties.hs | Don Stewart | 1 | -0/+166 |