| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Added script for cleaning up temporary files created by both the lit |  Dan Liew | 2014-05-11 |
| and legacy (batch file) testing infrastructures. This unfortunately is required if switching between infrastructures because both systems create a file named "Output". However for lit it is a directory and for the legacy system this is a simple text file. | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |