From a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 1 Apr 2010 07:19:41 +0000 Subject: [PATCH] reran update-copyright.pl to get new contributors and add new header comments to files without them --- contrib/update-copyright.pl | 4 ++-- 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 +- test/unit/context/cdlist_black.h | 4 ++-- test/unit/context/context_black.h | 4 ++-- test/unit/expr/attribute_black.h | 8 ++++---- test/unit/expr/attribute_white.h | 2 +- test/unit/expr/kind_black.h | 2 +- test/unit/expr/node_black.h | 2 +- test/unit/expr/node_builder_black.h | 4 ++-- test/unit/parser/parser_black.h | 2 +- test/unit/theory/theory_black.h | 2 +- test/unit/theory/theory_uf_white.h | 4 ++-- 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 < #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 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 -- 2.30.2