| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Jennisys: Implemented some support for mutator methods by keeping track of th... |  Aleksandar Milicevic | 2011-10-07 |
| * | Jennisys: added some more infrastructure for synthesizing read only methods | Aleksandar Milicevic | 2011-08-20 |
| * | Jennisys: | Aleksandar Milicevic | 2011-08-16 |
| * | Jennisys: | Aleksandar Milicevic | 2011-08-15 |
| * | Jennisys: started to work on synthesizing some methods. So far, only | Aleksandar Milicevic | 2011-08-10 |
| * | Jennisys: | Aleksandar Milicevic | 2011-08-05 |
| * | Jennisys: | Aleksandar Milicevic | 2011-08-03 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |