diff options
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_parser.cpp | 6 | ||||
-rw-r--r-- | src/parser/antlr_parser.h | 6 | ||||
-rw-r--r-- | src/parser/cvc/cvc_lexer.g | 27 | ||||
-rw-r--r-- | src/parser/cvc/cvc_parser.g | 28 | ||||
-rw-r--r-- | src/parser/parser.cpp | 2 | ||||
-rw-r--r-- | src/parser/parser.h | 2 | ||||
-rw-r--r-- | src/parser/parser_exception.h | 2 | ||||
-rw-r--r-- | src/parser/smt/smt_lexer.g | 27 | ||||
-rw-r--r-- | src/parser/smt/smt_parser.g | 27 | ||||
-rw-r--r-- | src/parser/symbol_table.h | 2 |
10 files changed, 67 insertions, 62 deletions
diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp index 171da47e8..053eb8a11 100644 --- a/src/parser/antlr_parser.cpp +++ b/src/parser/antlr_parser.cpp @@ -1,10 +1,10 @@ /********************* -*- C++ -*- */ /** antlr_parser.cpp ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): cconway, mdeters + ** Major contributors: mdeters, cconway + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h index 0c6deb95a..aa32e4193 100644 --- a/src/parser/antlr_parser.h +++ b/src/parser/antlr_parser.h @@ -1,10 +1,10 @@ /********************* -*- C++ -*- */ /** antlr_parser.h ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): mdeters, cconway + ** Major contributors: cconway + ** Minor contributors (to current version): mdeters ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g index db40be3a8..2452b1002 100644 --- a/src/parser/cvc/cvc_lexer.g +++ b/src/parser/cvc/cvc_lexer.g @@ -1,16 +1,17 @@ -/* cvc_lexer.g - * Original author: dejan - * Major contributors: - * Minor contributors (to current version): none - * This file is part of the CVC4 prototype. - * Copyright (c) 2009 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. - * - * Lexer for CVC presentation language. - */ +/* ******************* -*- C++ -*- */ +/* cvc_lexer.g + ** Original author: dejan + ** Major contributors: mdeters + ** Minor contributors (to current version): cconway + ** 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. + ** + ** Lexer for CVC presentation language. + **/ options { language = "Cpp"; // C++ output for antlr diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g index ce61deae2..5832847fc 100644 --- a/src/parser/cvc/cvc_parser.g +++ b/src/parser/cvc/cvc_parser.g @@ -1,16 +1,18 @@ -/* cvc_parser.g - * Original author: dejan - * Major contributors: - * Minor contributors (to current version): none - * This file is part of the CVC4 prototype. - * Copyright (c) 2009 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. - * - * Parser for CVC presentation language. - */ +/* ******************* -*- C++ -*- */ +/* cvc_parser.g + ** Original author: dejan + ** Major contributors: mdeters + ** Minor contributors (to current version): cconway + ** 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. + ** + ** + ** Parser for CVC presentation language. + **/ header "post_include_hpp" { #include "parser/antlr_parser.h" diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 2f9ac6724..6a70b5181 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -4,7 +4,7 @@ ** Major contributors: dejan ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 diff --git a/src/parser/parser.h b/src/parser/parser.h index 4f0502f24..98c7267c6 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -4,7 +4,7 @@ ** Major contributors: dejan ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h index 3504eeba2..85d50ba51 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -4,7 +4,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g index f1c01ea05..6c7e4be9d 100644 --- a/src/parser/smt/smt_lexer.g +++ b/src/parser/smt/smt_lexer.g @@ -1,16 +1,17 @@ -/* smt_lexer.g - * Original author: dejan - * Major contributors: - * Minor contributors (to current version): none - * This file is part of the CVC4 prototype. - * Copyright (c) 2009 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. - * - * Lexer for SMT-LIB input language. - */ +/* ******************* -*- C++ -*- */ +/* smt_lexer.g + ** Original author: dejan + ** Major contributors: cconway, 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. + ** + ** Lexer for SMT-LIB input language. + **/ options { language = "Cpp"; // C++ output for antlr diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g index 65ebbb65a..fe98063cc 100644 --- a/src/parser/smt/smt_parser.g +++ b/src/parser/smt/smt_parser.g @@ -1,16 +1,17 @@ -/* smt_parser.g - * Original author: dejan - * Major contributors: - * Minor contributors (to current version): none - * This file is part of the CVC4 prototype. - * Copyright (c) 2009 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. - * - * Parser for SMT-LIB input language. - */ +/* ******************* -*- C++ -*- */ +/* smt_parser.g + ** 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 + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** Parser for SMT-LIB input language. + **/ header "post_include_hpp" { #include "parser/antlr_parser.h" diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h index be2a958b8..7dc3783a5 100644 --- a/src/parser/symbol_table.h +++ b/src/parser/symbol_table.h @@ -4,7 +4,7 @@ ** Major contributors: dejan, mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** 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 |