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/smt | |
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/smt')
-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 |
3 files changed, 32 insertions, 2 deletions
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 |