diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/getopt.cpp | 11 | ||||
-rw-r--r-- | src/main/main.cpp | 11 | ||||
-rw-r--r-- | src/main/main.h | 7 | ||||
-rw-r--r-- | src/main/usage.h | 11 | ||||
-rw-r--r-- | src/main/util.cpp | 7 |
5 files changed, 31 insertions, 16 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index fda0bf766..c3c57cf94 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -1,14 +1,17 @@ /********************* */ -/** getopt.cpp +/*! \file getopt.cpp + ** \verbatim ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): dejan, barrett, cconway + ** Major contributors: cconway + ** Minor contributors (to current version): dejan, barrett ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief Contains code for handling command-line options. ** ** Contains code for handling command-line options **/ diff --git a/src/main/main.cpp b/src/main/main.cpp index 5150d32f9..7fb0d92c9 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -1,14 +1,17 @@ /********************* */ -/** main.cpp +/*! \file main.cpp + ** \verbatim ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): dejan, barrett, cconway + ** Major contributors: cconway + ** Minor contributors (to current version): barrett, dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief Main driver for CVC4 executable. ** ** Main driver for CVC4 executable. **/ diff --git a/src/main/main.h b/src/main/main.h index 117b52c17..d56684d7d 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -1,5 +1,6 @@ /********************* */ -/** main.h +/*! \file main.h + ** \verbatim ** Original author: mdeters ** Major contributors: none ** Minor contributors (to current version): dejan, barrett @@ -8,7 +9,9 @@ ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief Header for main CVC4 driver. ** ** Header for main CVC4 driver. **/ diff --git a/src/main/usage.h b/src/main/usage.h index 4c600759f..4da37749b 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -1,14 +1,17 @@ /********************* */ -/** usage.h +/*! \file usage.h + ** \verbatim ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): cconway + ** Major contributors: cconway + ** 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 ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief The "usage" string for the CVC4 driver binary. ** ** The "usage" string for the CVC4 driver binary. **/ diff --git a/src/main/util.cpp b/src/main/util.cpp index 6a69252ce..77274d575 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -1,5 +1,6 @@ /********************* */ -/** util.cpp +/*! \file util.cpp + ** \verbatim ** Original author: mdeters ** Major contributors: none ** Minor contributors (to current version): none @@ -8,7 +9,9 @@ ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief Utilities for the main driver. ** ** Utilities for the main driver. **/ |