|
1 | 1 | # These files should rarely change
|
2 | 2 |
|
3 |
| -src/big-int/ @kroening |
4 |
| -src/ansi-c/ @kroening @tautschnig |
5 |
| -src/assembler/ @kroening @tautschnig |
6 |
| -src/goto-cc/ @kroening @tautschnig |
7 |
| -src/linking/ @kroening @tautschnig |
8 |
| -src/memory-models/ @kroening @tautschnig |
9 |
| -src/goto-symex/ @kroening @tautschnig @peterschrammel |
10 |
| -src/json/ @kroening @tautschnig @peterschrammel |
11 |
| -src/langapi/ @kroening @tautschnig @peterschrammel |
12 |
| -src/xmllang/ @kroening @tautschnig @peterschrammel |
13 |
| -src/nonstd/ @smowton @peterschrammel |
14 |
| -src/solvers/cvc @martin-cs @kroening |
15 |
| -src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel |
16 |
| -src/solvers/floatbv @martin-cs @kroening |
17 |
| -src/solvers/miniBDD @tautschnig @kroening |
18 |
| -src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel |
19 |
| -src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel |
20 |
| -src/solvers/smt2 @martin-cs @tautschnig @peterschrammel |
21 |
| -jbmc/src/miniz/ @smowton @mgudemann @peterschrammel |
| 3 | +/src/big-int/ @kroening |
| 4 | +/src/ansi-c/ @kroening @tautschnig |
| 5 | +/src/assembler/ @kroening @tautschnig |
| 6 | +/src/goto-cc/ @kroening @tautschnig |
| 7 | +/src/linking/ @kroening @tautschnig |
| 8 | +/src/memory-models/ @kroening @tautschnig |
| 9 | +/src/goto-symex/ @kroening @tautschnig @peterschrammel |
| 10 | +/src/json/ @kroening @tautschnig @peterschrammel |
| 11 | +/src/langapi/ @kroening @tautschnig @peterschrammel |
| 12 | +/src/xmllang/ @kroening @tautschnig @peterschrammel |
| 13 | +/src/nonstd/ @smowton @peterschrammel |
| 14 | +/src/solvers/cvc @martin-cs @kroening |
| 15 | +/src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel |
| 16 | +/src/solvers/floatbv @martin-cs @kroening |
| 17 | +/src/solvers/miniBDD @tautschnig @kroening |
| 18 | +/src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel |
| 19 | +/src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel |
| 20 | +/src/solvers/smt2 @martin-cs @tautschnig @peterschrammel |
| 21 | +/jbmc/src/miniz/ @smowton @mgudemann @peterschrammel |
22 | 22 |
|
23 | 23 |
|
24 | 24 | # These files change frequently and changes are high-risk
|
25 | 25 |
|
26 |
| -src/cbmc/ @smowton @kroening @tautschnig @peterschrammel |
27 |
| -src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli |
28 |
| -src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli |
29 |
| -src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel |
30 |
| -jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel |
31 |
| -src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton |
32 |
| -src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton |
| 26 | +/src/cbmc/ @smowton @kroening @tautschnig @peterschrammel |
| 27 | +/src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli |
| 28 | +/src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli |
| 29 | +/src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel |
| 30 | +/jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel |
| 31 | +/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton |
| 32 | +/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton |
33 | 33 |
|
34 | 34 |
|
35 | 35 | # These files change frequently and changes are medium-risk
|
36 | 36 |
|
37 |
| -src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel |
38 |
| -src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel |
39 |
| -src/goto-diff/ @tautschnig @peterschrammel |
40 |
| -jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
41 |
| -jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
42 |
| -jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
43 |
| -src/cpp/ @kroening @tautschnig @peterschrammel |
| 37 | +/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel |
| 38 | +/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel |
| 39 | +/src/goto-diff/ @tautschnig @peterschrammel |
| 40 | +/jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
| 41 | +/jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
| 42 | +/jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel |
| 43 | +/src/cpp/ @kroening @tautschnig @peterschrammel |
44 | 44 |
|
45 | 45 |
|
46 |
| -scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel |
47 |
| -.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel |
48 |
| -appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel |
| 46 | +/scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel |
| 47 | +/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel |
| 48 | +/appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel |
0 commit comments