Refactor and update copyright headers. (#6316)

6 files changed, 84 insertions, 78 deletions

diff --git a/src/omt/bitvector_optimizer.cpp b/src/omt/bitvector_optimizer.cpp
index c8c2a39d7..bfbf1cef3 100644
--- a/src/omt/bitvector_optimizer.cpp
+++ b/src/omt/bitvector_optimizer.cpp
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file bitvector_optimizer.cpp
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief Optimizer for BitVector type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou, Michael Chang
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * Optimizer for BitVector type.
+ */
 
 #include "omt/bitvector_optimizer.h"
 
diff --git a/src/omt/bitvector_optimizer.h b/src/omt/bitvector_optimizer.h
index 29031bbe3..98dc63b3f 100644
--- a/src/omt/bitvector_optimizer.h
+++ b/src/omt/bitvector_optimizer.h
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file bitvector_optimizer.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief Optimizer for BitVector type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * Optimizer for BitVector type.
+ */
 
 #ifndef CVC5__OMT__BITVECTOR_OPTIMIZER_H
 #define CVC5__OMT__BITVECTOR_OPTIMIZER_H
diff --git a/src/omt/integer_optimizer.cpp b/src/omt/integer_optimizer.cpp
index f9509b47d..f3ee24b3d 100644
--- a/src/omt/integer_optimizer.cpp
+++ b/src/omt/integer_optimizer.cpp
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file integer_optimizer.cpp
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief Optimizer for Integer type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou, Michael Chang
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * Optimizer for Integer type.
+ */
 
 #include "omt/integer_optimizer.h"
 
diff --git a/src/omt/integer_optimizer.h b/src/omt/integer_optimizer.h
index 89687547f..d92bdb8eb 100644
--- a/src/omt/integer_optimizer.h
+++ b/src/omt/integer_optimizer.h
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file integer_optimizer.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief Optimizer for Integer type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * Optimizer for Integer type.
+ */
 
 #ifndef CVC5__OMT__INTEGER_OPTIMIZER_H
 #define CVC5__OMT__INTEGER_OPTIMIZER_H
diff --git a/src/omt/omt_optimizer.cpp b/src/omt/omt_optimizer.cpp
index 4f64026e2..b0a8af63a 100644
--- a/src/omt/omt_optimizer.cpp
+++ b/src/omt/omt_optimizer.cpp
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file omt_optimizer.cpp
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief The base class for optimizers of individual CVC4 type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou, Michael Chang, Aina Niemetz
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * The base class for optimizers of individual cvc5 type.
+ */
 
 #include "omt/omt_optimizer.h"
 
diff --git a/src/omt/omt_optimizer.h b/src/omt/omt_optimizer.h
index 8f20894c4..1e4c6d4ca 100644
--- a/src/omt/omt_optimizer.h
+++ b/src/omt/omt_optimizer.h
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file omt_optimizer.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Yancheng Ou
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief The base class for optimizers of individual CVC4 type
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Yancheng Ou
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * The base class for optimizers of individual cvc5 type.
+ */
 
 #ifndef CVC5__OMT__OMT_OPTIMIZER_H
 #define CVC5__OMT__OMT_OPTIMIZER_H