From bfb70124314ebe6878453c190b31df208c81549d Mon Sep 17 00:00:00 2001 From: Eric Eide Date: Sun, 28 May 2017 15:13:03 -0600 Subject: [PATCH] Update copyright years. --- runtime/csmith_minimal.h | 2 +- runtime/custom_stdint_x86.h | 2 +- runtime/safe_math.m4 | 2 +- src/AbsExtension.cpp | 2 +- src/AbsRndNumGenerator.cpp | 2 +- src/AbsRndNumGenerator.h | 2 +- src/ArrayVariable.cpp | 2 +- src/ArrayVariable.h | 2 +- src/Block.cpp | 2 +- src/Block.h | 2 +- src/Bookkeeper.cpp | 2 +- src/Bookkeeper.h | 2 +- src/CFGEdge.cpp | 2 +- src/CFGEdge.h | 2 +- src/CGContext.cpp | 2 +- src/CGContext.h | 2 +- src/CGOptions.cpp | 2 +- src/CGOptions.h | 2 +- src/CVQualifiers.cpp | 2 +- src/CVQualifiers.h | 2 +- src/Constant.cpp | 2 +- src/Constant.h | 2 +- src/CoverageTestExtension.cpp | 2 +- src/DFSOutputMgr.cpp | 2 +- src/DFSOutputMgr.h | 2 +- src/DFSProgramGenerator.cpp | 2 +- src/DFSRndNumGenerator.cpp | 2 +- src/DFSRndNumGenerator.h | 2 +- src/DefaultOutputMgr.cpp | 2 +- src/DefaultRndNumGenerator.cpp | 2 +- src/DeltaMonitor.cpp | 2 +- src/DeltaMonitor.h | 2 +- src/DepthSpec.cpp | 2 +- src/DepthSpec.h | 2 +- src/Effect.cpp | 2 +- src/Effect.h | 2 +- src/Enumerator.h | 2 +- src/Expression.cpp | 2 +- src/Expression.h | 2 +- src/ExpressionAssign.cpp | 2 +- src/ExpressionAssign.h | 2 +- src/ExpressionComma.cpp | 2 +- src/ExpressionComma.h | 2 +- src/ExpressionFuncall.cpp | 2 +- src/ExpressionFuncall.h | 2 +- src/ExpressionVariable.cpp | 2 +- src/ExtensionMgr.cpp | 2 +- src/Fact.cpp | 2 +- src/Fact.h | 2 +- src/FactMgr.cpp | 2 +- src/FactMgr.h | 2 +- src/FactPointTo.cpp | 2 +- src/FactPointTo.h | 2 +- src/FactUnion.cpp | 2 +- src/FactUnion.h | 2 +- src/Filter.h | 2 +- src/Function.cpp | 2 +- src/Function.h | 2 +- src/FunctionInvocation.cpp | 2 +- src/FunctionInvocation.h | 2 +- src/FunctionInvocationBinary.cpp | 2 +- src/FunctionInvocationBinary.h | 2 +- src/FunctionInvocationUnary.cpp | 2 +- src/FunctionInvocationUnary.h | 2 +- src/FunctionInvocationUser.cpp | 2 +- src/KleeExtension.cpp | 2 +- src/Lhs.cpp | 2 +- src/Lhs.h | 2 +- src/LinearSequence.cpp | 2 +- src/MspFilters.h | 2 +- src/OutputMgr.cpp | 2 +- src/PartialExpander.cpp | 2 +- src/PartialExpander.h | 2 +- src/Probabilities.cpp | 2 +- src/Probabilities.h | 2 +- src/ProbabilityTable.h | 2 +- src/RandomNumber.h | 2 +- src/RandomProgramGenerator.cpp | 2 +- src/Reducer.h | 2 +- src/ReducerOutputMgr.cpp | 2 +- src/ReducerOutputMgr.h | 2 +- src/SafeOpFlags.cpp | 2 +- src/SafeOpFlags.h | 2 +- src/SequenceLineParser.h | 2 +- src/SimpleDeltaRndNumGenerator.cpp | 2 +- src/SimpleDeltaSequence.cpp | 2 +- src/SplatExtension.cpp | 2 +- src/Statement.cpp | 2 +- src/Statement.h | 2 +- src/StatementArrayOp.cpp | 2 +- src/StatementArrayOp.h | 2 +- src/StatementAssign.cpp | 2 +- src/StatementAssign.h | 2 +- src/StatementBreak.cpp | 2 +- src/StatementBreak.h | 2 +- src/StatementContinue.cpp | 2 +- src/StatementContinue.h | 2 +- src/StatementExpr.cpp | 2 +- src/StatementExpr.h | 2 +- src/StatementFor.cpp | 2 +- src/StatementFor.h | 2 +- src/StatementGoto.cpp | 2 +- src/StatementGoto.h | 2 +- src/StatementIf.cpp | 2 +- src/StatementReturn.cpp | 2 +- src/StatementReturn.h | 2 +- src/StringUtils.cpp | 2 +- src/StringUtils.h | 2 +- src/Type.cpp | 2 +- src/Type.h | 2 +- src/Variable.cpp | 2 +- src/Variable.h | 2 +- src/VariableSelector.cpp | 2 +- src/VariableSelector.h | 2 +- src/VectorFilter.cpp | 2 +- src/VectorFilter.h | 2 +- src/platform.cpp | 2 +- src/random.cpp | 2 +- src/util.cpp | 2 +- src/util.h | 2 +- 120 files changed, 120 insertions(+), 120 deletions(-) diff --git a/runtime/csmith_minimal.h b/runtime/csmith_minimal.h index 58dfc6c0f..ffe955586 100644 --- a/runtime/csmith_minimal.h +++ b/runtime/csmith_minimal.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007-2011, 2013, 2014 The University of Utah + * Copyright (c) 2007-2011, 2013, 2014, 2015 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/custom_stdint_x86.h b/runtime/custom_stdint_x86.h index f0316aa1f..b4f7879ea 100644 --- a/runtime/custom_stdint_x86.h +++ b/runtime/custom_stdint_x86.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2011 The University of Utah + * Copyright (c) 2011, 2016 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/safe_math.m4 b/runtime/safe_math.m4 index 9784ad4c4..f6b518783 100644 --- a/runtime/safe_math.m4 +++ b/runtime/safe_math.m4 @@ -1,6 +1,6 @@ dnl -*- mode: m4 -*- dnl -dnl Copyright (c) 2008, 2009, 2013, 2014 The University of Utah +dnl Copyright (c) 2008, 2009, 2013, 2014, 2016 The University of Utah dnl All rights reserved. dnl dnl This file is part of `csmith', a random generator of C programs. diff --git a/src/AbsExtension.cpp b/src/AbsExtension.cpp index 3084b8530..6739405ee 100644 --- a/src/AbsExtension.cpp +++ b/src/AbsExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/AbsRndNumGenerator.cpp b/src/AbsRndNumGenerator.cpp index 68942c2e8..345d01ec9 100644 --- a/src/AbsRndNumGenerator.cpp +++ b/src/AbsRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/AbsRndNumGenerator.h b/src/AbsRndNumGenerator.h index 738053d9f..7ab23fc81 100644 --- a/src/AbsRndNumGenerator.h +++ b/src/AbsRndNumGenerator.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ArrayVariable.cpp b/src/ArrayVariable.cpp index fe35dc97e..9e82c3fa7 100644 --- a/src/ArrayVariable.cpp +++ b/src/ArrayVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ArrayVariable.h b/src/ArrayVariable.h index 08fd6bb9f..9b9789e2a 100644 --- a/src/ArrayVariable.h +++ b/src/ArrayVariable.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Block.cpp b/src/Block.cpp index cd0fc703b..798f2765b 100644 --- a/src/Block.cpp +++ b/src/Block.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Block.h b/src/Block.h index 9697c3d2f..bb87af540 100644 --- a/src/Block.h +++ b/src/Block.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Bookkeeper.cpp b/src/Bookkeeper.cpp index ca3943a74..fccb16503 100644 --- a/src/Bookkeeper.cpp +++ b/src/Bookkeeper.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Bookkeeper.h b/src/Bookkeeper.h index cb43cccd1..d1651408a 100644 --- a/src/Bookkeeper.h +++ b/src/Bookkeeper.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CFGEdge.cpp b/src/CFGEdge.cpp index e0833fb45..e00b655a9 100644 --- a/src/CFGEdge.cpp +++ b/src/CFGEdge.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CFGEdge.h b/src/CFGEdge.h index b7449d941..3fc3381ac 100644 --- a/src/CFGEdge.h +++ b/src/CFGEdge.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CGContext.cpp b/src/CGContext.cpp index 6990d7e4a..879ac2dcd 100644 --- a/src/CGContext.cpp +++ b/src/CGContext.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CGContext.h b/src/CGContext.h index c5e02987c..178fe1d56 100644 --- a/src/CGContext.h +++ b/src/CGContext.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CGOptions.cpp b/src/CGOptions.cpp index 1028b9302..7f225763b 100644 --- a/src/CGOptions.cpp +++ b/src/CGOptions.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CGOptions.h b/src/CGOptions.h index 063d18a47..739d15ac2 100644 --- a/src/CGOptions.h +++ b/src/CGOptions.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CVQualifiers.cpp b/src/CVQualifiers.cpp index bb0d8c940..0c61cfef4 100644 --- a/src/CVQualifiers.cpp +++ b/src/CVQualifiers.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CVQualifiers.h b/src/CVQualifiers.h index 536a01eeb..5c6edc9d1 100644 --- a/src/CVQualifiers.h +++ b/src/CVQualifiers.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Constant.cpp b/src/Constant.cpp index fe97f1b00..526c6cc8f 100644 --- a/src/Constant.cpp +++ b/src/Constant.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Constant.h b/src/Constant.h index 74bb0baa1..56976c387 100644 --- a/src/Constant.h +++ b/src/Constant.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/CoverageTestExtension.cpp b/src/CoverageTestExtension.cpp index c335b526b..359c28a96 100644 --- a/src/CoverageTestExtension.cpp +++ b/src/CoverageTestExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DFSOutputMgr.cpp b/src/DFSOutputMgr.cpp index b4637fe3c..373873981 100644 --- a/src/DFSOutputMgr.cpp +++ b/src/DFSOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DFSOutputMgr.h b/src/DFSOutputMgr.h index 36c983922..decb7d703 100644 --- a/src/DFSOutputMgr.h +++ b/src/DFSOutputMgr.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DFSProgramGenerator.cpp b/src/DFSProgramGenerator.cpp index 186762b2a..c53207cf7 100644 --- a/src/DFSProgramGenerator.cpp +++ b/src/DFSProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DFSRndNumGenerator.cpp b/src/DFSRndNumGenerator.cpp index 5a52334bc..b3e1bb32d 100644 --- a/src/DFSRndNumGenerator.cpp +++ b/src/DFSRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DFSRndNumGenerator.h b/src/DFSRndNumGenerator.h index 23cd85d94..533f333c1 100644 --- a/src/DFSRndNumGenerator.h +++ b/src/DFSRndNumGenerator.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DefaultOutputMgr.cpp b/src/DefaultOutputMgr.cpp index a30df37e3..c0a364fca 100644 --- a/src/DefaultOutputMgr.cpp +++ b/src/DefaultOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DefaultRndNumGenerator.cpp b/src/DefaultRndNumGenerator.cpp index 44816f69d..8afad6df8 100644 --- a/src/DefaultRndNumGenerator.cpp +++ b/src/DefaultRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DeltaMonitor.cpp b/src/DeltaMonitor.cpp index 0065b69b2..ec63b67bb 100644 --- a/src/DeltaMonitor.cpp +++ b/src/DeltaMonitor.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DeltaMonitor.h b/src/DeltaMonitor.h index 792bc87a4..ad0c50e6c 100644 --- a/src/DeltaMonitor.h +++ b/src/DeltaMonitor.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DepthSpec.cpp b/src/DepthSpec.cpp index 7d2361394..108899bdc 100644 --- a/src/DepthSpec.cpp +++ b/src/DepthSpec.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/DepthSpec.h b/src/DepthSpec.h index 8c0dc5488..e7f3b4010 100644 --- a/src/DepthSpec.h +++ b/src/DepthSpec.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Effect.cpp b/src/Effect.cpp index 815e49b15..b775c71ea 100644 --- a/src/Effect.cpp +++ b/src/Effect.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Effect.h b/src/Effect.h index 4c08e8346..6fc00f631 100644 --- a/src/Effect.h +++ b/src/Effect.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Enumerator.h b/src/Enumerator.h index 7af2ecdc2..d478116d1 100644 --- a/src/Enumerator.h +++ b/src/Enumerator.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Expression.cpp b/src/Expression.cpp index 0bf2b66c2..5a707c80a 100644 --- a/src/Expression.cpp +++ b/src/Expression.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Expression.h b/src/Expression.h index 175d90625..64d93438b 100644 --- a/src/Expression.h +++ b/src/Expression.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionAssign.cpp b/src/ExpressionAssign.cpp index e361ddedf..73f925dfc 100644 --- a/src/ExpressionAssign.cpp +++ b/src/ExpressionAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionAssign.h b/src/ExpressionAssign.h index 913580e97..4312caef7 100644 --- a/src/ExpressionAssign.h +++ b/src/ExpressionAssign.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionComma.cpp b/src/ExpressionComma.cpp index a8f28d9eb..479ec52d9 100644 --- a/src/ExpressionComma.cpp +++ b/src/ExpressionComma.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionComma.h b/src/ExpressionComma.h index 1567f3bc4..13f206b1e 100644 --- a/src/ExpressionComma.h +++ b/src/ExpressionComma.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionFuncall.cpp b/src/ExpressionFuncall.cpp index 2021c7142..66be0ccf4 100644 --- a/src/ExpressionFuncall.cpp +++ b/src/ExpressionFuncall.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionFuncall.h b/src/ExpressionFuncall.h index 7c51c4cc8..800afbccf 100644 --- a/src/ExpressionFuncall.h +++ b/src/ExpressionFuncall.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExpressionVariable.cpp b/src/ExpressionVariable.cpp index 61ea94d30..01dabcc19 100644 --- a/src/ExpressionVariable.cpp +++ b/src/ExpressionVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ExtensionMgr.cpp b/src/ExtensionMgr.cpp index fa36b7f83..a337e484a 100644 --- a/src/ExtensionMgr.cpp +++ b/src/ExtensionMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Fact.cpp b/src/Fact.cpp index 417b17f5a..c2f38c294 100644 --- a/src/Fact.cpp +++ b/src/Fact.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Fact.h b/src/Fact.h index 891a29b52..cdad85d3d 100644 --- a/src/Fact.h +++ b/src/Fact.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactMgr.cpp b/src/FactMgr.cpp index d5a4ed7f6..4e87714bd 100644 --- a/src/FactMgr.cpp +++ b/src/FactMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactMgr.h b/src/FactMgr.h index dc922d9e5..3155c4481 100644 --- a/src/FactMgr.h +++ b/src/FactMgr.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactPointTo.cpp b/src/FactPointTo.cpp index 01b183c88..35d4c4081 100644 --- a/src/FactPointTo.cpp +++ b/src/FactPointTo.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactPointTo.h b/src/FactPointTo.h index 3a919b0ae..e986767a7 100644 --- a/src/FactPointTo.h +++ b/src/FactPointTo.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactUnion.cpp b/src/FactUnion.cpp index 6ffc3683a..70d78f919 100644 --- a/src/FactUnion.cpp +++ b/src/FactUnion.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FactUnion.h b/src/FactUnion.h index 3f5672d40..34b497bf3 100644 --- a/src/FactUnion.h +++ b/src/FactUnion.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Filter.h b/src/Filter.h index 4b5595891..0482d8b48 100644 --- a/src/Filter.h +++ b/src/Filter.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Function.cpp b/src/Function.cpp index 23232975c..f80a49925 100644 --- a/src/Function.cpp +++ b/src/Function.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Function.h b/src/Function.h index 06dcb278d..837820f09 100644 --- a/src/Function.h +++ b/src/Function.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocation.cpp b/src/FunctionInvocation.cpp index 3c469ed9e..c47668c58 100644 --- a/src/FunctionInvocation.cpp +++ b/src/FunctionInvocation.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocation.h b/src/FunctionInvocation.h index 5643912d1..a672a46cc 100644 --- a/src/FunctionInvocation.h +++ b/src/FunctionInvocation.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocationBinary.cpp b/src/FunctionInvocationBinary.cpp index 3b3f100ef..17f680c3e 100644 --- a/src/FunctionInvocationBinary.cpp +++ b/src/FunctionInvocationBinary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocationBinary.h b/src/FunctionInvocationBinary.h index c64ba2113..4c6ddfb5a 100644 --- a/src/FunctionInvocationBinary.h +++ b/src/FunctionInvocationBinary.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocationUnary.cpp b/src/FunctionInvocationUnary.cpp index c5cd67a63..9230cfd52 100644 --- a/src/FunctionInvocationUnary.cpp +++ b/src/FunctionInvocationUnary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2009, 2010, 2011, 2014, 2017 The University of Utah +// Copyright (c) 2009, 2010, 2011, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocationUnary.h b/src/FunctionInvocationUnary.h index 86570e02c..3abbe6fd0 100644 --- a/src/FunctionInvocationUnary.h +++ b/src/FunctionInvocationUnary.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2009, 2010, 2011 The University of Utah +// Copyright (c) 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/FunctionInvocationUser.cpp b/src/FunctionInvocationUser.cpp index 6c2df615c..d52b8bd3e 100644 --- a/src/FunctionInvocationUser.cpp +++ b/src/FunctionInvocationUser.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/KleeExtension.cpp b/src/KleeExtension.cpp index 3d5239522..205b1a14e 100644 --- a/src/KleeExtension.cpp +++ b/src/KleeExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Lhs.cpp b/src/Lhs.cpp index dde395807..c0085f1b6 100644 --- a/src/Lhs.cpp +++ b/src/Lhs.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Lhs.h b/src/Lhs.h index ad1e494f2..de0ade575 100644 --- a/src/Lhs.h +++ b/src/Lhs.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/LinearSequence.cpp b/src/LinearSequence.cpp index 2c4e538b7..03306a0e0 100644 --- a/src/LinearSequence.cpp +++ b/src/LinearSequence.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/MspFilters.h b/src/MspFilters.h index 3605693b8..94acfd469 100644 --- a/src/MspFilters.h +++ b/src/MspFilters.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/OutputMgr.cpp b/src/OutputMgr.cpp index ef8f3a19a..5a2c5a7e8 100644 --- a/src/OutputMgr.cpp +++ b/src/OutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/PartialExpander.cpp b/src/PartialExpander.cpp index 0fa8446f5..5d7799d16 100644 --- a/src/PartialExpander.cpp +++ b/src/PartialExpander.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/PartialExpander.h b/src/PartialExpander.h index e11d6f6e2..2523c1b09 100644 --- a/src/PartialExpander.h +++ b/src/PartialExpander.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Probabilities.cpp b/src/Probabilities.cpp index 98c066df4..beea8416a 100644 --- a/src/Probabilities.cpp +++ b/src/Probabilities.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Probabilities.h b/src/Probabilities.h index 244c2a256..be483c521 100644 --- a/src/Probabilities.h +++ b/src/Probabilities.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ProbabilityTable.h b/src/ProbabilityTable.h index 9f13f6e59..76137013d 100644 --- a/src/ProbabilityTable.h +++ b/src/ProbabilityTable.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/RandomNumber.h b/src/RandomNumber.h index 26869da04..6263a67ae 100644 --- a/src/RandomNumber.h +++ b/src/RandomNumber.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp index 19e27d4ff..87d710379 100644 --- a/src/RandomProgramGenerator.cpp +++ b/src/RandomProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Reducer.h b/src/Reducer.h index 1c90bb23f..e96462471 100644 --- a/src/Reducer.h +++ b/src/Reducer.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ReducerOutputMgr.cpp b/src/ReducerOutputMgr.cpp index 0a22594c0..f76017bce 100644 --- a/src/ReducerOutputMgr.cpp +++ b/src/ReducerOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/ReducerOutputMgr.h b/src/ReducerOutputMgr.h index 94807aec1..516e8e66c 100644 --- a/src/ReducerOutputMgr.h +++ b/src/ReducerOutputMgr.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SafeOpFlags.cpp b/src/SafeOpFlags.cpp index ff3b5cb08..5f5111f4e 100644 --- a/src/SafeOpFlags.cpp +++ b/src/SafeOpFlags.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SafeOpFlags.h b/src/SafeOpFlags.h index 56e77bbaa..3c02d2ee7 100644 --- a/src/SafeOpFlags.h +++ b/src/SafeOpFlags.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SequenceLineParser.h b/src/SequenceLineParser.h index 2c740863d..39829a7ed 100644 --- a/src/SequenceLineParser.h +++ b/src/SequenceLineParser.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SimpleDeltaRndNumGenerator.cpp b/src/SimpleDeltaRndNumGenerator.cpp index 6fe3a6eac..07662a892 100644 --- a/src/SimpleDeltaRndNumGenerator.cpp +++ b/src/SimpleDeltaRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SimpleDeltaSequence.cpp b/src/SimpleDeltaSequence.cpp index 2700afcc1..2194d803c 100644 --- a/src/SimpleDeltaSequence.cpp +++ b/src/SimpleDeltaSequence.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/SplatExtension.cpp b/src/SplatExtension.cpp index d31468ded..96c795358 100644 --- a/src/SplatExtension.cpp +++ b/src/SplatExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Statement.cpp b/src/Statement.cpp index fdad52351..3afa456ef 100644 --- a/src/Statement.cpp +++ b/src/Statement.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Statement.h b/src/Statement.h index 11d3ae938..c5a812aa0 100644 --- a/src/Statement.h +++ b/src/Statement.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementArrayOp.cpp b/src/StatementArrayOp.cpp index f080a9451..716f591e0 100644 --- a/src/StatementArrayOp.cpp +++ b/src/StatementArrayOp.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementArrayOp.h b/src/StatementArrayOp.h index 6b3d5c857..5e7a7a016 100644 --- a/src/StatementArrayOp.h +++ b/src/StatementArrayOp.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementAssign.cpp b/src/StatementAssign.cpp index 318e37495..cdbe4367a 100644 --- a/src/StatementAssign.cpp +++ b/src/StatementAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementAssign.h b/src/StatementAssign.h index 07e80f7ed..bf6ddc8a5 100644 --- a/src/StatementAssign.h +++ b/src/StatementAssign.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2014, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementBreak.cpp b/src/StatementBreak.cpp index 55f1681af..490cda5cc 100644 --- a/src/StatementBreak.cpp +++ b/src/StatementBreak.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementBreak.h b/src/StatementBreak.h index d508e9d16..505f11e04 100644 --- a/src/StatementBreak.h +++ b/src/StatementBreak.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementContinue.cpp b/src/StatementContinue.cpp index 5387fe05d..b7d4f71c8 100644 --- a/src/StatementContinue.cpp +++ b/src/StatementContinue.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementContinue.h b/src/StatementContinue.h index c6824a417..bb610dd83 100644 --- a/src/StatementContinue.h +++ b/src/StatementContinue.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementExpr.cpp b/src/StatementExpr.cpp index 7519536c2..94c7e1ee7 100644 --- a/src/StatementExpr.cpp +++ b/src/StatementExpr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementExpr.h b/src/StatementExpr.h index da7a4d99d..291e41cbc 100644 --- a/src/StatementExpr.h +++ b/src/StatementExpr.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementFor.cpp b/src/StatementFor.cpp index bd8f94185..8087bb7d1 100644 --- a/src/StatementFor.cpp +++ b/src/StatementFor.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementFor.h b/src/StatementFor.h index f7ba1ebd4..74183d3c6 100644 --- a/src/StatementFor.h +++ b/src/StatementFor.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementGoto.cpp b/src/StatementGoto.cpp index 89bed21f8..73073a4f8 100644 --- a/src/StatementGoto.cpp +++ b/src/StatementGoto.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementGoto.h b/src/StatementGoto.h index 8f483e7ca..4a94e439e 100644 --- a/src/StatementGoto.h +++ b/src/StatementGoto.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementIf.cpp b/src/StatementIf.cpp index f976dd6f2..9fdab120a 100644 --- a/src/StatementIf.cpp +++ b/src/StatementIf.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementReturn.cpp b/src/StatementReturn.cpp index d8c1e367e..91d2d72f6 100644 --- a/src/StatementReturn.cpp +++ b/src/StatementReturn.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StatementReturn.h b/src/StatementReturn.h index 022c38686..8b2f5e8c0 100644 --- a/src/StatementReturn.h +++ b/src/StatementReturn.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StringUtils.cpp b/src/StringUtils.cpp index c31e61855..201c49363 100644 --- a/src/StringUtils.cpp +++ b/src/StringUtils.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/StringUtils.h b/src/StringUtils.h index 1f161dab5..66563a745 100644 --- a/src/StringUtils.h +++ b/src/StringUtils.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Type.cpp b/src/Type.cpp index c7754de08..73f7858ad 100644 --- a/src/Type.cpp +++ b/src/Type.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Type.h b/src/Type.h index 32ddaa741..720f0b3ab 100644 --- a/src/Type.h +++ b/src/Type.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2015, 2016 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Variable.cpp b/src/Variable.cpp index e222be3e1..da6c76433 100644 --- a/src/Variable.cpp +++ b/src/Variable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/Variable.h b/src/Variable.h index b30541b60..74b294f57 100644 --- a/src/Variable.h +++ b/src/Variable.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/VariableSelector.cpp b/src/VariableSelector.cpp index 32e62cee8..02ef82ab1 100644 --- a/src/VariableSelector.cpp +++ b/src/VariableSelector.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/VariableSelector.h b/src/VariableSelector.h index 761762733..338e32546 100644 --- a/src/VariableSelector.h +++ b/src/VariableSelector.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/VectorFilter.cpp b/src/VectorFilter.cpp index a8bee0870..c09c4212f 100644 --- a/src/VectorFilter.cpp +++ b/src/VectorFilter.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/VectorFilter.h b/src/VectorFilter.h index 59fcb0661..24670ac0f 100644 --- a/src/VectorFilter.h +++ b/src/VectorFilter.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/platform.cpp b/src/platform.cpp index 0f711d303..ccd1fa213 100644 --- a/src/platform.cpp +++ b/src/platform.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/random.cpp b/src/random.cpp index 59eb8be8a..f7af00037 100644 --- a/src/random.cpp +++ b/src/random.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/util.cpp b/src/util.cpp index f4b128334..e18bc456a 100644 --- a/src/util.cpp +++ b/src/util.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/util.h b/src/util.h index 284c6e0b6..a56010857 100644 --- a/src/util.h +++ b/src/util.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2015 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs.