Merge pull request #7405 from tautschnig/codeowners

Update and cleanup CODEOWNERS

Author: tautschnig

CODEOWNERS

@@ -12,7 +12,7 @@
 # These files should rarely change
 
 /src/big-int/ @kroening
-/src/ansi-c/ @kroening @tautschnig @chris-ryder
+/src/ansi-c/ @kroening @tautschnig @chris-ryder @peterschrammel @remi-delmas-3000
 /src/assembler/ @kroening @tautschnig @chris-ryder
 /src/goto-cc/ @kroening @tautschnig @chris-ryder
 /src/linking/ @kroening @tautschnig @chris-ryder
@@ -31,6 +31,7 @@
 /src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel
 /src/symtab2gb/ @martin-cs
 /jbmc/src/miniz/ @peterschrammel
+/src/crangler/ @kroening @tautschnig @qinheping
 
 
 # These files change frequently and changes are high-risk
@@ -51,7 +52,7 @@
 /src/goto-harness/ @martin-cs @chris-ryder @peterschrammel
 /src/goto-instrument/ @martin-cs @chris-ryder @peterschrammel @tautschnig @kroening
 /src/goto-instrument/contracts/ @tautschnig @feliperodri @remi-delmas-3000
-/doc/cprover-manual/contracts* @tautschnig @feliperodri @remi-delmas-3000
+/src/goto-instrument/synthesizer/ @qinheping @tautschnig @feliperodri @remi-delmas-3000
 /src/goto-diff/ @tautschnig @peterschrammel
 /src/jsil/ @kroening @tautschnig
 /src/memory-analyzer/ @tautschnig @chris-ryder @kroening
@@ -77,7 +78,6 @@ CMakeLists.txt @diffblue/diffblue-opensource
 /jbmc/regression/
 
 /scripts/ @diffblue/diffblue-opensource
-/scripts/expected_doxygen_warnings.txt
 
 # CI pipeline is the responsibility of the Open Source maintenance team at Diffblue.
 /.github/ @diffblue/diffblue-opensource