Refactor and update copyright headers. (#6316)

7 files changed, 98 insertions, 105 deletions

diff --git a/src/lib/clock_gettime.c b/src/lib/clock_gettime.c
index 7522b0600..32e6e5b9e 100644
--- a/src/lib/clock_gettime.c
+++ b/src/lib/clock_gettime.c
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file clock_gettime.c
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Tim King, Mathias Preiner
- ** 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 Replacement for clock_gettime() for systems without it (Windows)
- **
- ** Replacement for clock_gettime() for systems without it (Windows).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Tim King, Mathias Preiner
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for clock_gettime() for systems without it (Windows).
+ */
 
 // #warning "TODO(taking): Make lib/clock_gettime.h cvc4_private.h again."
 
diff --git a/src/lib/clock_gettime.h b/src/lib/clock_gettime.h
index 15c5020a1..0626e2a20 100644
--- a/src/lib/clock_gettime.h
+++ b/src/lib/clock_gettime.h
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file clock_gettime.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Mathias Preiner
- ** 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 Replacement for clock_gettime() for systems without it (Windows)
- **
- ** Replacement for clock_gettime() for systems without it (Windows).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Mathias Preiner
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for clock_gettime() for systems without it (Windows).
+ */
 
 #include "cvc4_private_library.h"
 
diff --git a/src/lib/ffs.c b/src/lib/ffs.c
index 53221efd7..78aed12eb 100644
--- a/src/lib/ffs.c
+++ b/src/lib/ffs.c
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file ffs.c
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Andres Noetzli
- ** 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 Replacement for ffs() for systems without it (like Win32)
- **
- ** Replacement for ffs() for systems without it (like Win32).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Andres Noetzli
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for ffs() for systems without it (like Win32).
+ */
 
 #include "cvc4_private.h"
 
diff --git a/src/lib/ffs.h b/src/lib/ffs.h
index aed8be25e..c9e583b82 100644
--- a/src/lib/ffs.h
+++ b/src/lib/ffs.h
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file ffs.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Mathias Preiner, Tim King
- ** 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 Replacement for ffs() for systems without it (like Win32)
- **
- ** Replacement for ffs() for systems without it (like Win32).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Mathias Preiner, Tim King
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for ffs() for systems without it (like Win32).
+ */
 
 #include "cvc4_private.h"
 
diff --git a/src/lib/replacements.h b/src/lib/replacements.h
index da5274190..5669b400f 100644
--- a/src/lib/replacements.h
+++ b/src/lib/replacements.h
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file replacements.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Mathias Preiner
- ** 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 Common header for replacement function sources
- **
- ** Common header for replacement function sources.
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Mathias Preiner
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Common header for replacement function sources.
+ */
 
 #ifndef CVC5__LIB__REPLACEMENTS_H
 #define CVC5__LIB__REPLACEMENTS_H
diff --git a/src/lib/strtok_r.c b/src/lib/strtok_r.c
index 399f5f79c..45d77d08b 100644
--- a/src/lib/strtok_r.c
+++ b/src/lib/strtok_r.c
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file strtok_r.c
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Tim King
- ** 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 Replacement for strtok_r() for systems without it (like Win32)
- **
- ** Replacement for strtok_r() for systems without it (like Win32).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Tim King
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for strtok_r() for systems without it (like Win32).
+ */
 
 #include "cvc4_private.h"
 
diff --git a/src/lib/strtok_r.h b/src/lib/strtok_r.h
index 971e2703e..6843196b7 100644
--- a/src/lib/strtok_r.h
+++ b/src/lib/strtok_r.h
@@ -1,18 +1,17 @@
-/*********************                                                        */
-/*! \file strtok_r.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Mathias Preiner
- ** 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 Replacement for strtok_r() for systems without it (like Win32)
- **
- ** Replacement for strtok_r() for systems without it (like Win32).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Morgan Deters, Mathias Preiner
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * Replacement for strtok_r() for systems without it (like Win32).
+ */
 
 #include "cvc4_private.h"