Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2007-03-28 | added a quickcheck property | daniel | 1 | -0/+7 |
2007-03-09 | more QC properties on StackSets | Don Stewart | 1 | -7/+42 |
2007-03-09 | simpler type (no need to cache size, we *could* grow new stacks on demand now) | Don Stewart | 1 | -4/+2 |
2007-03-09 | simplify StackSet api even further (-15 loc) | Don Stewart | 1 | -3/+1 |
2007-03-09 | smaller api, less tests | Don Stewart | 1 | -37/+5 |
2007-03-08 | forgot to add Properties.hs | Don Stewart | 1 | -0/+166 |