From a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 1 Apr 2010 07:19:41 +0000 Subject: reran update-copyright.pl to get new contributors and add new header comments to files without them --- src/context/cdlist.h | 2 +- src/context/cdo.h | 2 +- src/context/context_mm.h | 4 ++-- src/expr/attribute.h | 2 +- src/expr/attribute_internals.h | 2 +- src/expr/expr_manager_template.h | 4 ++-- src/expr/expr_template.cpp | 2 +- src/expr/expr_template.h | 4 ++-- src/expr/node.h | 2 +- src/expr/node_builder.h | 2 +- src/expr/node_manager.cpp | 4 ++-- src/expr/node_manager.h | 4 ++-- src/expr/node_value.cpp | 4 ++-- src/expr/node_value.h | 2 +- src/expr/type.cpp | 2 +- src/expr/type.h | 4 ++-- src/main/getopt.cpp | 2 +- src/main/main.cpp | 4 ++-- src/parser/antlr_input.cpp | 8 ++++---- src/parser/antlr_input.h | 8 ++++---- src/parser/bounded_token_factory.cpp | 15 +++++++++++++++ src/parser/bounded_token_factory.h | 15 +++++++++++++++ src/parser/cvc/Cvc.g | 4 ++-- src/parser/cvc/cvc_input.cpp | 15 +++++++++++++++ src/parser/cvc/cvc_input.h | 15 +++++++++++++++ src/parser/input.cpp | 6 +++--- src/parser/input.h | 2 +- src/parser/memory_mapped_input_buffer.cpp | 15 +++++++++++++++ src/parser/memory_mapped_input_buffer.h | 2 +- src/parser/parser_exception.h | 2 +- src/parser/parser_options.h | 15 +++++++++++++++ src/parser/smt/Smt.g | 4 ++-- src/parser/smt/smt_input.cpp | 15 +++++++++++++++ src/parser/smt/smt_input.h | 15 +++++++++++++++ src/prop/cnf_stream.h | 2 +- src/prop/sat.h | 2 +- src/theory/theory_engine.h | 2 +- src/theory/uf/ecdata.cpp | 2 +- src/theory/uf/ecdata.h | 2 +- src/theory/uf/theory_uf.cpp | 4 ++-- src/theory/uf/theory_uf.h | 4 ++-- src/util/integer.cpp | 2 +- src/util/integer.h | 2 +- src/util/options.h | 2 +- src/util/rational.cpp | 2 +- src/util/rational.h | 2 +- 46 files changed, 178 insertions(+), 58 deletions(-) (limited to 'src') diff --git a/src/context/cdlist.h b/src/context/cdlist.h index 492dc7939..b0161c562 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -2,7 +2,7 @@ /** cdlist.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): barrett, taking ** 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/context/cdo.h b/src/context/cdo.h index f2d6e7b4b..e03156e8a 100644 --- a/src/context/cdo.h +++ b/src/context/cdo.h @@ -2,7 +2,7 @@ /** cdo.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): 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 diff --git a/src/context/context_mm.h b/src/context/context_mm.h index 04b0c8167..5920859e1 100644 --- a/src/context/context_mm.h +++ b/src/context/context_mm.h @@ -1,8 +1,8 @@ /********************* */ /** context_mm.h ** Original author: barrett - ** Major contributors: none - ** Minor contributors (to current version): mdeters + ** 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 diff --git a/src/expr/attribute.h b/src/expr/attribute.h index 358755192..c79f4da80 100644 --- a/src/expr/attribute.h +++ b/src/expr/attribute.h @@ -2,7 +2,7 @@ /** attribute.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): cconway, taking ** 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/expr/attribute_internals.h b/src/expr/attribute_internals.h index d50c2284d..0ae2cdc22 100644 --- a/src/expr/attribute_internals.h +++ b/src/expr/attribute_internals.h @@ -2,7 +2,7 @@ /** attribute_internals.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): dejan, taking, 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 diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 523c12e3b..1c1d6dbd7 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -1,8 +1,8 @@ /********************* */ /** expr_manager_template.h ** Original author: dejan - ** Major contributors: cconway, mdeters - ** Minor contributors (to current version): taking + ** Major contributors: mdeters + ** Minor contributors (to current version): taking, 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 diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 2e901dc92..ebab8ec6d 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -2,7 +2,7 @@ /** expr_template.cpp ** Original author: dejan ** Major contributors: mdeters - ** Minor contributors (to current version): taking + ** Minor contributors (to current version): cconway, taking ** 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/expr/expr_template.h b/src/expr/expr_template.h index 12307e679..efbdec2de 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -1,8 +1,8 @@ /********************* */ /** expr_template.h ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): taking, mdeters + ** Major contributors: mdeters + ** Minor contributors (to current version): cconway, taking ** 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/expr/node.h b/src/expr/node.h index 875760725..6f6fdfb4d 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -2,7 +2,7 @@ /** node.h ** Original author: mdeters ** Major contributors: dejan - ** Minor contributors (to current version): taking + ** Minor contributors (to current version): cconway, taking ** 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/expr/node_builder.h b/src/expr/node_builder.h index 4df174604..213a4cb35 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -2,7 +2,7 @@ /** node_builder.h ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): dejan + ** Minor contributors (to current version): taking, 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 diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 29749ee5d..8f254ed9f 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -1,8 +1,8 @@ /********************* */ /** node_manager.cpp ** Original author: mdeters - ** Major contributors: dejan - ** Minor contributors (to current version): none + ** Major contributors: none + ** Minor contributors (to current version): dejan, taking ** 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/expr/node_manager.h b/src/expr/node_manager.h index d17ec9497..99b1471f9 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -1,8 +1,8 @@ /********************* */ /** node_manager.h ** Original author: mdeters - ** Major contributors: dejan - ** Minor contributors (to current version): taking + ** Major contributors: cconway + ** Minor contributors (to current version): taking, 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 diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index 0138aa2a5..101be5187 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -1,8 +1,8 @@ /********************* */ /** node_value.cpp ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): dejan + ** Major contributors: dejan + ** 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 diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 6408ef01a..9e8854e8f 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -2,7 +2,7 @@ /** node_value.h ** Original author: mdeters ** Major contributors: dejan - ** Minor contributors (to current version): none + ** Minor contributors (to current version): cconway, taking ** 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/expr/type.cpp b/src/expr/type.cpp index 569becab1..851c440b6 100644 --- a/src/expr/type.cpp +++ b/src/expr/type.cpp @@ -1,7 +1,7 @@ /********************* */ /** type.cpp ** 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/expr/type.h b/src/expr/type.h index 767ea122e..8a9d6cd70 100644 --- a/src/expr/type.h +++ b/src/expr/type.h @@ -1,8 +1,8 @@ /********************* */ /** type.h ** Original author: cconway - ** Major contributors: none - ** Minor contributors (to current version): mdeters + ** 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 diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index b7474fa7e..64958519c 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -2,7 +2,7 @@ /** getopt.cpp ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): barrett, dejan, cconway + ** Minor contributors (to current version): dejan, barrett, 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 diff --git a/src/main/main.cpp b/src/main/main.cpp index c6899e85a..174ab4b7f 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -1,8 +1,8 @@ /********************* */ /** main.cpp ** Original author: mdeters - ** Major contributors: barrett, dejan - ** Minor contributors (to current version): cconway + ** Major contributors: none + ** Minor contributors (to current version): dejan, barrett, 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 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 #include #include 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 #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 #include #include 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 #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 diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index 7a05c618a..66cdaa730 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -2,7 +2,7 @@ /** cnf_stream.h ** Original author: taking ** Major contributors: dejan - ** Minor contributors (to current version): mdeters + ** Minor contributors (to current version): cconway, 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/prop/sat.h b/src/prop/sat.h index 207ed90fd..12aa82793 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -2,7 +2,7 @@ /** sat.h ** Original author: mdeters ** Major contributors: dejan - ** Minor contributors (to current version): none + ** 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 diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 1d5daf7bd..df829ac01 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -1,7 +1,7 @@ /********************* */ /** theory_engine.h ** Original author: mdeters - ** Major contributors: none + ** Major contributors: dejan ** 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/theory/uf/ecdata.cpp b/src/theory/uf/ecdata.cpp index 22db1e6d0..a60aaf1cd 100644 --- a/src/theory/uf/ecdata.cpp +++ b/src/theory/uf/ecdata.cpp @@ -1,7 +1,7 @@ /********************* */ /** ecdata.cpp ** Original author: taking - ** 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/theory/uf/ecdata.h b/src/theory/uf/ecdata.h index 26d957c2e..462e713de 100644 --- a/src/theory/uf/ecdata.h +++ b/src/theory/uf/ecdata.h @@ -2,7 +2,7 @@ /** ecdata.h ** Original author: taking ** 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/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp index 4f15cca75..3fe82b16c 100644 --- a/src/theory/uf/theory_uf.cpp +++ b/src/theory/uf/theory_uf.cpp @@ -1,8 +1,8 @@ /********************* */ /** theory_uf.cpp ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): none + ** Major contributors: mdeters + ** Minor contributors (to current version): cconway, 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 diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index 87c33e958..8495e6c9c 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -1,8 +1,8 @@ /********************* */ /** theory_uf.h ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): none + ** 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 diff --git a/src/util/integer.cpp b/src/util/integer.cpp index 41291cc42..3a7851eec 100644 --- a/src/util/integer.cpp +++ b/src/util/integer.cpp @@ -1,7 +1,7 @@ /********************* */ /** integer.cpp ** Original author: taking - ** 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/util/integer.h b/src/util/integer.h index ffba5543a..c1e5d90ea 100644 --- a/src/util/integer.h +++ b/src/util/integer.h @@ -2,7 +2,7 @@ /** integer.h ** Original author: taking ** 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/util/options.h b/src/util/options.h index c8c95dd11..63f1cb99e 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -2,7 +2,7 @@ /** options.h ** Original author: mdeters ** Major contributors: cconway - ** Minor contributors (to current version): taking, dejan + ** Minor contributors (to current version): 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 diff --git a/src/util/rational.cpp b/src/util/rational.cpp index f3584e8f3..3ed357de7 100644 --- a/src/util/rational.cpp +++ b/src/util/rational.cpp @@ -1,7 +1,7 @@ /********************* */ /** rational.cpp ** Original author: taking - ** 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/util/rational.h b/src/util/rational.h index 37d0c08cb..48b00899a 100644 --- a/src/util/rational.h +++ b/src/util/rational.h @@ -2,7 +2,7 @@ /** rational.h ** Original author: taking ** 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 -- cgit v1.2.3