Age | Commit message (Expand) | Author |
2008-03-22 | test message handling of Full layout | Don Stewart |
2008-03-22 | QuickCheck properties to fully specify the Tall layout, and its messages | Don Stewart |
2008-03-22 | add hpc generation script | Don Stewart |
2008-03-22 | add QuickCheck property for Full: it produces one window, it is fullscreen, a... | Don Stewart |
2008-03-22 | QC for pureLayout. confirm pureLayout . Tall produces no overlaps | Don Stewart |
2008-03-22 | reenable quickcheck properties for layouts (no overlap, fullscreen) | Don Stewart |
2008-03-10 | add property for ensureTags behaviour on hidden workspaces | Don Stewart |
2008-03-07 | more general properties for view, greedyView | Don Stewart |
2008-03-07 | bit more code coverage | Don Stewart |
2008-02-27 | more tests. slightly better test coverage | Don Stewart |
2008-02-27 | test geometry setting | Don Stewart |
2008-02-25 | incorrect invariant test for greedyView | Don Stewart |
2008-01-19 | Roll testing into the main executable, use Cabal to build the tests | Spencer Janssen |
2007-11-01 | Hierarchify | Spencer Janssen |
2007-11-01 | This is a massive update, here's what has changed: | Spencer Janssen |
2007-10-22 | Replace 'findIndex' with 'findTag', which more accurately describes what the ... | Brent Yorgey |
2007-10-15 | Whitespace fixes for Properties.hs | Spencer Janssen |
2007-10-06 | The empty line isntcomment. | Ferenc Wagner |
2007-10-06 | add mapWorkspace tests | Devin Mullins |
2007-10-06 | comment out type error'd property | Don Stewart |
2007-10-06 | add floating property | Don Stewart |
2007-10-05 | Add mapLayout | Spencer Janssen |
2007-10-04 | extract Properties module for re-use by contrib tests | Devin Mullins |
2007-10-01 | Add StackSet.allWindows | Spencer Janssen |
2007-09-30 | deeper test for differentiate. back to 100% coverage | Don Stewart |
2007-09-30 | properties for tag renaming | Don Stewart |
2007-09-30 | test lookupWorkspace more deeply | Don Stewart |
2007-09-29 | 100% coverage of alternative branches | Don Stewart |
2007-09-29 | add some more properties for failure cases | Don Stewart |
2007-09-20 | add (unused) Layout to StackSet. | David Roundy |
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 |