| Age | Commit message (Expand) | Author |
|---|
| 2007-09-28 | add prop for 'differentiate' | Don Stewart |
| 2007-09-28 | new QC properties: floating a window is reversible, screens includes current ... | Don Stewart |
| 2007-09-27 | Add 3 QC properties for focusMaster: local, idempotent, preserves invariant | Don Stewart |
| 2007-09-10 | Fix float behaviour, add shiftWin. | Karsten Schoelzel |
| 2007-08-15 | Add greedyView, make it the default action for mod-wer | Spencer Janssen |
| 2007-07-28 | QuickCheck filter preserves order | Karsten Schoelzel |
| 2007-06-29 | Move screen details into StackSet | Spencer Janssen |
| 2007-06-26 | add 2 properties to state where focus goes on delete of focused window | Don Stewart |
| 2007-06-14 | make workspace tag not need to be a Num. | David Roundy |
| 2007-06-12 | make focus, up and down complete functions. | David Roundy |
| 2007-06-11 | Add StackSet.filter | Spencer Janssen |
| 2007-05-31 | remove LOC cap (but still print count after tests) | Jason Creighton |
| 2007-05-26 | HEADS UP: change key binding for swapLeft/Right and IncMaster | Don Stewart |
| 2007-05-24 | Delete the Catch wrapper, no longer required by the latest version of Catch | Neil Mitchell |
| 2007-05-25 | Add a test that the size field of StackSet is correct to QuickCheck invariant. | glasser |
| 2007-05-25 | Quickcheck property to check that delete / focus behaviour | Rob |
| 2007-05-25 | Fix bug in noDuplicate invariant | Rob |
| 2007-05-22 | add swapLeft and swapRight | bobstopper |
| 2007-05-22 | Update the Catch checking to the new interface for StackSet | Neil Mitchell |
| 2007-05-21 | Move xinerama current/visible/hidden workspace logic into StackSet directly. | Don Stewart |
| 2007-05-20 | HEADS UP: Rewrite StackSet as a Zipper | Don Stewart |
| 2007-05-16 | variable number of windows in master area | Jason Creighton |
| 2007-05-15 | beautify tile | David Roundy |
| 2007-05-10 | keep focus stack. | David Roundy |
| 2007-05-10 | bump LOC limit to 550 | Jason Creighton |
| 2007-05-08 | Remove broken prop_promoterotate, replace it with prop_promote_raise_id | Spencer Janssen |
| 2007-05-08 | Disable shift_reversible until focus issues are decided. | Spencer Janssen |
| 2007-05-08 | Disable delete.push until focus issues are decided | Spencer Janssen |
| 2007-05-08 | Add the initial Catch testing framework for StackSet | Neil Mitchell http://www.cs.york.ac.uk/~ndm/ |
| 2007-05-08 | Make tests typecheck | Spencer Janssen |
| 2007-05-08 | Arbitrary instance for StackSet must set random focus on each workspace | Don Stewart |
| 2007-05-05 | make quickcheck tests friendlier to read. | David Roundy |
| 2007-05-05 | make Properties.hs exit with failure on test failure | Jason Creighton |
| 2007-05-04 | added mirrorLayout to mirror arbitrary layouts | Jason Creighton |
| 2007-05-03 | -Wall police | Don Stewart |
| 2007-05-02 | Fix tests after StackSet changes | Spencer Janssen |
| 2007-05-02 | First steps to adding floating layer | Spencer Janssen |
| 2007-04-30 | check we never generate invalid stack sets | Don Stewart |
| 2007-04-30 | view n . shift n . view i . shift i) x == x --> shift + view is invertible | Don Stewart |
| 2007-04-30 | add rotate all and view idempotency tests | Don Stewart |
| 2007-04-30 | push is idempotent | Don Stewart |
| 2007-04-30 | add two properties relating to empty window managers | Don Stewart |
| 2007-04-30 | new QC property: opening a window only affects the current screen | Don Stewart |
| 2007-04-30 | a bit more precise about building non-empty stacksets for one test | Don Stewart |
| 2007-04-30 | move size into Properties.hs | Don Stewart |
| 2007-04-29 | add fromList to Properties.hs | Don Stewart |
| 2007-04-26 | Remove toList | Spencer Janssen |
| 2007-04-19 | Arbitrary Word64 for running tests on amd64 | Alec Berryman |
| 2007-04-19 | add 8 new QC tests, including tests of the layout algorithm | Don Stewart |
| 2007-04-19 | Parameterise StackSet by two index types, rather than breaking abstraction | Don Stewart |
