5 commits

Author	SHA1	Message	Date
Gregory Burd	fec14a1c51	Put the copyright/license header into a few overlooked files.	2012-04-19 18:09:01 -04:00
Kresten Krab Thorup	3d80b164d5	Introduce 3rd file in each level to reduce worst-case ... Now, each level is comprised of 3 files, A=Oldest, B=Older, C=Old As in [Overmars and Leeuwen, 1983]. As soon as we have A & B, we initiate a merge, (to the M=New) file, i.e. we merge more eagerly than previously. Next step in this refactoring is to add a scheduler that enforces some merge activity as part of a PUT.	2012-04-19 16:07:11 +02:00
Erik Søe Sørensen	091df9392e	levelpresence.sh: Add dynamicer mode.	2012-01-06 13:56:52 +01:00
Erik Søe Sørensen	43f9855633	levelpresence.sh: Show line numbers.	2012-01-05 17:50:33 +01:00
Erik Søe Sørensen	155a0e5b19	Add level progress visualization script.	2012-01-05 17:24:58 +01:00