diff options
Diffstat (limited to 'src/theory/arrays')
-rw-r--r-- | src/theory/arrays/array_info.cpp | 6 | ||||
-rw-r--r-- | src/theory/arrays/array_info.h | 4 | ||||
-rw-r--r-- | src/theory/arrays/static_fact_manager.cpp | 4 | ||||
-rw-r--r-- | src/theory/arrays/static_fact_manager.h | 4 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays.cpp | 6 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays.h | 6 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays_model.cpp | 4 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays_model.h | 4 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays_rewriter.h | 6 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays_type_rules.h | 6 | ||||
-rw-r--r-- | src/theory/arrays/type_enumerator.h | 4 | ||||
-rw-r--r-- | src/theory/arrays/union_find.cpp | 2 | ||||
-rw-r--r-- | src/theory/arrays/union_find.h | 2 |
13 files changed, 29 insertions, 29 deletions
diff --git a/src/theory/arrays/array_info.cpp b/src/theory/arrays/array_info.cpp index da34b8a8b..293713aab 100644 --- a/src/theory/arrays/array_info.cpp +++ b/src/theory/arrays/array_info.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file array_info.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Dejan Jovanovic ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/array_info.h b/src/theory/arrays/array_info.h index 69f2957ed..1f97c02ca 100644 --- a/src/theory/arrays/array_info.h +++ b/src/theory/arrays/array_info.h @@ -1,9 +1,9 @@ /********************* */ /*! \file array_info.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> + ** Minor contributors (to current version): Dejan Jovanovic, Clark Barrett ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/static_fact_manager.cpp b/src/theory/arrays/static_fact_manager.cpp index e220d279b..cc9bd9991 100644 --- a/src/theory/arrays/static_fact_manager.cpp +++ b/src/theory/arrays/static_fact_manager.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file static_fact_manager.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/static_fact_manager.h b/src/theory/arrays/static_fact_manager.h index 3ced3db6d..74011ad92 100644 --- a/src/theory/arrays/static_fact_manager.h +++ b/src/theory/arrays/static_fact_manager.h @@ -1,9 +1,9 @@ /********************* */ /*! \file static_fact_manager.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index 7b727c35b..53cdd3fdc 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Clark Barrett + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Tim King, Andrew Reynolds, Dejan Jovanovic ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index b82d30cbf..39fd90012 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic, Clark Barrett + ** Minor contributors (to current version): Tim King, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/theory_arrays_model.cpp b/src/theory/arrays/theory_arrays_model.cpp index ec2bacc4b..b5c81ef69 100644 --- a/src/theory/arrays/theory_arrays_model.cpp +++ b/src/theory/arrays/theory_arrays_model.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_arrays_model.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/arrays/theory_arrays_model.h b/src/theory/arrays/theory_arrays_model.h index c82c7635d..66dc80568 100644 --- a/src/theory/arrays/theory_arrays_model.h +++ b/src/theory/arrays/theory_arrays_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_arrays_model.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/arrays/theory_arrays_rewriter.h b/src/theory/arrays/theory_arrays_rewriter.h index b1e8ea664..18bbef8cf 100644 --- a/src/theory/arrays/theory_arrays_rewriter.h +++ b/src/theory/arrays/theory_arrays_rewriter.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Clark Barrett + ** Minor contributors (to current version): Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/theory_arrays_type_rules.h b/src/theory/arrays/theory_arrays_type_rules.h index 8c833bc75..b16b62f69 100644 --- a/src/theory/arrays/theory_arrays_type_rules.h +++ b/src/theory/arrays/theory_arrays_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays_type_rules.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Christopher L. Conway ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/arrays/type_enumerator.h b/src/theory/arrays/type_enumerator.h index f7d8b3637..bde7eef85 100644 --- a/src/theory/arrays/type_enumerator.h +++ b/src/theory/arrays/type_enumerator.h @@ -1,8 +1,8 @@ /********************* */ /*! \file type_enumerator.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/arrays/union_find.cpp b/src/theory/arrays/union_find.cpp index ad9dc2f5d..78305f00a 100644 --- a/src/theory/arrays/union_find.cpp +++ b/src/theory/arrays/union_find.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file union_find.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 project. diff --git a/src/theory/arrays/union_find.h b/src/theory/arrays/union_find.h index b86805a72..29e7c82c0 100644 --- a/src/theory/arrays/union_find.h +++ b/src/theory/arrays/union_find.h @@ -1,7 +1,7 @@ /********************* */ /*! \file union_find.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 project. |