File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 20
20
/src /goto-checker / @ kroening @ tautschnig @ peterschrammel
21
21
/src /goto-symex / @ kroening @ tautschnig @ peterschrammel
22
22
/src /json / @ kroening @ tautschnig @ peterschrammel
23
- /src /json-symtab-language / @ martin-cs
23
+ /src /json-symtab-language / @ martin-cs @ kroening @ tautschnig @ peterschrammel
24
24
/src /langapi / @ kroening @ tautschnig @ peterschrammel
25
25
/src /xmllang / @ kroening @ tautschnig @ peterschrammel
26
26
/src /nonstd / @ peterschrammel
29
29
/src /solvers /miniBDD @ tautschnig @ kroening
30
30
/src /solvers /prop @ martin-cs @ kroening @ tautschnig @ peterschrammel
31
31
/src /solvers /sat @ martin-cs @ kroening @ tautschnig @ peterschrammel
32
- /src /symtab2gb / @ martin-cs
32
+ /src /symtab2gb / @ martin-cs @ kroening @ tautschnig @ peterschrammel
33
33
/jbmc /src /miniz / @ peterschrammel
34
34
/src /crangler / @ kroening @ tautschnig @ qinheping
35
35
You can’t perform that action at this time.
0 commit comments