tardis-sn/tardis — pull request #192 by mklauser (2014-10-17 13:09:36+00:00)
Title: new bin search added

I added the new binary_search to tardis master, as discussed during that meeting last week.