dafny0               Use      Dafny functionality tests
dafny1               Use      Various Dafny examples
dafny2               Use      More Dafny examples
dafnyRuntimeChecking Use      Dafny runtime checking tests
dafnyCompiler        Postpone      Dafny compiler tests
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