| Mode | Name | Size | |
|---|---|---|---|
| d--------- | VSComp2010 | 320 | logplain |
| d--------- | VSI-Benchmarks | 345 | logplain |
| d--------- | dafny0 | 2214 | logplain |
| d--------- | dafny1 | 1230 | logplain |
| d--------- | dafny2 | 858 | logplain |
| d--------- | vacid0 | 251 | logplain |
| d--------- | vstte2012 | 334 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |