| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: added assertions in the refinement obligation necessitating that the r... |  kyessenov | 2010-07-03 |
| * | Dafny: Support class type parameters in refinements. Added another regression... | kyessenov | 2010-07-02 |
| * | Dafny: added Carrol Morgan's calculator regression test. | kyessenov | 2010-07-02 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |