From 37723cc4dd711d20b11cb76b041133aef8dca3fb Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 4 Feb 2025 16:24:45 +0000 Subject: [PATCH 1/2] add @peterschrammel as code owner to /src/solvers/floatbv --- CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CODEOWNERS b/CODEOWNERS index c8f7994ddee..e5e6b8d685e 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -24,7 +24,7 @@ /src/langapi/ @kroening @tautschnig @peterschrammel /src/xmllang/ @kroening @tautschnig @peterschrammel /src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel -/src/solvers/floatbv @martin-cs @kroening +/src/solvers/floatbv @martin-cs @kroening @peterschrammel /src/solvers/miniBDD @tautschnig @kroening /src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel /src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel From ae8394338c67d8e3e74a56123d8509ac955a6b6a Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 4 Feb 2025 16:29:07 +0000 Subject: [PATCH 2/2] remove @esteffin from CODEOWNERS @esteffin no longer has repo write access. --- CODEOWNERS | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index e5e6b8d685e..ba0e13b4687 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -43,13 +43,13 @@ /jbmc/src/java_bytecode/ @peterschrammel @TGWDB /src/analyses/ @martin-cs @peterschrammel /src/pointer-analysis/ @martin-cs @peterschrammel -/src/libcprover-cpp @esteffin @TGWDB @peterschrammel -/src/libcprover-rust @TGWDB @peterschrammel @esteffin +/src/libcprover-cpp @TGWDB @peterschrammel +/src/libcprover-rust @TGWDB @peterschrammel # These files change frequently and changes are medium-risk /src/goto-analyzer/ @martin-cs @peterschrammel -/src/goto-bmc/ @esteffin @TGWDB @peterschrammel +/src/goto-bmc/ @TGWDB @peterschrammel /src/goto-harness/ @martin-cs @peterschrammel /src/goto-instrument/ @martin-cs @peterschrammel @tautschnig @kroening /src/goto-instrument/contracts/ @tautschnig @feliperodri @remi-delmas-3000 @@ -62,8 +62,8 @@ /jbmc/src/jdiff/ @peterschrammel /src/cpp/ @kroening @tautschnig @peterschrammel /src/solvers/smt2 @kroening @martin-cs @peterschrammel @TGWDB -/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @TGWDB @esteffin -/src/solvers/Makefile @kroening @tautschnig @peterschrammel @TGWDB @esteffin +/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @TGWDB +/src/solvers/Makefile @kroening @tautschnig @peterschrammel @TGWDB /src/statement-list/ @kroening @tautschnig @peterschrammel /cmake/ @diffblue/diffblue-opensource