dafny0           Use    Dafny functionality tests
dafny1           Use    Various Dafny examples
dafny2           Use    More Dafny examples
VSI-Benchmarks   Use    Solutions to Verified Software Initiative verification challenges
vacid0           Use    Dafny attempts to VACID Edition 0 benchmarks
vstte2012        Use    Dafny solutions for the VSTTE 2012 program verification competition
VSComp2010       Use    Dafny solutions to VSComp (verified software competition) problems