| Commit message (Expand) | Author | Age | Files | Lines |
* | add W.shiftMaster, fix float/tile-reordering bug | Devin Mullins | 2008-09-11 | 1 | -0/+17 |
* | add currentTag convenience function | Devin Mullins | 2008-05-12 | 1 | -0/+4 |
* | more tests | Don Stewart | 2008-03-23 | 1 | -1/+13 |
* | some tests for the size increment handling in Operations.hs | Don Stewart | 2008-03-23 | 1 | -0/+18 |
* | more properties for splitting horizontally and vertically | Don Stewart | 2008-03-22 | 1 | -0/+46 |
* | test message handling of Full layout | Don Stewart | 2008-03-22 | 1 | -2/+10 |
* | QuickCheck properties to fully specify the Tall layout, and its messages | Don Stewart | 2008-03-22 | 1 | -8/+71 |
* | add hpc generation script | Don Stewart | 2008-03-22 | 1 | -0/+10 |
* | add QuickCheck property for Full: it produces one window, it is fullscreen, a... | Don Stewart | 2008-03-22 | 1 | -1/+14 |
* | QC for pureLayout. confirm pureLayout . Tall produces no overlaps | Don Stewart | 2008-03-22 | 1 | -0/+13 |
* | reenable quickcheck properties for layouts (no overlap, fullscreen) | Don Stewart | 2008-03-22 | 1 | -5/+3 |
* | add property for ensureTags behaviour on hidden workspaces | Don Stewart | 2008-03-10 | 1 | -0/+18 |
* | more general properties for view, greedyView | Don Stewart | 2008-03-07 | 1 | -2/+2 |
* | bit more code coverage | Don Stewart | 2008-03-07 | 1 | -0/+5 |
* | more tests. slightly better test coverage | Don Stewart | 2008-02-27 | 1 | -5/+7 |
* | test geometry setting | Don Stewart | 2008-02-27 | 1 | -0/+7 |
* | incorrect invariant test for greedyView | Don Stewart | 2008-02-25 | 1 | -1/+9 |
* | Roll testing into the main executable, use Cabal to build the tests | Spencer Janssen | 2008-01-19 | 2 | -11/+3 |
* | Hierarchify | Spencer Janssen | 2007-11-01 | 1 | -2/+2 |
* | This is a massive update, here's what has changed: | Spencer Janssen | 2007-11-01 | 1 | -1/+0 |
* | Replace 'findIndex' with 'findTag', which more accurately describes what the ... | Brent Yorgey | 2007-10-22 | 1 | -5/+5 |
* | Whitespace fixes for Properties.hs | Spencer Janssen | 2007-10-15 | 1 | -11/+11 |
* | The empty line isntcomment. | Ferenc Wagner | 2007-10-06 | 1 | -1/+0 |
* | add mapWorkspace tests | Devin Mullins | 2007-10-06 | 1 | -0/+8 |
* | comment out type error'd property | Don Stewart | 2007-10-06 | 1 | -0/+2 |
* | add floating property | Don Stewart | 2007-10-06 | 1 | -0/+6 |
* | Add mapLayout | Spencer Janssen | 2007-10-05 | 1 | -0/+7 |
* | extract Properties module for re-use by contrib tests | Devin Mullins | 2007-10-04 | 2 | -0/+9 |
* | Add StackSet.allWindows | Spencer Janssen | 2007-10-01 | 1 | -0/+3 |
* | deeper test for differentiate. back to 100% coverage | Don Stewart | 2007-09-30 | 1 | -1/+1 |
* | properties for tag renaming | Don Stewart | 2007-09-30 | 1 | -0/+21 |
* | test lookupWorkspace more deeply | Don Stewart | 2007-09-30 | 1 | -0/+10 |
* | 100% coverage of alternative branches | Don Stewart | 2007-09-29 | 1 | -2/+9 |
* | add some more properties for failure cases | Don Stewart | 2007-09-29 | 1 | -0/+29 |
* | add (unused) Layout to StackSet. | David Roundy | 2007-09-20 | 1 | -14/+16 |
* | add prop for 'differentiate' | Don Stewart | 2007-09-28 | 1 | -0/+5 |
* | new QC properties: floating a window is reversible, screens includes current ... | Don Stewart | 2007-09-28 | 1 | -0/+18 |
* | Add 3 QC properties for focusMaster: local, idempotent, preserves invariant | Don Stewart | 2007-09-27 | 1 | -2/+19 |
* | Fix float behaviour, add shiftWin. | Karsten Schoelzel | 2007-09-10 | 1 | -0/+23 |
* | Add greedyView, make it the default action for mod-wer | Spencer Janssen | 2007-08-15 | 1 | -0/+36 |
* | QuickCheck filter preserves order | Karsten Schoelzel | 2007-07-28 | 1 | -0/+12 |
* | Move screen details into StackSet | Spencer Janssen | 2007-06-29 | 1 | -26/+31 |
* | add 2 properties to state where focus goes on delete of focused window | Don Stewart | 2007-06-26 | 1 | -1/+24 |
* | make workspace tag not need to be a Num. | David Roundy | 2007-06-14 | 1 | -42/+29 |
* | make focus, up and down complete functions. | David Roundy | 2007-06-12 | 1 | -13/+9 |
* | Add StackSet.filter | Spencer Janssen | 2007-06-11 | 1 | -1/+1 |
* | remove LOC cap (but still print count after tests) | Jason Creighton | 2007-05-31 | 1 | -1/+0 |
* | HEADS UP: change key binding for swapLeft/Right and IncMaster | Don Stewart | 2007-05-26 | 1 | -46/+46 |
* | Delete the Catch wrapper, no longer required by the latest version of Catch | Neil Mitchell | 2007-05-24 | 1 | -72/+0 |
* | Add a test that the size field of StackSet is correct to QuickCheck invariant. | glasser | 2007-05-25 | 1 | -0/+3 |