diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-04-01 07:19:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-04-01 07:19:41 +0000 |
commit | a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9 (patch) | |
tree | 792b675b3d11b546450c5b785b2dac40afd742d8 /src/parser | |
parent | c49e8a66f30413adc802c7200ec02c68e33feae6 (diff) |
reran update-copyright.pl to get new contributors and add new header comments to files without them
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_input.cpp | 8 | ||||
-rw-r--r-- | src/parser/antlr_input.h | 8 | ||||
-rw-r--r-- | src/parser/bounded_token_factory.cpp | 15 | ||||
-rw-r--r-- | src/parser/bounded_token_factory.h | 15 | ||||
-rw-r--r-- | src/parser/cvc/Cvc.g | 4 | ||||
-rw-r--r-- | src/parser/cvc/cvc_input.cpp | 15 | ||||
-rw-r--r-- | src/parser/cvc/cvc_input.h | 15 | ||||
-rw-r--r-- | src/parser/input.cpp | 6 | ||||
-rw-r--r-- | src/parser/input.h | 2 | ||||
-rw-r--r-- | src/parser/memory_mapped_input_buffer.cpp | 15 | ||||
-rw-r--r-- | src/parser/memory_mapped_input_buffer.h | 2 | ||||
-rw-r--r-- | src/parser/parser_exception.h | 2 | ||||
-rw-r--r-- | src/parser/parser_options.h | 15 | ||||
-rw-r--r-- | src/parser/smt/Smt.g | 4 | ||||
-rw-r--r-- | src/parser/smt/smt_input.cpp | 15 | ||||
-rw-r--r-- | src/parser/smt/smt_input.h | 15 |
16 files changed, 138 insertions, 18 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index 901735b1f..16f10cd93 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -1,8 +1,8 @@ /********************* */ -/** antlr_parser.cpp - ** Original author: dejan - ** Major contributors: cconway - ** Minor contributors (to current version): mdeters +/** antlr_input.cpp + ** Original author: cconway + ** Major contributors: none + ** 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/src/parser/antlr_input.h b/src/parser/antlr_input.h index 05d785df3..dee7c1491 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -1,8 +1,8 @@ /********************* */ -/** antlr_parser.h - ** Original author: dejan - ** Major contributors: cconway - ** Minor contributors (to current version): mdeters +/** antlr_input.h + ** Original author: cconway + ** Major contributors: none + ** 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/src/parser/bounded_token_factory.cpp b/src/parser/bounded_token_factory.cpp index 0209eb172..22a42c2fa 100644 --- a/src/parser/bounded_token_factory.cpp +++ b/src/parser/bounded_token_factory.cpp @@ -1,3 +1,18 @@ +/********************* */ +/** bounded_token_factory.cpp + ** Original author: cconway + ** Major contributors: 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <antlr3input.h> #include <antlr3commontoken.h> #include <antlr3interfaces.h> diff --git a/src/parser/bounded_token_factory.h b/src/parser/bounded_token_factory.h index 8f8177544..761ac762f 100644 --- a/src/parser/bounded_token_factory.h +++ b/src/parser/bounded_token_factory.h @@ -1,3 +1,18 @@ +/********************* */ +/** bounded_token_factory.h + ** Original author: cconway + ** 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include "cvc4parser_private.h" #ifndef __CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index d2ac81167..feb2e6d35 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1,8 +1,8 @@ /* ******************* */ /* Cvc.g ** Original author: cconway - ** Major contributors: dejan, mdeters - ** Minor contributors (to current version): none + ** Major contributors: 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/src/parser/cvc/cvc_input.cpp b/src/parser/cvc/cvc_input.cpp index 241ce62f3..f247a651d 100644 --- a/src/parser/cvc/cvc_input.cpp +++ b/src/parser/cvc/cvc_input.cpp @@ -1,3 +1,18 @@ +/********************* */ +/** cvc_input.cpp + ** Original author: cconway + ** Major contributors: 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <antlr3.h> #include "expr/expr_manager.h" diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h index 9908a25aa..4878d015e 100644 --- a/src/parser/cvc/cvc_input.h +++ b/src/parser/cvc/cvc_input.h @@ -1,3 +1,18 @@ +/********************* */ +/** cvc_input.h + ** Original author: cconway + ** Major contributors: 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include "cvc4parser_public.h" #ifndef __CVC4__PARSER__CVC_INPUT_H diff --git a/src/parser/input.cpp b/src/parser/input.cpp index 0fd9a2628..3b7b322ca 100644 --- a/src/parser/input.cpp +++ b/src/parser/input.cpp @@ -1,8 +1,8 @@ /********************* */ /** input.cpp - ** Original author: mdeters - ** Major contributors: dejan - ** Minor contributors (to current version): cconway + ** Original author: dejan + ** Major contributors: mdeters, 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 diff --git a/src/parser/input.h b/src/parser/input.h index a255ede12..ad888c6cc 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -2,7 +2,7 @@ /** input.h ** Original author: cconway ** 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/src/parser/memory_mapped_input_buffer.cpp b/src/parser/memory_mapped_input_buffer.cpp index f1a7b5729..a87ba9cf8 100644 --- a/src/parser/memory_mapped_input_buffer.cpp +++ b/src/parser/memory_mapped_input_buffer.cpp @@ -1,3 +1,18 @@ +/********************* */ +/** memory_mapped_input_buffer.cpp + ** Original author: cconway + ** Major contributors: 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <fcntl.h> #include <stdio.h> #include <stdint.h> diff --git a/src/parser/memory_mapped_input_buffer.h b/src/parser/memory_mapped_input_buffer.h index 4146eec02..c63ec5407 100644 --- a/src/parser/memory_mapped_input_buffer.h +++ b/src/parser/memory_mapped_input_buffer.h @@ -1,7 +1,7 @@ /********************* */ /** memory_mapped_input_buffer.h ** Original author: cconway - ** 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/src/parser/parser_exception.h b/src/parser/parser_exception.h index 9bbe7d709..7b0f8bda9 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -1,7 +1,7 @@ /********************* */ /** parser_exception.h ** Original author: mdeters - ** Major contributors: none + ** 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) diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h index ae1d99542..d593d6f5a 100644 --- a/src/parser/parser_options.h +++ b/src/parser/parser_options.h @@ -1,3 +1,18 @@ +/********************* */ +/** parser_options.h + ** Original author: cconway + ** 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include "cvc4_public.h" #ifndef __CVC4__PARSER__PARSER_OPTIONS_H diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index 48a0eddef..86c1b015d 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -1,8 +1,8 @@ /* ******************* */ /* Smt.g ** Original author: cconway - ** Major contributors: dejan, mdeters - ** Minor contributors (to current version): none + ** Major contributors: 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/src/parser/smt/smt_input.cpp b/src/parser/smt/smt_input.cpp index cd62eec39..1bff3d18f 100644 --- a/src/parser/smt/smt_input.cpp +++ b/src/parser/smt/smt_input.cpp @@ -1,3 +1,18 @@ +/********************* */ +/** smt_input.cpp + ** Original author: cconway + ** Major contributors: 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <antlr3.h> #include "expr/expr_manager.h" diff --git a/src/parser/smt/smt_input.h b/src/parser/smt/smt_input.h index 3e295d18a..f93a1bf0d 100644 --- a/src/parser/smt/smt_input.h +++ b/src/parser/smt/smt_input.h @@ -1,3 +1,18 @@ +/********************* */ +/** smt_input.h + ** Original author: cconway + ** 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + #include "cvc4parser_public.h" #ifndef __CVC4__PARSER__SMT_INPUT_H |