|
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