| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 376 | logplain |
| d--------- | VSComp2010 | 320 | logplain |
| d--------- | VSI-Benchmarks | 345 | logplain |
| -rw-r--r-- | alltests.txt | 539 | logplain |
| d--------- | dafny0 | 2435 | logplain |
| d--------- | dafny1 | 1230 | logplain |
| d--------- | dafny2 | 902 | logplain |
| d--------- | dafny3 | 109 | logplain |
| -rw-r--r-- | runtest.bat | 979 | logplain |
| -rw-r--r-- | runtestall.bat | 499 | logplain |
| d--------- | vacid0 | 251 | logplain |
| d--------- | vstte2012 | 334 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |