4 Commits

Author	SHA1	Message	Date
Joe Thornber	fa657beff6	[run_set] use lower_bound to skip preceeding entries more quickly.	2013-07-09 13:55:21 +01:00
Joe Thornber	8523314a7f	[run_set] improve run merging	2013-07-09 10:36:30 +01:00
Joe Thornber	31686fbb17	run_set.negate()	2013-07-08 23:21:48 +01:00
Joe Thornber	3be8376256	run_set	2013-07-08 21:44:09 +01:00