|
35 | 35 |
|
36 | 36 | # These files change frequently and changes are high-risk
|
37 | 37 |
|
38 |
| -/src/cbmc/ @kroening @tautschnig @peterschrammel @NlightNFotis @thomasspriggs |
| 38 | +/src/cbmc/ @kroening @tautschnig @peterschrammel |
39 | 39 | /src/goto-programs/ @kroening @tautschnig @peterschrammel
|
40 | 40 | /src/util/ @kroening @tautschnig @peterschrammel
|
41 | 41 | /src/solvers/refinement @martin-cs @peterschrammel
|
42 | 42 | /src/solvers/strings @martin-cs @peterschrammel
|
43 | 43 | /jbmc/src/java_bytecode/ @peterschrammel @TGWDB
|
44 | 44 | /src/analyses/ @martin-cs @peterschrammel
|
45 | 45 | /src/pointer-analysis/ @martin-cs @peterschrammel
|
46 |
| -/src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel |
47 |
| -/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel @esteffin |
| 46 | +/src/libcprover-cpp @esteffin @TGWDB @peterschrammel |
| 47 | +/src/libcprover-rust @TGWDB @peterschrammel @esteffin |
48 | 48 |
|
49 | 49 | # These files change frequently and changes are medium-risk
|
50 | 50 |
|
51 | 51 | /src/goto-analyzer/ @martin-cs @peterschrammel
|
52 |
| -/src/goto-bmc/ @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel |
| 52 | +/src/goto-bmc/ @esteffin @TGWDB @peterschrammel |
53 | 53 | /src/goto-harness/ @martin-cs @peterschrammel
|
54 | 54 | /src/goto-instrument/ @martin-cs @peterschrammel @tautschnig @kroening
|
55 | 55 | /src/goto-instrument/contracts/ @tautschnig @feliperodri @remi-delmas-3000
|
|
61 | 61 | /jbmc/src/janalyzer/ @peterschrammel @TGWDB
|
62 | 62 | /jbmc/src/jdiff/ @peterschrammel
|
63 | 63 | /src/cpp/ @kroening @tautschnig @peterschrammel
|
64 |
| -/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB |
65 |
| -/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin |
66 |
| -/src/solvers/Makefile @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin |
| 64 | +/src/solvers/smt2 @kroening @martin-cs @peterschrammel @TGWDB |
| 65 | +/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @TGWDB @esteffin |
| 66 | +/src/solvers/Makefile @kroening @tautschnig @peterschrammel @TGWDB @esteffin |
67 | 67 | /src/statement-list/ @kroening @tautschnig @peterschrammel
|
68 | 68 |
|
69 | 69 | /cmake/ @diffblue/diffblue-opensource
|
|
0 commit comments