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