From c59f5181c83cf156efc93a26de8f921c927b70ff Mon Sep 17 00:00:00 2001 From: drl7x Date: Sun, 2 Mar 2003 19:59:11 +0000 Subject: [PATCH] Updated the copyright on source code files. --- src/Headers/functionClauseList.h | 2 +- src/abstract.c | 2 +- src/aliasTable.c | 2 +- src/annotationInfo.c | 2 +- src/annotationTable.c | 2 +- src/cgrammar.y | 2 +- src/checking.c | 2 +- src/clabstract.c | 2 +- src/clause.c | 2 +- src/clauseStack.c | 2 +- src/constraint.c | 2 +- src/constraintExpr.c | 2 +- src/constraintExprData.c | 2 +- src/constraintGeneration.c | 2 +- src/constraintOutput.c | 2 +- src/constraintResolve.c | 2 +- src/constraintTerm.c | 2 +- src/context.c | 2 +- src/cpperror.c | 2 +- src/cppexp.c | 2 +- src/cpphash.c | 2 +- src/cpplib.c | 2 +- src/cppmain.c | 2 +- src/cprim.c | 2 +- src/cscanner.l | 2 +- src/cscannerHelp.c | 2 +- src/cstring.c | 2 +- src/cstringList.c | 2 +- src/cstringSList.c | 2 +- src/cstringTable.c | 2 +- src/ctbase.i | 2 +- src/cttable.i | 2 +- src/ctype.c | 2 +- src/ctypeList.c | 2 +- src/cvar.c | 2 +- src/declaratorInvNodeList.c | 2 +- src/declaratorNodeList.c | 2 +- src/ekind.c | 2 +- src/enumNameList.c | 2 +- src/enumNameSList.c | 2 +- src/exprChecks.c | 2 +- src/exprNode.c | 2 +- src/exprNodeList.c | 2 +- src/exprNodeSList.c | 2 +- src/fcnNodeList.c | 2 +- src/fileIdList.c | 2 +- src/fileLib.c | 2 +- src/fileTable.c | 2 +- src/fileloc.c | 2 +- src/filelocList.c | 2 +- src/filelocStack.c | 2 +- src/flagMarker.c | 2 +- src/flagMarkerList.c | 2 +- src/flagSpec.c | 2 +- src/flags.c | 2 +- src/functionClause.c | 2 +- src/functionClauseList.c | 2 +- src/functionConstraint.c | 2 +- src/general.c | 2 +- src/genericTable.c | 2 +- src/globSet.c | 2 +- src/globals.c | 2 +- src/globalsClause.c | 2 +- src/guardSet.c | 2 +- src/help.c | 2 +- src/idDecl.c | 2 +- src/idDeclList.c | 2 +- src/importNodeList.c | 2 +- src/imports.c | 2 +- src/initDeclNodeList.c | 2 +- src/inputStream.c | 2 +- src/intSet.c | 2 +- src/interfaceNodeList.c | 2 +- src/lclctypes.c | 2 +- src/lclinit.c | 2 +- src/lcllib.c | 2 +- src/lclscan.c | 2 +- src/lclscanline.c | 2 +- src/lclsyntable.c | 2 +- src/lcltokentable.c | 2 +- src/letDeclNodeList.c | 2 +- src/lh.c | 2 +- src/llerror.c | 2 +- src/llgrammar.y | 2 +- src/llmain.c | 2 +- src/lltok.c | 2 +- src/loopHeuristics.c | 2 +- src/lslOpList.c | 2 +- src/lslOpSet.c | 2 +- src/lslinit.c | 2 +- src/lslparse.c | 2 +- src/lsymbol.c | 2 +- src/lsymbolList.c | 2 +- src/lsymbolSet.c | 2 +- src/ltoken.c | 2 +- src/ltokenList.c | 2 +- src/macrocache.c | 2 +- src/mapping.c | 2 +- src/message.c | 2 +- src/messageLog.c | 2 +- src/metaStateConstraint.c | 2 +- src/metaStateConstraintList.c | 2 +- src/metaStateExpression.c | 2 +- src/metaStateInfo.c | 2 +- src/metaStateSpecifier.c | 2 +- src/metaStateTable.c | 2 +- src/modifiesClause.c | 2 +- src/mtAnnotationDecl.c | 2 +- src/mtAnnotationList.c | 2 +- src/mtAnnotationsNode.c | 2 +- src/mtContextNode.c | 2 +- src/mtDeclarationNode.c | 2 +- src/mtDeclarationPiece.c | 2 +- src/mtDeclarationPieces.c | 2 +- src/mtDefaultsDecl.c | 2 +- src/mtDefaultsDeclList.c | 2 +- src/mtDefaultsNode.c | 2 +- src/mtLoseReference.c | 2 +- src/mtLoseReferenceList.c | 2 +- src/mtMergeClause.c | 2 +- src/mtMergeClauseList.c | 2 +- src/mtMergeItem.c | 2 +- src/mtMergeNode.c | 2 +- src/mtTransferAction.c | 2 +- src/mtTransferClause.c | 2 +- src/mtTransferClauseList.c | 2 +- src/mtValuesNode.c | 2 +- src/mtgrammar.y | 2 +- src/mtreader.c | 2 +- src/mtscanner.c | 2 +- src/mttok.c | 2 +- src/multiVal.c | 2 +- src/nameChecks.c | 2 +- src/osd.c | 2 +- src/pairNodeList.c | 2 +- src/paramNodeList.c | 2 +- src/pointers.c | 2 +- src/programNodeList.c | 2 +- src/qtype.c | 2 +- src/qual.c | 2 +- src/qualList.c | 2 +- src/quantifierNodeList.c | 2 +- src/randomNumbers.c | 2 +- src/rcfiles.c | 2 +- src/reader.c | 2 +- src/replaceNodeList.c | 2 +- src/sRef.c | 2 +- src/sRefList.c | 2 +- src/sRefSet.c | 2 +- src/sRefSetList.c | 2 +- src/sRefTable.c | 2 +- src/scan.c | 2 +- src/scanline.c | 2 +- src/shift.c | 2 +- src/sigNodeSet.c | 2 +- src/signature.y | 2 +- src/sort.c | 2 +- src/sortList.c | 2 +- src/sortSet.c | 2 +- src/sortSetList.c | 2 +- src/stDeclNodeList.c | 2 +- src/stateClause.c | 2 +- src/stateClauseList.c | 2 +- src/stateCombinationTable.c | 2 +- src/stateInfo.c | 2 +- src/stateValue.c | 2 +- src/storeRefNodeList.c | 2 +- src/structNames.c | 2 +- src/symtable.c | 2 +- src/syntable.c | 2 +- src/termNodeList.c | 2 +- src/tokentable.c | 2 +- src/traitRefNodeList.c | 2 +- src/transferChecks.c | 2 +- src/typeIdSet.c | 2 +- src/typeNameNodeList.c | 2 +- src/uentry.c | 2 +- src/uentryList.c | 2 +- src/usymIdSet.c | 2 +- src/usymtab.c | 2 +- src/usymtab_interface.c | 2 +- src/valueTable.c | 2 +- src/varDeclarationNodeList.c | 2 +- src/varKinds.c | 2 +- src/varNodeList.c | 2 +- src/warnClause.c | 2 +- src/ynm.c | 2 +- 187 files changed, 187 insertions(+), 187 deletions(-) diff --git a/src/Headers/functionClauseList.h b/src/Headers/functionClauseList.h index d7b56bf..1d515de 100644 --- a/src/Headers/functionClauseList.h +++ b/src/Headers/functionClauseList.h @@ -1,5 +1,5 @@ /* -** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. +** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. ** See ../LICENSE for license information. ** */ diff --git a/src/abstract.c b/src/abstract.c index 64807cf..62f8994 100644 --- a/src/abstract.c +++ b/src/abstract.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/aliasTable.c b/src/aliasTable.c index 3246c69..58c3126 100644 --- a/src/aliasTable.c +++ b/src/aliasTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/annotationInfo.c b/src/annotationInfo.c index 75d36fc..c3fd230 100644 --- a/src/annotationInfo.c +++ b/src/annotationInfo.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/annotationTable.c b/src/annotationTable.c index 052a232..c7438e0 100644 --- a/src/annotationTable.c +++ b/src/annotationTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cgrammar.y b/src/cgrammar.y index 7294805..33f8cae 100644 --- a/src/cgrammar.y +++ b/src/cgrammar.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/checking.c b/src/checking.c index 6731b09..7adb6db 100644 --- a/src/checking.c +++ b/src/checking.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/clabstract.c b/src/clabstract.c index 26c52ff..da24ba0 100644 --- a/src/clabstract.c +++ b/src/clabstract.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/clause.c b/src/clause.c index 527907c..1a0f41f 100644 --- a/src/clause.c +++ b/src/clause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/clauseStack.c b/src/clauseStack.c index 43ae071..73c7794 100644 --- a/src/clauseStack.c +++ b/src/clauseStack.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraint.c b/src/constraint.c index 2410e1d..f0d4112 100644 --- a/src/constraint.c +++ b/src/constraint.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintExpr.c b/src/constraintExpr.c index 35dc50a..0c1060b 100644 --- a/src/constraintExpr.c +++ b/src/constraintExpr.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintExprData.c b/src/constraintExprData.c index d2fd3e0..e380344 100644 --- a/src/constraintExprData.c +++ b/src/constraintExprData.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c index 0a48a90..da699e5 100644 --- a/src/constraintGeneration.c +++ b/src/constraintGeneration.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintOutput.c b/src/constraintOutput.c index bb45608..1b3ab26 100644 --- a/src/constraintOutput.c +++ b/src/constraintOutput.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintResolve.c b/src/constraintResolve.c index 6f795b3..24e5ebd 100644 --- a/src/constraintResolve.c +++ b/src/constraintResolve.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/constraintTerm.c b/src/constraintTerm.c index 234598a..ed66677 100644 --- a/src/constraintTerm.c +++ b/src/constraintTerm.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/context.c b/src/context.c index 7c91bfa..82be4ba 100644 --- a/src/context.c +++ b/src/context.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cpperror.c b/src/cpperror.c index 5d76f99..137ef16 100644 --- a/src/cpperror.c +++ b/src/cpperror.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cppexp.c b/src/cppexp.c index 3dda026..6f59849 100644 --- a/src/cppexp.c +++ b/src/cppexp.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cpphash.c b/src/cpphash.c index f43a5dc..937af05 100644 --- a/src/cpphash.c +++ b/src/cpphash.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cpplib.c b/src/cpplib.c index 767e60a..340f34b 100644 --- a/src/cpplib.c +++ b/src/cpplib.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cppmain.c b/src/cppmain.c index 36b1ce0..7cd4a0a 100644 --- a/src/cppmain.c +++ b/src/cppmain.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cprim.c b/src/cprim.c index 8f5aa55..df3b709 100644 --- a/src/cprim.c +++ b/src/cprim.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cscanner.l b/src/cscanner.l index 592560e..625126d 100644 --- a/src/cscanner.l +++ b/src/cscanner.l @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cscannerHelp.c b/src/cscannerHelp.c index b4887f4..d3379ae 100644 --- a/src/cscannerHelp.c +++ b/src/cscannerHelp.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cstring.c b/src/cstring.c index e16ae33..c6e1f47 100644 --- a/src/cstring.c +++ b/src/cstring.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cstringList.c b/src/cstringList.c index da4ec63..5ab4995 100644 --- a/src/cstringList.c +++ b/src/cstringList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cstringSList.c b/src/cstringSList.c index 9db2406..ede8d8e 100644 --- a/src/cstringSList.c +++ b/src/cstringSList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cstringTable.c b/src/cstringTable.c index 4246e22..9be49ed 100644 --- a/src/cstringTable.c +++ b/src/cstringTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ctbase.i b/src/ctbase.i index 667cb6c..2b30048 100644 --- a/src/ctbase.i +++ b/src/ctbase.i @@ -1,6 +1,6 @@ /* ;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cttable.i b/src/cttable.i index c50c8d6..585daf8 100644 --- a/src/cttable.i +++ b/src/cttable.i @@ -1,6 +1,6 @@ /* ;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ctype.c b/src/ctype.c index 6f9677e..1cc720a 100644 --- a/src/ctype.c +++ b/src/ctype.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ctypeList.c b/src/ctypeList.c index 6f50764..0037422 100644 --- a/src/ctypeList.c +++ b/src/ctypeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/cvar.c b/src/cvar.c index 247a529..9315388 100644 --- a/src/cvar.c +++ b/src/cvar.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/declaratorInvNodeList.c b/src/declaratorInvNodeList.c index c98b5c1..c0784f5 100644 --- a/src/declaratorInvNodeList.c +++ b/src/declaratorInvNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/declaratorNodeList.c b/src/declaratorNodeList.c index 36d9250..ad36481 100644 --- a/src/declaratorNodeList.c +++ b/src/declaratorNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ekind.c b/src/ekind.c index 0d11b52..9b33538 100644 --- a/src/ekind.c +++ b/src/ekind.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/enumNameList.c b/src/enumNameList.c index 4101235..7d32aae 100644 --- a/src/enumNameList.c +++ b/src/enumNameList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/enumNameSList.c b/src/enumNameSList.c index 5dea53f..535c6c6 100644 --- a/src/enumNameSList.c +++ b/src/enumNameSList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/exprChecks.c b/src/exprChecks.c index 54fce3c..5a8f624 100644 --- a/src/exprChecks.c +++ b/src/exprChecks.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/exprNode.c b/src/exprNode.c index 97cab2a..1e6da49 100644 --- a/src/exprNode.c +++ b/src/exprNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/exprNodeList.c b/src/exprNodeList.c index e66082e..3d66063 100644 --- a/src/exprNodeList.c +++ b/src/exprNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/exprNodeSList.c b/src/exprNodeSList.c index d5e931d..b71bce1 100644 --- a/src/exprNodeSList.c +++ b/src/exprNodeSList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/fcnNodeList.c b/src/fcnNodeList.c index e1b3c9c..19bb191 100644 --- a/src/fcnNodeList.c +++ b/src/fcnNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/fileIdList.c b/src/fileIdList.c index 18b7472..c77a523 100644 --- a/src/fileIdList.c +++ b/src/fileIdList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/fileLib.c b/src/fileLib.c index b2b04f0..ea08927 100644 --- a/src/fileLib.c +++ b/src/fileLib.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/fileTable.c b/src/fileTable.c index f570e12..dee235e 100644 --- a/src/fileTable.c +++ b/src/fileTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/fileloc.c b/src/fileloc.c index 23e4e7f..c1f95dd 100644 --- a/src/fileloc.c +++ b/src/fileloc.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/filelocList.c b/src/filelocList.c index 44164d1..8897264 100644 --- a/src/filelocList.c +++ b/src/filelocList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/filelocStack.c b/src/filelocStack.c index 734e73f..c667032 100644 --- a/src/filelocStack.c +++ b/src/filelocStack.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/flagMarker.c b/src/flagMarker.c index c1327bd..b51269b 100644 --- a/src/flagMarker.c +++ b/src/flagMarker.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c index ec66063..7b557cf 100644 --- a/src/flagMarkerList.c +++ b/src/flagMarkerList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/flagSpec.c b/src/flagSpec.c index 939a07d..e2b2d9e 100644 --- a/src/flagSpec.c +++ b/src/flagSpec.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/flags.c b/src/flags.c index 6738754..086fae0 100644 --- a/src/flags.c +++ b/src/flags.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/functionClause.c b/src/functionClause.c index 83aa836..c741a99 100644 --- a/src/functionClause.c +++ b/src/functionClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/functionClauseList.c b/src/functionClauseList.c index 825c214..665605c 100644 --- a/src/functionClauseList.c +++ b/src/functionClauseList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/functionConstraint.c b/src/functionConstraint.c index b97a802..96bfff8 100644 --- a/src/functionConstraint.c +++ b/src/functionConstraint.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/general.c b/src/general.c index c90c87d..9724200 100644 --- a/src/general.c +++ b/src/general.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/genericTable.c b/src/genericTable.c index 2325d50..4ba7a09 100644 --- a/src/genericTable.c +++ b/src/genericTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/globSet.c b/src/globSet.c index f4142b8..b595c9c 100644 --- a/src/globSet.c +++ b/src/globSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/globals.c b/src/globals.c index 845b48e..a46b011 100644 --- a/src/globals.c +++ b/src/globals.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/globalsClause.c b/src/globalsClause.c index c32465e..59fef94 100644 --- a/src/globalsClause.c +++ b/src/globalsClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/guardSet.c b/src/guardSet.c index f8ab23f..a21f824 100644 --- a/src/guardSet.c +++ b/src/guardSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/help.c b/src/help.c index 60f0324..53163fd 100644 --- a/src/help.c +++ b/src/help.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/idDecl.c b/src/idDecl.c index ccb0aea..24ebb75 100644 --- a/src/idDecl.c +++ b/src/idDecl.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/idDeclList.c b/src/idDeclList.c index b63e83c..5ebf296 100644 --- a/src/idDeclList.c +++ b/src/idDeclList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/importNodeList.c b/src/importNodeList.c index 7751ef7..597516b 100644 --- a/src/importNodeList.c +++ b/src/importNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/imports.c b/src/imports.c index 2b609f3..55c937b 100644 --- a/src/imports.c +++ b/src/imports.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/initDeclNodeList.c b/src/initDeclNodeList.c index 968c442..74669d4 100644 --- a/src/initDeclNodeList.c +++ b/src/initDeclNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/inputStream.c b/src/inputStream.c index 973267a..95c1323 100644 --- a/src/inputStream.c +++ b/src/inputStream.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/intSet.c b/src/intSet.c index 6ea1d5c..248561a 100644 --- a/src/intSet.c +++ b/src/intSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/interfaceNodeList.c b/src/interfaceNodeList.c index be6244a..3c4bdff 100644 --- a/src/interfaceNodeList.c +++ b/src/interfaceNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lclctypes.c b/src/lclctypes.c index 9d7ce91..48535eb 100644 --- a/src/lclctypes.c +++ b/src/lclctypes.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lclinit.c b/src/lclinit.c index f6f697a..4743994 100644 --- a/src/lclinit.c +++ b/src/lclinit.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lcllib.c b/src/lcllib.c index 4ea77cd..6fecc48 100644 --- a/src/lcllib.c +++ b/src/lcllib.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lclscan.c b/src/lclscan.c index a3fc255..20b6dee 100644 --- a/src/lclscan.c +++ b/src/lclscan.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lclscanline.c b/src/lclscanline.c index 5bdf8f1..622a1ac 100644 --- a/src/lclscanline.c +++ b/src/lclscanline.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lclsyntable.c b/src/lclsyntable.c index 4c3f171..b9d39c9 100644 --- a/src/lclsyntable.c +++ b/src/lclsyntable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lcltokentable.c b/src/lcltokentable.c index dfb206b..e6b5e83 100644 --- a/src/lcltokentable.c +++ b/src/lcltokentable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/letDeclNodeList.c b/src/letDeclNodeList.c index f7677f1..6a23885 100644 --- a/src/letDeclNodeList.c +++ b/src/letDeclNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lh.c b/src/lh.c index 2c477d9..05930e8 100644 --- a/src/lh.c +++ b/src/lh.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/llerror.c b/src/llerror.c index 99d6ce8..0560920 100644 --- a/src/llerror.c +++ b/src/llerror.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/llgrammar.y b/src/llgrammar.y index 3ca2b4a..e83c598 100644 --- a/src/llgrammar.y +++ b/src/llgrammar.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/llmain.c b/src/llmain.c index cf70ca7..ad07b72 100644 --- a/src/llmain.c +++ b/src/llmain.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lltok.c b/src/lltok.c index 1d19d4c..0ae4568 100644 --- a/src/lltok.c +++ b/src/lltok.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c index 3d926af..1507ba3 100644 --- a/src/loopHeuristics.c +++ b/src/loopHeuristics.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lslOpList.c b/src/lslOpList.c index b662c1d..fde38b8 100644 --- a/src/lslOpList.c +++ b/src/lslOpList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lslOpSet.c b/src/lslOpSet.c index b0c3dc0..cba843e 100644 --- a/src/lslOpSet.c +++ b/src/lslOpSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lslinit.c b/src/lslinit.c index 3cb7301..d80d761 100644 --- a/src/lslinit.c +++ b/src/lslinit.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lslparse.c b/src/lslparse.c index 9f7b3af..30efe8a 100644 --- a/src/lslparse.c +++ b/src/lslparse.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lsymbol.c b/src/lsymbol.c index 1eca24f..2d1fe01 100644 --- a/src/lsymbol.c +++ b/src/lsymbol.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lsymbolList.c b/src/lsymbolList.c index 4e65c4e..6a42ebd 100644 --- a/src/lsymbolList.c +++ b/src/lsymbolList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/lsymbolSet.c b/src/lsymbolSet.c index 894f986..7020918 100644 --- a/src/lsymbolSet.c +++ b/src/lsymbolSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ltoken.c b/src/ltoken.c index 90d8a39..8136819 100644 --- a/src/ltoken.c +++ b/src/ltoken.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ltokenList.c b/src/ltokenList.c index ea7c60a..96dae70 100644 --- a/src/ltokenList.c +++ b/src/ltokenList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/macrocache.c b/src/macrocache.c index 027eb52..0991baa 100644 --- a/src/macrocache.c +++ b/src/macrocache.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mapping.c b/src/mapping.c index 64f7276..881a260 100644 --- a/src/mapping.c +++ b/src/mapping.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/message.c b/src/message.c index de50dab..1c9c231 100644 --- a/src/message.c +++ b/src/message.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/messageLog.c b/src/messageLog.c index 1525492..b5db2e3 100644 --- a/src/messageLog.c +++ b/src/messageLog.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c index 31896e6..d5f4acc 100644 --- a/src/metaStateConstraint.c +++ b/src/metaStateConstraint.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateConstraintList.c b/src/metaStateConstraintList.c index 91aa039..a927ebe 100644 --- a/src/metaStateConstraintList.c +++ b/src/metaStateConstraintList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateExpression.c b/src/metaStateExpression.c index 7da49ec..5d92955 100644 --- a/src/metaStateExpression.c +++ b/src/metaStateExpression.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c index 18fbc25..a35c52d 100644 --- a/src/metaStateInfo.c +++ b/src/metaStateInfo.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateSpecifier.c b/src/metaStateSpecifier.c index e8f8a1a..7e41517 100644 --- a/src/metaStateSpecifier.c +++ b/src/metaStateSpecifier.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/metaStateTable.c b/src/metaStateTable.c index c2eab7e..d969353 100644 --- a/src/metaStateTable.c +++ b/src/metaStateTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/modifiesClause.c b/src/modifiesClause.c index 12e15d5..0694556 100644 --- a/src/modifiesClause.c +++ b/src/modifiesClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtAnnotationDecl.c b/src/mtAnnotationDecl.c index 4f1b669..cdb3587 100644 --- a/src/mtAnnotationDecl.c +++ b/src/mtAnnotationDecl.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtAnnotationList.c b/src/mtAnnotationList.c index a066349..b2afaea 100644 --- a/src/mtAnnotationList.c +++ b/src/mtAnnotationList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtAnnotationsNode.c b/src/mtAnnotationsNode.c index b806566..b63f7d7 100644 --- a/src/mtAnnotationsNode.c +++ b/src/mtAnnotationsNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtContextNode.c b/src/mtContextNode.c index 4cc6e9e..82dff5c 100644 --- a/src/mtContextNode.c +++ b/src/mtContextNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDeclarationNode.c b/src/mtDeclarationNode.c index 9ac26f1..e9cecbf 100644 --- a/src/mtDeclarationNode.c +++ b/src/mtDeclarationNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDeclarationPiece.c b/src/mtDeclarationPiece.c index ca583bc..fa104ab 100644 --- a/src/mtDeclarationPiece.c +++ b/src/mtDeclarationPiece.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDeclarationPieces.c b/src/mtDeclarationPieces.c index a004da1..694a0f8 100644 --- a/src/mtDeclarationPieces.c +++ b/src/mtDeclarationPieces.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDefaultsDecl.c b/src/mtDefaultsDecl.c index ca73bff..b8dd6bd 100644 --- a/src/mtDefaultsDecl.c +++ b/src/mtDefaultsDecl.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDefaultsDeclList.c b/src/mtDefaultsDeclList.c index f782f50..db657d7 100644 --- a/src/mtDefaultsDeclList.c +++ b/src/mtDefaultsDeclList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtDefaultsNode.c b/src/mtDefaultsNode.c index e930486..8cd8b12 100644 --- a/src/mtDefaultsNode.c +++ b/src/mtDefaultsNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtLoseReference.c b/src/mtLoseReference.c index 40e26ec..93b25ac 100644 --- a/src/mtLoseReference.c +++ b/src/mtLoseReference.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtLoseReferenceList.c b/src/mtLoseReferenceList.c index ced1f5e..20bb914 100644 --- a/src/mtLoseReferenceList.c +++ b/src/mtLoseReferenceList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtMergeClause.c b/src/mtMergeClause.c index 2b579de..8fb1373 100644 --- a/src/mtMergeClause.c +++ b/src/mtMergeClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtMergeClauseList.c b/src/mtMergeClauseList.c index bbb5d31..faf249b 100644 --- a/src/mtMergeClauseList.c +++ b/src/mtMergeClauseList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtMergeItem.c b/src/mtMergeItem.c index 66ab19f..ad829db 100644 --- a/src/mtMergeItem.c +++ b/src/mtMergeItem.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtMergeNode.c b/src/mtMergeNode.c index f4a3ec2..570310b 100644 --- a/src/mtMergeNode.c +++ b/src/mtMergeNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtTransferAction.c b/src/mtTransferAction.c index 466d855..a28343a 100644 --- a/src/mtTransferAction.c +++ b/src/mtTransferAction.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtTransferClause.c b/src/mtTransferClause.c index 7ba350d..d738734 100644 --- a/src/mtTransferClause.c +++ b/src/mtTransferClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtTransferClauseList.c b/src/mtTransferClauseList.c index c9a947b..62b26d7 100644 --- a/src/mtTransferClauseList.c +++ b/src/mtTransferClauseList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtValuesNode.c b/src/mtValuesNode.c index d8c2a61..ec529c7 100644 --- a/src/mtValuesNode.c +++ b/src/mtValuesNode.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtgrammar.y b/src/mtgrammar.y index 72d6189..bf4e435 100644 --- a/src/mtgrammar.y +++ b/src/mtgrammar.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtreader.c b/src/mtreader.c index cd27617..3eaf42d 100644 --- a/src/mtreader.c +++ b/src/mtreader.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mtscanner.c b/src/mtscanner.c index 3f3d8b3..d352c65 100644 --- a/src/mtscanner.c +++ b/src/mtscanner.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/mttok.c b/src/mttok.c index 20d02eb..b8739bb 100644 --- a/src/mttok.c +++ b/src/mttok.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/multiVal.c b/src/multiVal.c index 5b9a2b0..96e79db 100644 --- a/src/multiVal.c +++ b/src/multiVal.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/nameChecks.c b/src/nameChecks.c index f78a6d1..adbb2b0 100644 --- a/src/nameChecks.c +++ b/src/nameChecks.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/osd.c b/src/osd.c index 047bb7e..3716f30 100644 --- a/src/osd.c +++ b/src/osd.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/pairNodeList.c b/src/pairNodeList.c index f2c430a..c390407 100644 --- a/src/pairNodeList.c +++ b/src/pairNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/paramNodeList.c b/src/paramNodeList.c index b802a68..6516fd2 100644 --- a/src/paramNodeList.c +++ b/src/paramNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/pointers.c b/src/pointers.c index b556354..1580f9d 100644 --- a/src/pointers.c +++ b/src/pointers.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/programNodeList.c b/src/programNodeList.c index fcf3d1a..b5617f8 100644 --- a/src/programNodeList.c +++ b/src/programNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/qtype.c b/src/qtype.c index 9762a1e..beef293 100644 --- a/src/qtype.c +++ b/src/qtype.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/qual.c b/src/qual.c index 843aab1..855a13f 100644 --- a/src/qual.c +++ b/src/qual.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/qualList.c b/src/qualList.c index 3711bcb..f7039af 100644 --- a/src/qualList.c +++ b/src/qualList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/quantifierNodeList.c b/src/quantifierNodeList.c index d24303a..9289dc8 100644 --- a/src/quantifierNodeList.c +++ b/src/quantifierNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/randomNumbers.c b/src/randomNumbers.c index 25bbcc8..95655ab 100644 --- a/src/randomNumbers.c +++ b/src/randomNumbers.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/rcfiles.c b/src/rcfiles.c index 343afe8..aff1aaa 100644 --- a/src/rcfiles.c +++ b/src/rcfiles.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/reader.c b/src/reader.c index da08df7..3c8c188 100644 --- a/src/reader.c +++ b/src/reader.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/replaceNodeList.c b/src/replaceNodeList.c index d32008d..ee16481 100644 --- a/src/replaceNodeList.c +++ b/src/replaceNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sRef.c b/src/sRef.c index 523329e..3aaf720 100644 --- a/src/sRef.c +++ b/src/sRef.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sRefList.c b/src/sRefList.c index 3e110fc..da5b54f 100644 --- a/src/sRefList.c +++ b/src/sRefList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sRefSet.c b/src/sRefSet.c index e3fee46..9fffe5f 100644 --- a/src/sRefSet.c +++ b/src/sRefSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sRefSetList.c b/src/sRefSetList.c index d262b93..3e89bc6 100644 --- a/src/sRefSetList.c +++ b/src/sRefSetList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sRefTable.c b/src/sRefTable.c index 7376773..292ab89 100644 --- a/src/sRefTable.c +++ b/src/sRefTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/scan.c b/src/scan.c index 833afa2..ebbbf3d 100644 --- a/src/scan.c +++ b/src/scan.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/scanline.c b/src/scanline.c index a9f8be6..392a4e1 100644 --- a/src/scanline.c +++ b/src/scanline.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/shift.c b/src/shift.c index 4f7abaf..ba3202e 100644 --- a/src/shift.c +++ b/src/shift.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sigNodeSet.c b/src/sigNodeSet.c index 26e17a7..e7f55d7 100644 --- a/src/sigNodeSet.c +++ b/src/sigNodeSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/signature.y b/src/signature.y index cebd7dd..107e6b3 100644 --- a/src/signature.y +++ b/src/signature.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sort.c b/src/sort.c index cb8193c..1196738 100644 --- a/src/sort.c +++ b/src/sort.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sortList.c b/src/sortList.c index 48b508f..8b196b4 100644 --- a/src/sortList.c +++ b/src/sortList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sortSet.c b/src/sortSet.c index 6bf9f2f..95ad972 100644 --- a/src/sortSet.c +++ b/src/sortSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/sortSetList.c b/src/sortSetList.c index 034571c..76536d6 100644 --- a/src/sortSetList.c +++ b/src/sortSetList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stDeclNodeList.c b/src/stDeclNodeList.c index 2843958..2b7ebd3 100644 --- a/src/stDeclNodeList.c +++ b/src/stDeclNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stateClause.c b/src/stateClause.c index a53c239..26009b4 100644 --- a/src/stateClause.c +++ b/src/stateClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stateClauseList.c b/src/stateClauseList.c index b6c20c5..1c01941 100644 --- a/src/stateClauseList.c +++ b/src/stateClauseList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stateCombinationTable.c b/src/stateCombinationTable.c index 60d8e0c..c116129 100644 --- a/src/stateCombinationTable.c +++ b/src/stateCombinationTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stateInfo.c b/src/stateInfo.c index 01e213b..b2fad5c 100644 --- a/src/stateInfo.c +++ b/src/stateInfo.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/stateValue.c b/src/stateValue.c index 61ea45b..9c357d8 100644 --- a/src/stateValue.c +++ b/src/stateValue.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/storeRefNodeList.c b/src/storeRefNodeList.c index 46c99dd..1fce313 100644 --- a/src/storeRefNodeList.c +++ b/src/storeRefNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/structNames.c b/src/structNames.c index 3c09e82..64a4075 100644 --- a/src/structNames.c +++ b/src/structNames.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/symtable.c b/src/symtable.c index 94778bb..7f026fd 100644 --- a/src/symtable.c +++ b/src/symtable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/syntable.c b/src/syntable.c index 3d7d5db..08ef965 100644 --- a/src/syntable.c +++ b/src/syntable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/termNodeList.c b/src/termNodeList.c index e781c74..b7c4ca2 100644 --- a/src/termNodeList.c +++ b/src/termNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/tokentable.c b/src/tokentable.c index dbf231d..ecc2e19 100644 --- a/src/tokentable.c +++ b/src/tokentable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/traitRefNodeList.c b/src/traitRefNodeList.c index 94c69e2..88a8bdd 100644 --- a/src/traitRefNodeList.c +++ b/src/traitRefNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/transferChecks.c b/src/transferChecks.c index 4efa027..bc4c8c9 100644 --- a/src/transferChecks.c +++ b/src/transferChecks.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/typeIdSet.c b/src/typeIdSet.c index 473bd97..ce35afd 100644 --- a/src/typeIdSet.c +++ b/src/typeIdSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/typeNameNodeList.c b/src/typeNameNodeList.c index 8e1f0cc..42b11d4 100644 --- a/src/typeNameNodeList.c +++ b/src/typeNameNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/uentry.c b/src/uentry.c index 669b6cf..0f5fb17 100644 --- a/src/uentry.c +++ b/src/uentry.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/uentryList.c b/src/uentryList.c index 96951d6..975f2a0 100644 --- a/src/uentryList.c +++ b/src/uentryList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/usymIdSet.c b/src/usymIdSet.c index 07e136c..0998c59 100644 --- a/src/usymIdSet.c +++ b/src/usymIdSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/usymtab.c b/src/usymtab.c index 555a1b9..58174be 100644 --- a/src/usymtab.c +++ b/src/usymtab.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c index 2ce488d..9509586 100644 --- a/src/usymtab_interface.c +++ b/src/usymtab_interface.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/valueTable.c b/src/valueTable.c index b86d823..c9f2086 100644 --- a/src/valueTable.c +++ b/src/valueTable.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/varDeclarationNodeList.c b/src/varDeclarationNodeList.c index 4478620..b81d433 100644 --- a/src/varDeclarationNodeList.c +++ b/src/varDeclarationNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/varKinds.c b/src/varKinds.c index f708b70..bf1bb08 100644 --- a/src/varKinds.c +++ b/src/varKinds.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/varNodeList.c b/src/varNodeList.c index 4f858ff..d7c21e9 100644 --- a/src/varNodeList.c +++ b/src/varNodeList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/warnClause.c b/src/warnClause.c index 1577a14..38ff5ba 100644 --- a/src/warnClause.c +++ b/src/warnClause.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it diff --git a/src/ynm.c b/src/ynm.c index f03efbc..b9c7445 100644 --- a/src/ynm.c +++ b/src/ynm.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it -- 2.45.2