| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Resolved further merge issues |  leino | 2014-08-05 |
| * | added one more test case |  Reza Ahmadi | 2014-07-31 |
| * | combined few tests | Reza Ahmadi | 2014-07-31 |
| * | combined two tests | Reza Ahmadi | 2014-07-31 |
| * | added one more test. | Reza Ahmadi | 2014-07-20 |
| * | - fixed a bug in inheriting members from a trait | Reza Ahmadi | 2014-07-20 |
| * | fixed one .expect file. now all 11 tests related to Traits pass. | Reza Ahmadi | 2014-07-20 |
| * | - fixed an issue regarding including ghost functions in the compiled interface | Reza Ahmadi | 2014-07-20 |
| * | added trait feature: | Reza Ahmadi | 2014-07-18 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |