package info (click to toggle)
curry-tools 1.0.1%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,492 kB
  • ctags: 121
  • sloc: makefile: 470; sh: 421

Folder: CASS

d .. (parent)
d d rwxr-xr-x 4,096 Docs
d d rwxr-xr-x 116 Examples
- - rw-r--r-- 11,087 Analysis.curry
- - rw-r--r-- 9,023 AnalysisDependencies.curry
- - rw-r--r-- 1,133 AnalysisDoc.curry
- - rw-r--r-- 13,348 AnalysisServer.curry
- - rw-r--r-- 1,877 AnalysisWorker.curry
- - rw-r--r-- 9,334 Configuration.curry
- - rw-r--r-- 3,816 CurryFiles.curry
- - rw-r--r-- 2,609 FlatCurryDependency.curry
- - rw-r--r-- 4,791 GenericProgInfo.curry
- - rw-r--r-- 6,195 LoadAnalysis.curry
- - rw-r--r-- 7,203 Main.curry
- - rw-r--r-- 1,193 Makefile
- - rw-r--r-- 1,417 Protocol.txt
- - rw-r--r-- 2,328 README.txt
- - rw-r--r-- 11,056 Registry.curry
- - rw-r--r-- 2,493 ServerFormats.curry
- - rw-r--r-- 5,049 ServerFunctions.curry
- - rw-r--r-- 15,823 WorkerFunctions.curry
- - rw-r--r-- 1,165 curryanalysisrc