| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge |  leino | 2014-12-09 |
| |\ | |||
| | * | minor change on a test. |  Reza Ahmadi | 2014-12-03 |
| | * | added multiple trait inheritance. | Reza Ahmadi | 2014-12-03 |
| * | | Snapshot, to be continued | leino | 2014-12-02 |
| | * | removing one unnessessary check in the cloner | Reza Ahmadi | 2014-12-02 |
| | * | - fixed a bug in merging fields that come from a parent trait | Reza Ahmadi | 2014-12-02 |
| |/ | |||
| * | 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 |