File tree Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change 1+ # These owners will be the default owners for everything in the repo.
2+ * @ kroening @ tautschnig @ peterschrammel
3+
4+ src /java_bytecode / @ smowton @ mgudemann @ cristina-david @ jgwilson42 @ pkesseli @ Degiorgio @ NathanJPhillips
5+ src /jbmc / @ smowton @ mgudemann @ cristina-david @ jgwilson42 @ pkesseli @ Degiorgio @ NathanJPhillips
6+ src /miniz / @ smowton @ mgudemann @ cristina-david @ jgwilson42 @ pkesseli
7+
8+ src /ansi-c / @ marek-trtik @ kroening @ tautschnig
9+
10+ src /cpp / @ marek-trtik @ kroening @ tautschnig
11+
12+ CMakeLists.txt @ reuk @ thk123
13+
14+ cmake / @ reuk @ thk123
15+
16+ src /solvers / @ martin-cs @ romainbrenguier @ antlechner @ kroening
17+
18+ src /analyses / @ martin-cs @ peterschrammel @ thk123 @ marek-trtik @ NathanJPhillips
19+
20+ src /pointer-analysis / @ martin-cs @ peterschrammel @ thk123 @ marek-trtik
21+
22+ src /goto-analyzer / @ martin-cs @ peterschrammel @ thk123 @ marek-trtik
23+
24+ src /goto-instrument / @ martin-cs @ peterschrammel @ thk123 @ marek-trtik
25+
26+ src /goto-programs / @ smowton @ kroening @ tautschnig @ peterschrammel @ marek-trtik
27+
28+ src /linking / @ smowton @ kroening @ tautschnig @ peterschrammel @ marek-trtik
29+
30+ unit / @ diffblue/cbmc-developers
31+
32+ regression / @ diffblue/cbmc-developers
33+
34+ .travis.yml @ diffblue/devops @ thk123 @ forejtv @ jgwilson42 @ rabiamarzhiya
35+ appveyor.yml @ diffblue/devops @ thk123 @ forejtv @ jgwilson42 @ rabiamarzhiya
36+
You can’t perform that action at this time.
0 commit comments