Missing description in Readme

[alcides]

This seems like a very interesting project, and from what I gathered, it builds on top of Infer to maybe detect race conditions? Maybe even generate examples?

A one paragraph description of the project in the readme would be useful for others who are curious about developments in this space.

[ilyasergey]

We are currently preparing a draft explaining the design of the tool. It will be on arXiv in a couple of days.

[bupt01]

Sorry, I'd like to ask you a question.Does installing Hippodrome require installing Infer from source, or is it not possible to install it directly from binaries?