aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (follow)
Commit message (Expand)AuthorAgeFilesLines
* more testsDon Stewart2008-03-231-1/+13
* some tests for the size increment handling in Operations.hsDon Stewart2008-03-231-0/+18
* more properties for splitting horizontally and verticallyDon Stewart2008-03-221-0/+46
* test message handling of Full layoutDon Stewart2008-03-221-2/+10
* QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart2008-03-221-8/+71
* add QuickCheck property for Full: it produces one window, it is fullscreen, a...Don Stewart2008-03-221-1/+14
* QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart2008-03-221-0/+13
* reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart2008-03-221-5/+3
* add property for ensureTags behaviour on hidden workspacesDon Stewart2008-03-101-0/+18
* more general properties for view, greedyViewDon Stewart2008-03-071-2/+2
* bit more code coverageDon Stewart2008-03-071-0/+5
* more tests. slightly better test coverageDon Stewart2008-02-271-5/+7
* test geometry settingDon Stewart2008-02-271-0/+7
* incorrect invariant test for greedyViewDon Stewart2008-02-251-1/+9
* Roll testing into the main executable, use Cabal to build the testsSpencer Janssen2008-01-191-3/+3
* HierarchifySpencer Janssen2007-11-011-2/+2
* This is a massive update, here's what has changed:Spencer Janssen2007-11-011-1/+0
* Replace 'findIndex' with 'findTag', which more accurately describes what the ...Brent Yorgey2007-10-221-5/+5
* Whitespace fixes for Properties.hsSpencer Janssen2007-10-151-11/+11
* add mapWorkspace testsDevin Mullins2007-10-061-0/+8
* comment out type error'd propertyDon Stewart2007-10-061-0/+2
* add floating propertyDon Stewart2007-10-061-0/+6
* Add mapLayoutSpencer Janssen2007-10-051-0/+7
* extract Properties module for re-use by contrib testsDevin Mullins2007-10-041-0/+1
* Add StackSet.allWindowsSpencer Janssen2007-10-011-0/+3
* deeper test for differentiate. back to 100% coverageDon Stewart2007-09-301-1/+1
* properties for tag renamingDon Stewart2007-09-301-0/+21
* test lookupWorkspace more deeplyDon Stewart2007-09-301-0/+10
* 100% coverage of alternative branchesDon Stewart2007-09-291-2/+9
* add some more properties for failure casesDon Stewart2007-09-291-0/+29
* add (unused) Layout to StackSet.David Roundy2007-09-201-14/+16
* add prop for 'differentiate'Don Stewart2007-09-281-0/+5
* new QC properties: floating a window is reversible, screens includes current ...Don Stewart2007-09-281-0/+18
* Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart2007-09-271-2/+19
* Fix float behaviour, add shiftWin.Karsten Schoelzel2007-09-101-0/+23
* Add greedyView, make it the default action for mod-werSpencer Janssen2007-08-151-0/+36
* QuickCheck filter preserves orderKarsten Schoelzel2007-07-281-0/+12
* Move screen details into StackSetSpencer Janssen2007-06-291-26/+31
* add 2 properties to state where focus goes on delete of focused windowDon Stewart2007-06-261-1/+24
* make workspace tag not need to be a Num.David Roundy2007-06-141-42/+29
* make focus, up and down complete functions.David Roundy2007-06-121-13/+9
* Add StackSet.filterSpencer Janssen2007-06-111-1/+1
* HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart2007-05-261-46/+46
* Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser2007-05-251-0/+3
* Quickcheck property to check that delete / focus behaviourRob2007-05-251-0/+4
* Fix bug in noDuplicate invariantRob2007-05-251-3/+3
* add swapLeft and swapRightbobstopper2007-05-221-23/+46
* Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart2007-05-211-70/+53
* HEADS UP: Rewrite StackSet as a ZipperDon Stewart2007-05-201-276/+537
* variable number of windows in master areaJason Creighton2007-05-161-2/+2