forked from diffblue/cbmc
-
Notifications
You must be signed in to change notification settings - Fork 2
/
CODEOWNERS
Validating CODEOWNERS rules...
86 lines (70 loc) · 3.43 KB
/
CODEOWNERS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
# Code owners are expected to complete reviews with feedback to the PR author or
# approval within two weeks.
#
# These owners will be the default owners for everything in the repo.
* @kroening @tautschnig @peterschrammel
# Documentation can be reviewed by people with broad project responsibility
/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel @nlightnfotis
# These files should rarely change
/src/big-int/ @kroening
/src/ansi-c/ @kroening @tautschnig @peterschrammel @remi-delmas-3000
/src/assembler/ @kroening @tautschnig
/src/goto-cc/ @kroening @tautschnig
/src/linking/ @kroening @tautschnig
/src/memory-models/ @kroening @tautschnig
/src/goto-checker/ @kroening @tautschnig @peterschrammel
/src/goto-symex/ @kroening @tautschnig @peterschrammel
/src/json/ @kroening @tautschnig @peterschrammel
/src/json-symtab-language/ @martin-cs
/src/langapi/ @kroening @tautschnig @peterschrammel
/src/xmllang/ @kroening @tautschnig @peterschrammel
/src/nonstd/ @peterschrammel
/src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel
/src/solvers/floatbv @martin-cs @kroening
/src/solvers/miniBDD @tautschnig @kroening
/src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel
/src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel
/src/symtab2gb/ @martin-cs
/jbmc/src/miniz/ @peterschrammel
/src/crangler/ @kroening @tautschnig @qinheping
# These files change frequently and changes are high-risk
/src/cbmc/ @kroening @tautschnig @peterschrammel @NlightNFotis @thomasspriggs
/src/goto-programs/ @kroening @tautschnig @peterschrammel
/src/util/ @kroening @tautschnig @peterschrammel
/src/solvers/refinement @martin-cs @peterschrammel
/src/solvers/strings @martin-cs @peterschrammel
/jbmc/src/java_bytecode/ @peterschrammel @TGWDB
/src/analyses/ @martin-cs @peterschrammel
/src/pointer-analysis/ @martin-cs @peterschrammel
/src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel
# These files change frequently and changes are medium-risk
/src/goto-analyzer/ @martin-cs @peterschrammel
/src/goto-harness/ @martin-cs @peterschrammel
/src/goto-instrument/ @martin-cs @peterschrammel @tautschnig @kroening
/src/goto-instrument/contracts/ @tautschnig @feliperodri @remi-delmas-3000
/src/goto-inspect/ @diffblue/diffblue-opensource
/src/goto-synthesizer/ @qinheping @tautschnig @feliperodri @remi-delmas-3000
/src/goto-diff/ @tautschnig @peterschrammel
/src/jsil/ @kroening @tautschnig
/src/memory-analyzer/ @tautschnig @kroening
/jbmc/src/jbmc/ @peterschrammel @TGWDB
/jbmc/src/janalyzer/ @peterschrammel @TGWDB
/jbmc/src/jdiff/ @peterschrammel
/src/cpp/ @kroening @tautschnig @peterschrammel
/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
/src/solvers/Makefile @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
/src/statement-list/ @kroening @tautschnig @peterschrammel
/cmake/ @diffblue/diffblue-opensource
CMakeLists.txt @diffblue/diffblue-opensource
# These files change frequently and changes are low-risk
/src/util/irep_ids.def
/unit/
/regression/
/jbmc/unit/
/jbmc/regression/
/scripts/ @diffblue/diffblue-opensource
# CI pipeline is the responsibility of the Open Source maintenance team at Diffblue.
/.github/ @diffblue/diffblue-opensource
src/config.inc @diffblue/diffblue-opensource