Age | Commit message (Expand) | Author |
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 |
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 |