This code was used to perform the experiments in Grigore, Kiefer, Tree Buffers, 2015. Run ./reproduce-cav2015.py, wait a few weeks, then look in the directory plots/. If anything would go wrong, you might need to start over. Alternatively, say make, run ledit ./main, type help, and explore. See the blog post for an interactive explanation.

If you want to see the implementation, start with the file treebuffer.h.

Python 3, recent gcc; ledit is convenient. The development is being done on Ubuntu, with no testing whatsoever on other platforms. If you run into trouble, call us.