Repo for CS 512 summer 2014