package info (click to toggle)
mono 4.6.2.7+dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 778,148 kB
  • ctags: 914,052
  • sloc: cs: 5,779,509; xml: 2,773,713; ansic: 432,645; sh: 14,749; makefile: 12,361; perl: 2,488; python: 1,434; cpp: 849; asm: 531; sql: 95; sed: 16; php: 1

Folder: Mono.CodeContracts

d .. (parent)
d d rwxr-xr-x 36 Assembly
d d rwxr-xr-x 4,096 Mono.CodeContracts.Rewrite
d d rwxr-xr-x 4,096 Mono.CodeContracts.Rewrite.Ast
d d rwxr-xr-x 136 Mono.CodeContracts.Rewrite.AstVisitors
d d rwxr-xr-x 135 Mono.CodeContracts.Static
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.AST
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.AST.Visitors
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.Drivers
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.ExpressionAnalysis
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.HeapAnalysis
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.NonNull
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.Numerical
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Analysis.StackAnalysis
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.ContractExtraction
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.ControlFlow
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.ControlFlow.Blocks
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.ControlFlow.Subroutines
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.DataFlowAnalysis
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.DataStructures
d d rwxr-xr-x 109 Mono.CodeContracts.Static.DataStructures.Patricia
d d rwxr-xr-x 34 Mono.CodeContracts.Static.Extensions
d d rwxr-xr-x 155 Mono.CodeContracts.Static.Lattices
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Providers
d d rwxr-xr-x 4,096 Mono.CodeContracts.Static.Proving
d d rwxr-xr-x 65 Test
- - rw-r--r-- 264 Makefile
- - rw-r--r-- 22,942 Mono.CodeContracts.dll.sources
- - rw-r--r-- 35 Mono.CodeContracts_test.dll.sources