UCSD-PL/algorithmic-software-verification — pull request #11 by gridaphobe (2013-05-01 22:46:31+00:00)
Title: add `logs/.gitkeep` to prevent error on first run of `make test`

Python expects to find a `logs/` directory but there won't be one by default. I also updated the `.gitignore` file to ignore some extra things we don't care about.