|
1 | 1 | # These owners will be the default owners for everything in the repo. |
2 | 2 | * @kroening @tautschnig @peterschrammel |
3 | 3 |
|
4 | | -src/java_bytecode/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli @Degiorgio @NathanJPhillips |
5 | | -src/jbmc/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli @Degiorgio @NathanJPhillips |
6 | | -src/miniz/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli |
| 4 | +# These files should rarely change |
7 | 5 |
|
8 | 6 | src/ansi-c/ @marek-trtik @kroening @tautschnig |
| 7 | +src/linking/ @smowton @kroening @tautschnig @peterschrammel @marek-trtik |
| 8 | +src/miniz/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli |
9 | 9 |
|
10 | | -src/cpp/ @marek-trtik @kroening @tautschnig |
11 | | - |
12 | | -CMakeLists.txt @reuk @thk123 |
13 | 10 |
|
14 | | -cmake/ @reuk @thk123 |
| 11 | +# These files change frequently and changes are high-risk |
15 | 12 |
|
| 13 | +src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @marek-trtik |
16 | 14 | src/solvers/ @martin-cs @romainbrenguier @antlechner @kroening |
17 | | - |
| 15 | +src/java_bytecode/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli @Degiorgio @NathanJPhillips |
18 | 16 | src/analyses/ @martin-cs @peterschrammel @thk123 @marek-trtik @NathanJPhillips |
| 17 | +src/pointer-analysis/ @martin-cs @peterschrammel @thk123 @marek-trtik |
19 | 18 |
|
20 | | -src/pointer-analysis/ @martin-cs @peterschrammel @thk123 @marek-trtik |
21 | 19 |
|
22 | | -src/goto-analyzer/ @martin-cs @peterschrammel @thk123 @marek-trtik |
| 20 | +# These files change frequently and changes are medium-risk |
23 | 21 |
|
24 | | -src/goto-instrument/ @martin-cs @peterschrammel @thk123 @marek-trtik |
| 22 | +src/goto-analyzer/ @martin-cs @peterschrammel @thk123 @marek-trtik |
| 23 | +src/goto-instrument/ @martin-cs @peterschrammel @thk123 @marek-trtik |
| 24 | +src/jbmc/ @smowton @mgudemann @cristina-david @jgwilson42 @pkesseli @Degiorgio @NathanJPhillips |
| 25 | +src/cpp/ @marek-trtik @kroening @tautschnig |
25 | 26 |
|
26 | | -src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @marek-trtik |
27 | 27 |
|
28 | | -src/linking/ @smowton @kroening @tautschnig @peterschrammel @marek-trtik |
| 28 | +# These files change frequently and changes are low-risk |
29 | 29 |
|
30 | 30 | unit/ @diffblue/cbmc-developers |
31 | | - |
32 | 31 | regression/ @diffblue/cbmc-developers |
33 | 32 |
|
| 33 | +CMakeLists.txt @reuk @thk123 |
| 34 | +cmake/ @reuk @thk123 |
| 35 | + |
34 | 36 | .travis.yml @diffblue/devops @thk123 @forejtv @jgwilson42 @rabiamarzhiya |
35 | 37 | appveyor.yml @diffblue/devops @thk123 @forejtv @jgwilson42 @rabiamarzhiya |
36 | | - |
|
0 commit comments