package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573

Folder: RequirementMachine

d .. (parent)
- - rw-r--r-- 26,525 ConcreteContraction.cpp
- - rw-r--r-- 22,291 ConcreteTypeWitness.cpp
- - rw-r--r-- 2,578 Debug.h
- - rw-r--r-- 12,898 Diagnostics.cpp
- - rw-r--r-- 6,309 Diagnostics.h
- - rw-r--r-- 28,895 GenericSignatureQueries.cpp
- - rw-r--r-- 4,514 Histogram.h
- - rw-r--r-- 28,360 HomotopyReduction.cpp
- - rw-r--r-- 23,310 InterfaceType.cpp
- - rw-r--r-- 17,137 KnuthBendix.cpp
- - rw-r--r-- 34,398 MinimalConformances.cpp
- - rw-r--r-- 2,350 NameLookup.cpp
- - rw-r--r-- 1,141 NameLookup.h
- - rw-r--r-- 8,958 NormalizeRewritePath.cpp
- - rw-r--r-- 17,228 PropertyMap.cpp
- - rw-r--r-- 10,382 PropertyMap.h
- - rw-r--r-- 5,719 PropertyRelations.cpp
- - rw-r--r-- 27,553 PropertyUnification.cpp
- - rw-r--r-- 12,921 RequirementBuilder.cpp
- - rw-r--r-- 51,265 RequirementLowering.cpp
- - rw-r--r-- 2,861 RequirementLowering.h
- - rw-r--r-- 20,691 RequirementMachine.cpp
- - rw-r--r-- 6,620 RequirementMachine.h
- - rw-r--r-- 39,322 RequirementMachineRequests.cpp
- - rw-r--r-- 22,736 RewriteContext.cpp
- - rw-r--r-- 7,529 RewriteContext.h
- - rw-r--r-- 32,482 RewriteLoop.cpp
- - rw-r--r-- 20,186 RewriteLoop.h
- - rw-r--r-- 22,622 RewriteSystem.cpp
- - rw-r--r-- 15,093 RewriteSystem.h
- - rw-r--r-- 8,750 Rule.cpp
- - rw-r--r-- 6,475 Rule.h
- - rw-r--r-- 19,669 RuleBuilder.cpp
- - rw-r--r-- 4,854 RuleBuilder.h
- - rw-r--r-- 16,415 SimplifySubstitutions.cpp
- - rw-r--r-- 22,212 Symbol.cpp
- - rw-r--r-- 8,787 Symbol.h
- - rw-r--r-- 6,707 Term.cpp
- - rw-r--r-- 6,702 Term.h
- - rw-r--r-- 4,927 Trie.h
- - rw-r--r-- 18,928 TypeDifference.cpp
- - rw-r--r-- 2,440 TypeDifference.h