Short description of the project
Update ignore list
Source code for the submission of POPL'14
Update ignore list for Gradle wrapper