source: src/redundant_includes.txt @ 3257

Last change on this file since 3257 was 2919, checked in by fguidi, 7 years ago

"MATITA_COMPONENTS=/path/to/matita/components/ make deps" outputs
redundant and circular dependences in redundent_includes.txt

the lines of redundent_includes.txt mean:

"file: redundant file1" inclusion of file1 is redundant in file
"circular: file1 file2 ...." circular inclusion of file1 file2 ...

the dependences analizer is compiled by

"MATITA_COMPONENTS=/path/to/matita/components/ make matitadep"

File size: 6.8 KB
Line 
1utilities/extralib.ma: redundant basics/lists/list.ma
2utilities/extralib.ma: redundant basics/types.ma
3utilities/monad.ma: redundant basics/relations.ma
4utilities/monad.ma: redundant basics/types.ma
5utilities/option.ma: redundant basics/types.ma
6utilities/extranat.ma: redundant basics/types.ma
7ASM/Vector.ma: redundant arithmetics/nat.ma
8ASM/Vector.ma: redundant basics/types.ma
9ASM/Vector.ma: redundant basics/lists/list.ma
10ASM/BitVector.ma: redundant arithmetics/nat.ma
11common/PositiveMap.ma: redundant basics/types.ma
12common/Errors.ma: redundant utilities/monad.ma
13common/Errors.ma: redundant basics/russell.ma
14common/Errors.ma: redundant basics/lists/list.ma
15common/Errors.ma: redundant basics/logic.ma
16common/Errors.ma: redundant basics/types.ma
17utilities/lists.ma: redundant utilities/monad.ma
18utilities/lists.ma: redundant utilities/option.ma
19utilities/lists.ma: redundant basics/lists/list.ma
20common/Identifiers.ma: redundant utilities/binary/positive.ma
21common/Identifiers.ma: redundant basics/types.ma
22common/Integers.ma: redundant ASM/BitVector.ma
23common/Integers.ma: redundant utilities/extranat.ma
24common/Integers.ma: redundant arithmetics/nat.ma
25common/AST.ma: redundant basics/types.ma
26ASM/BitVectorZ.ma: redundant ASM/BitVector.ma
27ASM/BitVectorZ.ma: redundant utilities/binary/Z.ma
28common/Values.ma: redundant common/Errors.ma
29utilities/Coqlib.ma: redundant basics/lists/list.ma
30utilities/Coqlib.ma: redundant basics/types.ma
31common/GenMem.ma: redundant common/Pointers.ma
32common/GenMem.ma: redundant utilities/extralib.ma
33common/Globalenvs.ma: redundant common/AST.ma
34common/Globalenvs.ma: redundant common/Errors.ma
35common/extraGlobalenvs.ma: redundant common/AST.ma
36common/ExtraMonads.ma: redundant common/Errors.ma
37utilities/bind_new.ma: redundant utilities/monad.ma
38common/LabelledObjects.ma: redundant utilities/lists.ma
39joint/Joint.ma: redundant utilities/lists.ma
40common/Graphs.ma: redundant common/Identifiers.ma
41ASM/BitVectorTrie.ma: redundant basics/types.ma
42common/Graphs.ma: redundant basics/types.ma
43ASM/I8051.ma: redundant arithmetics/nat.ma
44joint/TranslateUtils.ma: redundant joint/Joint.ma
45joint/semanticsUtils.ma: redundant ASM/BitVectorTrie.ma
46joint/semanticsUtils.ma: redundant utilities/hide.ma
47joint/BEMem.ma: redundant common/ByteValues.ma
48common/Events.ma: redundant utilities/extralib.ma
49common/Events.ma: redundant basics/lists/list.ma
50joint/joint_semantics.ma: redundant common/Globalenvs.ma
51common/StructuredTraces.ma: redundant utilities/option.ma
52common/StructuredTraces.ma: redundant common/CostLabel.ma
53common/StructuredTraces.ma: redundant basics/bool.ma
54joint/semantics_blocks.ma: redundant joint/blocks.ma
55common/Animation.ma: redundant arithmetics/nat.ma
56common/SmallstepExec.ma: redundant common/Integers.ma
57common/SmallstepExec.ma: redundant utilities/extralib.ma
58Clight/Csyntax.ma: redundant common/Errors.ma
59Clight/Csem.ma: redundant Clight/Csyntax.ma
60Clight/Cexec.ma: redundant utilities/extralib.ma
61ERTLptr/ERTLptr_semantics.ma: redundant joint/semanticsUtils.ma
62Clight/frontend_misc.ma: redundant common/IOMonad.ma
63Clight/frontend_misc.ma: redundant common/Pointers.ma
64Clight/frontend_misc.ma: redundant Clight/TypeComparison.ma
65Clight/MemProperties.ma: redundant common/FrontEndMem.ma
66Clight/switchRemoval.ma: redundant utilities/extralib.ma
67Clight/switchRemoval.ma: redundant common/Identifiers.ma
68Clight/switchRemoval.ma: redundant basics/lists/listb.ma
69RTLabs/RTLabs_syntax.ma: redundant ASM/Vector.ma
70common/FrontEndOps.ma: redundant common/Values.ma
71RTLabs/RTLabs_syntax.ma: redundant common/AST.ma
72RTLabs/RTLabs_syntax.ma: redundant basics/logic.ma
73RTLabs/CostCheck.ma: redundant RTLabs/CostSpec.ma
74RTLabs/RTLabs_semantics.ma: redundant common/Errors.ma
75RTLabs/RTLabs_semantics.ma: redundant basics/lists/list.ma
76Cminor/toRTLabs.ma: redundant Cminor/Cminor_syntax.ma
77Cminor/toRTLabs.ma: redundant common/Globalenvs.ma
78Cminor/toRTLabs.ma: redundant utilities/lists.ma
79Cminor/Cminor_semantics.ma: redundant common/FrontEndMem.ma
80Cminor/Cminor_semantics.ma: redundant common/Events.ma
81Clight/toCminor.ma: redundant basics/lists/list.ma
82Clight/SimplifyCasts.ma: redundant Clight/Cexec.ma
83Clight/SimplifyCasts.ma: redundant Clight/TypeComparison.ma
84Clight/SimplifyCasts.ma: redundant Clight/Csyntax.ma
85ASM/UtilBranch.ma: redundant ASM/Util.ma
86ERTL/ERTLToERTLptr.ma: redundant ERTL/ERTL.ma
87RTLabs/RTLabs_traces.ma: redundant RTLabs/CostSpec.ma
88joint/extra_joint_semantics.ma: redundant joint/joint_semantics.ma
89ERTL/ERTLtoERTLptrUtils.ma: redundant common/ExtraMonads.ma
90ERTL/ERTLtoERTLptrUtils.ma: redundant joint/Traces.ma
91joint/StatusSimulationHelper.ma: redundant joint/Traces.ma
92joint/StatusSimulationHelper.ma: redundant joint/semanticsUtils.ma
93common/stacksize.ma: redundant basics/lists/list.ma
94ASM/Fetch.ma: redundant ASM/Arithmetic.ma
95ASM/Assembly.ma: redundant ASM/Arithmetic.ma
96ASM/Assembly.ma: redundant ASM/ASM.ma
97semantics.ma: redundant ERTL/ERTL_semantics.ma
98compiler.ma: redundant ASM/ASMCosts.ma
99ASM/PolicyFront.ma: redundant utilities/extralib.ma
100ASM/PolicyFront.ma: redundant ASM/Status.ma
101ASM/PolicyFront.ma: redundant ASM/Fetch.ma
102ASM/PolicyFront.ma: redundant ASM/Arithmetic.ma
103ASM/PolicyFront.ma: redundant ASM/ASM.ma
104LIN/LINToASM.ma: redundant ASM/Util.ma
105ERTLptr/ERTLptrToLTL.ma: redundant ASM/Arithmetic.ma
106utilities/adt/set_adt.ma: redundant arithmetics/nat.ma
107utilities/adt/set_adt.ma: redundant basics/lists/list.ma
108utilities/adt/set_adt.ma: redundant basics/types.ma
109ERTLptr/liveness.ma: redundant ASM/Util.ma
110RTL/RTLToERTL.ma: redundant common/Identifiers.ma
111RTLabs/RTLabsToRTL.ma: redundant common/Graphs.ma
112Clight/test/search.test.ma: redundant common/Animation.ma
113Clight/toCminorOps.ma: redundant Clight/frontend_misc.ma
114Clight/toCminorOps.ma: redundant Clight/Cexec.ma
115Clight/toCminorCorrectnessExpr.ma: redundant common/Globalenvs.ma
116Clight/toCminorCorrectnessExpr.ma: redundant Clight/toCminor.ma
117Clight/toCminorCorrectness.ma: redundant Cminor/Cminor_abstract.ma
118Clight/toCminorCorrectness.ma: redundant Clight/Clight_abstract.ma
119Clight/toCminorCorrectness.ma: redundant Clight/memoryInjections.ma
120Clight/toCminorCorrectness.ma: redundant common/Globalenvs.ma
121Clight/toCminorCorrectness.ma: redundant Clight/CexecInd.ma
122Clight/toCminorCorrectness.ma: redundant Clight/toCminor.ma
123utilities/adt/priority_set_adt.ma: redundant arithmetics/nat.ma
124utilities/adt/priority_set_adt.ma: redundant basics/lists/list.ma
125utilities/adt/priority_set_adt.ma: redundant basics/types.ma
126ASM/Test.ma: redundant ASM/StatusProofs.ma
127ASM/Test.ma: redundant ASM/Interpret.ma
128ASM/Test.ma: redundant ASM/Assembly.ma
129ERTLptr/ERTLptrToLTLProof.ma: redundant common/StatusSimulation.ma
130ERTLptr/ERTLptrToLTLProof.ma: redundant joint/Traces.ma
131Clight/test/castremoval.test.ma: redundant common/Animation.ma
132ASM/WellLabeled.ma: redundant ASM/ASM.ma
133ASM/CostsProof.ma: redundant arithmetics/bigops.ma
134RTLabs/RTLabs_partial_traces.ma: redundant RTLabs/CostSpec.ma
Note: See TracBrowser for help on using the repository browser.