| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | DafnyExtension: Fixed issue with visual elements being accessed by non-owning... |  wuestholz | 2013-08-04 |
| * | DafnyExtension: Did some refactoring and added a description to error states. | wuestholz | 2013-08-03 |
| * | DafnyExtension: Fixed a minor issue in the error selection. | wuestholz | 2013-08-01 |
| * | DafnyExtension: Fixed a minor issue in the error selection. | wuestholz | 2013-08-01 |
| * | DafnyExtension: Made it select the last error state by default when an error ... | wuestholz | 2013-08-01 |
| * | DafnyExtension: Make it possible to enable and disable BVD. | wuestholz | 2013-07-28 |
| * | DafnyExtension: Avoid allocating too much space for the error model adornments. | wuestholz | 2013-07-28 |
| * | DafnyExtension: Update the error model when a new error state is selected. | wuestholz | 2013-07-28 |
| * | 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 |