diff options
57 files changed, 197 insertions, 77 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 8c73d514c..f6c066a0a 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -62,7 +62,7 @@ $dir =~ s,/[^/]+/*$,,; my @searchdirs = (); if($#ARGV == -1) { - (chdir($dir."/..") && -f "src/include/cvc4_config.h") || die "can't find top-level source directory for CVC4"; + (chdir($dir."/..") && -f "src/include/cvc4_public.h") || die "can't find top-level source directory for CVC4"; my $pwd = `pwd`; chomp $pwd; print <<EOF; @@ -102,10 +102,10 @@ sub recurse { my $is_directory = S_ISDIR($mode); if($is_directory) { next if $file =~ /$excluded_directories/; - next if $srcdir.'/'.$file =~ /$excluded_paths/; recurse($srcdir.'/'.$file); } else { next if !($file =~ /\.(c|cc|cpp|C|h|hh|hpp|H|y|yy|ypp|Y|l|ll|lpp|L|g)$/); + next if ($srcdir.'/'.$file) =~ /$excluded_paths/; print "$srcdir/$file..."; my $infile = $srcdir.'/'.$file; my $outfile = $srcdir.'/#'.$file.'.tmp'; 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 <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 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 diff --git a/test/unit/context/cdlist_black.h b/test/unit/context/cdlist_black.h index 6029c7ff0..b083f4794 100644 --- a/test/unit/context/cdlist_black.h +++ b/test/unit/context/cdlist_black.h @@ -1,8 +1,8 @@ /********************* */ /** cdlist_black.h - ** Original author: dejan + ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): 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/test/unit/context/context_black.h b/test/unit/context/context_black.h index 338c09849..549d99369 100644 --- a/test/unit/context/context_black.h +++ b/test/unit/context/context_black.h @@ -1,8 +1,8 @@ /********************* */ /** context_black.h ** Original author: dejan - ** 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/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h index 6125881df..eb728c62c 100644 --- a/test/unit/expr/attribute_black.h +++ b/test/unit/expr/attribute_black.h @@ -1,8 +1,8 @@ /********************* */ -/** node_black.h - ** Original author: mdeters - ** Major contributors: taking - ** Minor contributors (to current version): none +/** attribute_black.h + ** Original author: dejan + ** Major contributors: none + ** Minor contributors (to current version): mdeters, 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/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h index d0c74c771..fb18601a3 100644 --- a/test/unit/expr/attribute_white.h +++ b/test/unit/expr/attribute_white.h @@ -2,7 +2,7 @@ /** attribute_white.h ** Original author: mdeters ** Major contributors: none - ** 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/test/unit/expr/kind_black.h b/test/unit/expr/kind_black.h index a9db0262e..8f25a9fc1 100644 --- a/test/unit/expr/kind_black.h +++ b/test/unit/expr/kind_black.h @@ -2,7 +2,7 @@ /** kind_black.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/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index 0b46b06ce..d420c6e26 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -2,7 +2,7 @@ /** node_black.h ** Original author: mdeters ** Major contributors: taking - ** Minor contributors (to current version): none + ** Minor contributors (to current version): dejan, 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/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h index cfef88df7..2af5988a6 100644 --- a/test/unit/expr/node_builder_black.h +++ b/test/unit/expr/node_builder_black.h @@ -1,7 +1,7 @@ /********************* */ -/** node__builder_black.h +/** node_builder_black.h ** 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/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 6e2adb356..5a341830b 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -2,7 +2,7 @@ /** parser_black.h ** Original author: cconway ** Major contributors: none - ** Minor contributors (to current version): mdeters, dejan + ** Minor contributors (to current version): dejan, 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/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 7ffc4193a..427a22c9d 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -1,7 +1,7 @@ /********************* */ /** theory_black.h ** 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/test/unit/theory/theory_uf_white.h b/test/unit/theory/theory_uf_white.h index 7be68aaa1..a204d79b7 100644 --- a/test/unit/theory/theory_uf_white.h +++ b/test/unit/theory/theory_uf_white.h @@ -1,8 +1,8 @@ /********************* */ /** theory_uf_white.h ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): dejan + ** 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 |