summaryrefslogtreecommitdiff
path: root/src/parser
diff options
context:
space:
mode:
Diffstat (limited to 'src/parser')
-rw-r--r--src/parser/antlr_input.cpp8
-rw-r--r--src/parser/antlr_input.h8
-rw-r--r--src/parser/bounded_token_factory.cpp15
-rw-r--r--src/parser/bounded_token_factory.h15
-rw-r--r--src/parser/cvc/Cvc.g4
-rw-r--r--src/parser/cvc/cvc_input.cpp15
-rw-r--r--src/parser/cvc/cvc_input.h15
-rw-r--r--src/parser/input.cpp6
-rw-r--r--src/parser/input.h2
-rw-r--r--src/parser/memory_mapped_input_buffer.cpp15
-rw-r--r--src/parser/memory_mapped_input_buffer.h2
-rw-r--r--src/parser/parser_exception.h2
-rw-r--r--src/parser/parser_options.h15
-rw-r--r--src/parser/smt/Smt.g4
-rw-r--r--src/parser/smt/smt_input.cpp15
-rw-r--r--src/parser/smt/smt_input.h15
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback