File tree 1 file changed +36
-0
lines changed
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