| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | DafnyExtension: Worked on improving the error selection and visualization. |  wuestholz | 2013-07-21 |
| * | DafnyExtension: Added support for selecting errors and showing the model in BVD. | wuestholz | 2013-07-15 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |