package info (click to toggle)
dafny 2.3.0%2Bdfsg-0.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 15,608 kB
  • sloc: cs: 69,676; python: 725; sh: 43; makefile: 40

Folder: Source

d .. (parent)
d d rwxr-xr-x 4,096 Dafny
d d rwxr-xr-x 112 DafnyDriver
d d rwxr-xr-x 4,096 DafnyExtension
d d rwxr-xr-x 4,096 DafnyMenu
d d rwxr-xr-x 66 DafnyRuntime
d d rwxr-xr-x 4,096 DafnyServer
d d rwxr-xr-x 4,096 Jennisys
- - rw-r--r-- 6,989 Dafny.sln
- - rw-r--r-- 1,622 DafnyExtension.sln
- - rw-r--r-- 596 InterimKey.snk
- - rw-r--r-- 3,685 Jennisys.sln
- - rw-r--r-- 161 version.cs