package info (click to toggle)
mono 6.8.0.105%2Bdfsg-3.3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,284,512 kB
  • sloc: cs: 11,172,132; xml: 2,850,069; ansic: 671,653; cpp: 122,091; perl: 59,366; javascript: 30,841; asm: 22,168; makefile: 20,093; sh: 15,020; python: 4,827; pascal: 925; sql: 859; 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-- 298 Makefile
- - rw-r--r-- 22,942 Mono.CodeContracts.dll.sources
- - rw-r--r-- 70 Mono.CodeContracts_test.dll.sources