Skip to content

Commit 0df597e

Browse files
peterschrammelpeterschrammel
committed
Add module dependency definition files
1 parent e3177de commit 0df597e

39 files changed

+223
-0
lines changed

‎src/analyses/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
analyses
2+
ansi-c # should go away
3+
goto-programs
4+
langapi # should go away
5+
pointer-analysis
6+
util

‎src/ansi-c/library/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
ansi-c
2+
ansi-c/library

‎src/ansi-c/literals/module_dependencies.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
ansi-c
2+
ansi-c/literals
3+
util

‎src/ansi-c/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
ansi-c
2+
goto-programs
3+
langapi # should go away
4+
linking
5+
literals
6+
util

‎src/assembler/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
assembler
2+
util

‎src/big-int/module_dependencies.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
big-int

‎src/cbmc/module_dependencies.txt

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
analyses
2+
ansi-c
3+
cpp
4+
goto-instrument
5+
goto-programs
6+
goto-symex
7+
jsil
8+
langapi # should go away
9+
linking
10+
pointer-analysis
11+
solvers
12+
xmllang
13+
util

‎src/clobber/module_dependencies.txt

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
analyses
2+
ansi-c
3+
cbmc
4+
clobber
5+
cpp
6+
goto-programs
7+
goto-instrument
8+
java_bytecode # will go away
9+
langapi # should go away
10+
util

‎src/cpp/module_dependencies.txt

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
ansi-c
2+
cpp
3+
langapi # should go away
4+
linking
5+
util

‎src/goto-analyzer/module_dependencies.txt

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
ansi-c
2+
analyses
3+
cbmc
4+
cpp
5+
goto-analyzer
6+
goto-programs
7+
java_bytecode # will go away
8+
langapi # should go away
9+
jsil
10+
json
11+
util

‎src/goto-cc/module_dependencies.txt

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
ansi-c
2+
cbmc # version.h
3+
cpp
4+
goto-cc
5+
goto-programs
6+
jsil
7+
json
8+
langapi # should go away
9+
linking
10+
util

‎src/goto-diff/module_dependencies.txt

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
analyses
2+
ansi-c
3+
cbmc # version.h
4+
cpp
5+
goto-diff
6+
goto-instrument
7+
goto-programs
8+
goto-symex # dubious - rewrite_union and adjust_float should be moved to goto-programs
9+
java_bytecode # will go away
10+
langapi # should go away
11+
pointer-analysis
12+
util

‎src/goto-instrument/accelerate/module_dependencies.txt

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
analyses
2+
ansi-c # should go away
3+
goto-instrument/accelerate
4+
goto-programs
5+
goto-symex
6+
solvers
7+
util

‎src/goto-instrument/module_dependencies.txt

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
accelerate
2+
analyses
3+
ansi-c
4+
cbmc # version.h
5+
cpp
6+
goto-instrument
7+
goto-programs
8+
langapi # should go away
9+
linking
10+
pointer-analysis
11+
util
12+
wmm

‎src/goto-programs/module_dependencies.txt

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
analyses # dubious - concerns call_graph and does_remove_const
2+
ansi-c # should go away
3+
assembler # should go away
4+
goto-programs
5+
goto-symex # dubious - spurious inclusion of symex_target_equation in graphml_witness
6+
json
7+
langapi # should go away
8+
linking
9+
mach-o # system
10+
util
11+
xmllang

‎src/goto-symex/module_dependencies.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
analyses
2+
goto-programs
3+
goto-symex
4+
langapi # should go away
5+
linking
6+
pointer-analysis
7+
solvers
8+
util

‎src/java_bytecode/module_dependencies.txt

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
analyses
2+
ansi-c # should go away
3+
goto-programs
4+
java_bytecode
5+
json
6+
langapi # should go away
7+
library
8+
linking
9+
miniz
10+
util

‎src/jbmc/module_dependencies.txt

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
analyses
2+
ansi-c # should go away
3+
cbmc # version.h and bmc.h
4+
goto-instrument
5+
goto-programs
6+
goto-symex
7+
java_bytecode
8+
jbmc
9+
langapi # should go away
10+
linking
11+
pointer-analysis
12+
util

‎src/jsil/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
ansi-c # should go away
2+
goto-programs
3+
jsil
4+
langapi # should go away
5+
linking
6+
util

‎src/json/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
json
2+
util

‎src/langapi/module_dependencies.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
goto-programs
2+
langapi
3+
util

‎src/linking/module_dependencies.txt

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
ansi-c # should go away
2+
goto-programs
3+
langapi # should go away
4+
linking
5+
util

‎src/memory-models/module_dependencies.txt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
cbmc # version.h
2+
memory-models
3+
langapi # should go away
4+
util

‎src/miniz/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
miniz
2+
sys # system

‎src/nonstd/module_dependencies.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
nonstd

‎src/pointer-analysis/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
analyses
2+
ansi-c # should go away
3+
goto-programs
4+
langapi # should go away
5+
pointer-analysis
6+
util

‎src/solvers/cvc/module_dependencies.txt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
solvers/cvc
2+
solvers/flattening # pointer_logic.h
3+
solvers/prop
4+
util

‎src/solvers/flattening/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
solvers/flattening
2+
solvers/floatbv
3+
solvers/lowering
4+
solvers/prop
5+
solvers/sat
6+
util

‎src/solvers/floatbv/module_dependencies.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
solvers/flattening # bv_utils.h
2+
solvers/floatbv
3+
util

‎src/solvers/lowering/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
solvers/lowering
2+
util

‎src/solvers/miniBDD/module_dependencies.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
solvers/miniBDD

‎src/solvers/module_dependencies.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
solvers

‎src/solvers/prop/module_dependencies.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
solvers/prop
2+
solvers/miniBDD
3+
util

‎src/solvers/qbf/module_dependencies.txt

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
quannon # external
2+
solvers/prop
3+
solvers/qbf
4+
solvers/sat
5+
util

‎src/solvers/refinement/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
langapi # should go away
2+
solvers/flattening
3+
solvers/floatbv
4+
solvers/refinement
5+
solvers/sat
6+
util

‎src/solvers/sat/module_dependencies.txt

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
core # external - glucose
2+
simp # external - glucose
3+
minisat/core # external
4+
minisat/simp # external
5+
solvers/prop
6+
solvers/sat
7+
util

‎src/solvers/smt2/module_dependencies.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
solvers/flattening # boolbv_width.h and pointer_logic.h
2+
solvers/floatbv
3+
solvers/prop
4+
solvers/sat
5+
solvers/smt2
6+
util

‎src/util/module_dependencies.txt

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
big-int
2+
langapi # should go away
3+
mach # system
4+
malloc # system
5+
nonstd
6+
sys # system
7+
util

‎src/xmllang/module_dependencies.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
xmllang
2+
util

0 commit comments

Comments
 (0)