We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3851364 commit 4ee0b9aCopy full SHA for 4ee0b9a
CODEOWNERS
@@ -33,8 +33,8 @@
33
/src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
34
/src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
35
/jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
36
-/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton @danpoe
37
-/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton
+/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton @danpoe @owen-jones-diffblue
+/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton @owen-jones-diffblue
38
39
40
# These files change frequently and changes are medium-risk
0 commit comments