diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/context/cdlist_black.h | 4 | ||||
-rw-r--r-- | test/unit/context/context_black.h | 4 | ||||
-rw-r--r-- | test/unit/expr/attribute_black.h | 8 | ||||
-rw-r--r-- | test/unit/expr/attribute_white.h | 2 | ||||
-rw-r--r-- | test/unit/expr/kind_black.h | 2 | ||||
-rw-r--r-- | test/unit/expr/node_black.h | 2 | ||||
-rw-r--r-- | test/unit/expr/node_builder_black.h | 4 | ||||
-rw-r--r-- | test/unit/parser/parser_black.h | 2 | ||||
-rw-r--r-- | test/unit/theory/theory_black.h | 2 | ||||
-rw-r--r-- | test/unit/theory/theory_uf_white.h | 4 |
10 files changed, 17 insertions, 17 deletions
diff --git a/test/unit/context/cdlist_black.h b/test/unit/context/cdlist_black.h index 6029c7ff0..b083f4794 100644 --- a/test/unit/context/cdlist_black.h +++ b/test/unit/context/cdlist_black.h @@ -1,8 +1,8 @@ /********************* */ /** cdlist_black.h - ** Original author: dejan + ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): mdeters + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h index 338c09849..549d99369 100644 --- a/test/unit/context/context_black.h +++ b/test/unit/context/context_black.h @@ -1,8 +1,8 @@ /********************* */ /** context_black.h ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): mdeters + ** Major contributors: mdeters + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h index 6125881df..eb728c62c 100644 --- a/test/unit/expr/attribute_black.h +++ b/test/unit/expr/attribute_black.h @@ -1,8 +1,8 @@ /********************* */ -/** node_black.h - ** Original author: mdeters - ** Major contributors: taking - ** Minor contributors (to current version): none +/** attribute_black.h + ** Original author: dejan + ** Major contributors: none + ** Minor contributors (to current version): mdeters, cconway ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h index d0c74c771..fb18601a3 100644 --- a/test/unit/expr/attribute_white.h +++ b/test/unit/expr/attribute_white.h @@ -2,7 +2,7 @@ /** attribute_white.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): cconway ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/expr/kind_black.h b/test/unit/expr/kind_black.h index a9db0262e..8f25a9fc1 100644 --- a/test/unit/expr/kind_black.h +++ b/test/unit/expr/kind_black.h @@ -2,7 +2,7 @@ /** kind_black.h ** Original author: taking ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): mdeters ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index 0b46b06ce..d420c6e26 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -2,7 +2,7 @@ /** node_black.h ** Original author: mdeters ** Major contributors: taking - ** Minor contributors (to current version): none + ** Minor contributors (to current version): dejan, cconway ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h index cfef88df7..2af5988a6 100644 --- a/test/unit/expr/node_builder_black.h +++ b/test/unit/expr/node_builder_black.h @@ -1,7 +1,7 @@ /********************* */ -/** node__builder_black.h +/** node_builder_black.h ** Original author: taking - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 6e2adb356..5a341830b 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -2,7 +2,7 @@ /** parser_black.h ** Original author: cconway ** Major contributors: none - ** Minor contributors (to current version): mdeters, dejan + ** Minor contributors (to current version): dejan, mdeters ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 7ffc4193a..427a22c9d 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -1,7 +1,7 @@ /********************* */ /** theory_black.h ** Original author: taking - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) diff --git a/test/unit/theory/theory_uf_white.h b/test/unit/theory/theory_uf_white.h index 7be68aaa1..a204d79b7 100644 --- a/test/unit/theory/theory_uf_white.h +++ b/test/unit/theory/theory_uf_white.h @@ -1,8 +1,8 @@ /********************* */ /** theory_uf_white.h ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): dejan + ** Major contributors: mdeters + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences |