I pushed the series (with the two small proposed changes) just now.
On Thu, Feb 20, 2014 at 5:02 PM, Klaus Aehlig <[email protected]> wrote: > > Add additional functions to the Haskell lock manipulation > library: intersection and opportunistic union. These operations > are required to be provided by WConfD. > > Klaus Aehlig (6): > Add a convenience function to restrict locks to a given set > Generate arbitrary :: LockAllocation according to interface > Support opportunistic lock allocation > Use opportunisticUnion in Arbitrary LockAllocation > Verify that opportunistic union only adds to the locks held > Verify the result of opportunistic union > > src/Ganeti/Locking/Allocation.hs | 30 ++++++++++ > test/hs/Test/Ganeti/Locking/Allocation.hs | 93 > +++++++++++++++++++++++++++---- > 2 files changed, 111 insertions(+), 12 deletions(-) > > -- > 1.9.0.rc1.175.g0b1dcb5 > >
