package info (click to toggle)
mono-reference-assemblies 3.12.1%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 604,240 kB
  • ctags: 625,505
  • sloc: cs: 3,967,741; xml: 2,793,081; ansic: 418,042; java: 60,435; sh: 14,833; makefile: 11,576; sql: 7,956; perl: 1,467; cpp: 1,446; yacc: 1,203; python: 598; asm: 422; sed: 16; php: 1

Folder: Mono.CodeContracts.Static.Proving

d .. (parent)
- - rw-r--r-- 5,010 AssertionFinder.cs
- - rw-r--r-- 4,230 BasicFacts.cs
- - rw-r--r-- 43,274 BoxedExpression.cs
- - rw-r--r-- 9,118 BoxedExpressionExtensions.cs
- - rw-r--r-- 5,857 ComposedFactQuery.cs
- - rw-r--r-- 6,548 ConstantPropagationFactQuery.cs
- - rw-r--r-- 1,552 IFactBase.cs
- - rw-r--r-- 2,015 IFactQuery.cs
- - rw-r--r-- 4,040 SimpleLogicInference.cs