From b80708ea661f8de32eb2ce307e154421d6eb8662 Mon Sep 17 00:00:00 2001 From: Eric Eide Date: Wed, 31 Dec 2014 12:01:20 -0700 Subject: [PATCH] Update copyright years. --- COPYING | 2 +- driver/test1_wrong_code.sh | 2 +- runtime/csmith.h | 2 +- runtime/csmith_minimal.h | 2 +- runtime/custom_limits.h | 4 ++++ runtime/platform_avr.h | 2 +- runtime/platform_msp430.h | 2 +- runtime/random_inc.h | 2 +- runtime/safe_math.m4 | 2 +- runtime/safe_math_macros.m4 | 2 +- runtime/safe_math_macros_notmp.m4 | 2 +- scripts/driver0.sh | 31 +++++++++++++++++++++++++++++++ src/ArrayVariable.cpp | 2 +- src/ArrayVariable.h | 2 +- src/Block.cpp | 2 +- src/Block.h | 2 +- src/Bookkeeper.cpp | 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/DefaultOutputMgr.cpp | 2 +- src/Effect.cpp | 2 +- src/Effect.h | 2 +- src/Expression.cpp | 2 +- src/Expression.h | 2 +- src/ExpressionAssign.cpp | 2 +- src/ExpressionComma.cpp | 2 +- src/ExpressionFuncall.cpp | 2 +- src/ExpressionVariable.cpp | 2 +- src/FactPointTo.cpp | 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/FunctionInvocationUser.cpp | 2 +- src/Lhs.cpp | 2 +- src/OutputMgr.cpp | 2 +- src/OutputMgr.h | 2 +- src/Probabilities.cpp | 2 +- src/Probabilities.h | 2 +- src/RandomProgramGenerator.cpp | 2 +- src/ReducerOutputMgr.cpp | 2 +- src/SafeOpFlags.cpp | 2 +- src/SafeOpFlags.h | 2 +- src/Statement.cpp | 2 +- src/StatementArrayOp.cpp | 2 +- src/StatementAssign.cpp | 2 +- src/StatementAssign.h | 2 +- src/StatementFor.cpp | 2 +- src/StatementReturn.cpp | 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 +- tamer/gonzalez.c | 30 ++++++++++++++++++++++++++++++ tamer/lev.c | 30 ++++++++++++++++++++++++++++++ tamer/tamer.pl | 27 +++++++++++++++++++++++++++ 66 files changed, 183 insertions(+), 61 deletions(-) diff --git a/COPYING b/COPYING index 7edb5e2f0..937b8c4cd 100644 --- a/COPYING +++ b/COPYING @@ -1,6 +1,6 @@ -*- mode: Text -*- -Csmith is Copyright (c) 2007-2011 The University of Utah. +Csmith is Copyright (c) 2007-2014 The University of Utah. Csmith is distributed under the following license, which is often called the "BSD License." diff --git a/driver/test1_wrong_code.sh b/driver/test1_wrong_code.sh index 960b0e252..f75009313 100755 --- a/driver/test1_wrong_code.sh +++ b/driver/test1_wrong_code.sh @@ -1,6 +1,6 @@ #!/bin/bash ## -## Copyright (c) 2012 The University of Utah +## Copyright (c) 2012, 2013, 2014 The University of Utah ## All rights reserved. ## ## This file is distributed under the University of Illinois Open Source diff --git a/runtime/csmith.h b/runtime/csmith.h index 37065afe5..6ed44ff16 100644 --- a/runtime/csmith.h +++ b/runtime/csmith.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007-2010 The University of Utah + * Copyright (c) 2007-2011, 2013, 2014 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/csmith_minimal.h b/runtime/csmith_minimal.h index 648822173..740299629 100644 --- a/runtime/csmith_minimal.h +++ b/runtime/csmith_minimal.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007-2011, 2013 The University of Utah + * Copyright (c) 2007-2011, 2013, 2014 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/custom_limits.h b/runtime/custom_limits.h index d3793d43c..038bce42e 100644 --- a/runtime/custom_limits.h +++ b/runtime/custom_limits.h @@ -1,3 +1,7 @@ +/* -*- mode: C -*- + * + * Copyright (c) 2014 The University of Utah + */ /* Copyright (C) 1997,1998,1999,2000,2001,2006 Free Software Foundation, Inc. This file is part of the GNU C Library. diff --git a/runtime/platform_avr.h b/runtime/platform_avr.h index a03f78966..e44b4ed59 100644 --- a/runtime/platform_avr.h +++ b/runtime/platform_avr.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007, 2008 The University of Utah + * Copyright (c) 2007, 2008, 2011 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/platform_msp430.h b/runtime/platform_msp430.h index 67da85d63..5b1811455 100644 --- a/runtime/platform_msp430.h +++ b/runtime/platform_msp430.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007, 2008 The University of Utah + * Copyright (c) 2007, 2008, 2011 The University of Utah * All rights reserved. * * This file is part of `csmith', a random generator of C programs. diff --git a/runtime/random_inc.h b/runtime/random_inc.h index 7559cbd7e..d5ef84781 100644 --- a/runtime/random_inc.h +++ b/runtime/random_inc.h @@ -1,6 +1,6 @@ /* -*- mode: C -*- * - * Copyright (c) 2007-2010 The University of Utah + * Copyright (c) 2007-2010, 2011 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 843678dba..ecebdd944 100644 --- a/runtime/safe_math.m4 +++ b/runtime/safe_math.m4 @@ -1,6 +1,6 @@ dnl -*- mode: m4 -*- dnl -dnl Copyright (c) 2008, 2009 The University of Utah +dnl Copyright (c) 2008, 2009, 2013, 2014 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/runtime/safe_math_macros.m4 b/runtime/safe_math_macros.m4 index ce1dff017..9bb20f81f 100644 --- a/runtime/safe_math_macros.m4 +++ b/runtime/safe_math_macros.m4 @@ -1,6 +1,6 @@ dnl -*- mode: m4 -*- dnl -dnl Copyright (c) 2008, 2009 The University of Utah +dnl Copyright (c) 2008, 2009, 2013 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/runtime/safe_math_macros_notmp.m4 b/runtime/safe_math_macros_notmp.m4 index 6418d5e9c..709487069 100644 --- a/runtime/safe_math_macros_notmp.m4 +++ b/runtime/safe_math_macros_notmp.m4 @@ -1,6 +1,6 @@ dnl -*- mode: m4 -*- dnl -dnl Copyright (c) 2008, 2009 The University of Utah +dnl Copyright (c) 2008, 2009, 2013 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/scripts/driver0.sh b/scripts/driver0.sh index 099ca775e..08745f602 100755 --- a/scripts/driver0.sh +++ b/scripts/driver0.sh @@ -1,3 +1,34 @@ +#!/bin/sh +## +## Copyright (c) 2012 The University of Utah +## All rights reserved. +## +## This file is part of `csmith', a random generator of C programs. +## +## Redistribution and use in source and binary forms, with or without +## modification, are permitted provided that the following conditions are met: +## +## * Redistributions of source code must retain the above copyright notice, +## this list of conditions and the following disclaimer. +## +## * Redistributions in binary form must reproduce the above copyright +## notice, this list of conditions and the following disclaimer in the +## documentation and/or other materials provided with the distribution. +## +## THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +## AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +## IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +## ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE +## LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +## CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +## SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +## INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +## CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +## ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +## POSSIBILITY OF SUCH DAMAGE. + +############################################################################### + set -e while [ true ] do diff --git a/src/ArrayVariable.cpp b/src/ArrayVariable.cpp index a4f507c6c..3bf440ee5 100644 --- a/src/ArrayVariable.cpp +++ b/src/ArrayVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 01c80d2f0..6e394bb95 100644 --- a/src/ArrayVariable.h +++ b/src/ArrayVariable.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, 2013 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 6f423f111..2c26393d3 100644 --- a/src/Block.cpp +++ b/src/Block.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 4e1119d6b..19c7ea662 100644 --- a/src/Block.h +++ b/src/Block.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 c67208cc8..e52123c64 100644 --- a/src/Bookkeeper.cpp +++ b/src/Bookkeeper.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 5ab07beef..1a82b53f3 100644 --- a/src/CGContext.cpp +++ b/src/CGContext.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 9d117cbd0..564e76714 100644 --- a/src/CGContext.h +++ b/src/CGContext.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 56720a0ca..069d83286 100644 --- a/src/CGOptions.cpp +++ b/src/CGOptions.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014 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 0328ac2fd..439176951 100644 --- a/src/CGOptions.h +++ b/src/CGOptions.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2012, 2013, 2014 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 5f631dc74..32d56ee2d 100644 --- a/src/CVQualifiers.cpp +++ b/src/CVQualifiers.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 8d52cca1f..32d6c9d9d 100644 --- a/src/CVQualifiers.h +++ b/src/CVQualifiers.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2013 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 c67f0f7e9..80d683437 100644 --- a/src/Constant.cpp +++ b/src/Constant.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 aaad921a6..e41968cb0 100644 --- a/src/DefaultOutputMgr.cpp +++ b/src/DefaultOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 6d56d7fd0..6653dd825 100644 --- a/src/Effect.cpp +++ b/src/Effect.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 47f2bc0f0..09da700be 100644 --- a/src/Effect.h +++ b/src/Effect.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 c33bae7fe..a8803e1ad 100644 --- a/src/Expression.cpp +++ b/src/Expression.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 06a2a2b88..be74aa2f0 100644 --- a/src/Expression.h +++ b/src/Expression.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 5639e48b9..166e952ec 100644 --- a/src/ExpressionAssign.cpp +++ b/src/ExpressionAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 d790a0b02..985a63bc9 100644 --- a/src/ExpressionComma.cpp +++ b/src/ExpressionComma.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 3a5cc2524..fdbd2e3df 100644 --- a/src/ExpressionFuncall.cpp +++ b/src/ExpressionFuncall.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 df45fc1c2..b734eaa48 100644 --- a/src/ExpressionVariable.cpp +++ b/src/ExpressionVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 890176bc1..c67c68a0a 100644 --- a/src/FactPointTo.cpp +++ b/src/FactPointTo.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 958cfdee2..3751adb0f 100644 --- a/src/Function.cpp +++ b/src/Function.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 8a314fe35..4fb9a8d31 100644 --- a/src/Function.h +++ b/src/Function.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 639784dbe..312b609ec 100644 --- a/src/FunctionInvocation.cpp +++ b/src/FunctionInvocation.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 cd272c59a..3270bd317 100644 --- a/src/FunctionInvocation.h +++ b/src/FunctionInvocation.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, 2014 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 2c1617e50..979d95c29 100644 --- a/src/FunctionInvocationBinary.cpp +++ b/src/FunctionInvocationBinary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 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 e4c60499f..a0a96080d 100644 --- a/src/FunctionInvocationBinary.h +++ b/src/FunctionInvocationBinary.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, 2014 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 e306ddfaf..bdb9c3ec9 100644 --- a/src/FunctionInvocationUnary.cpp +++ b/src/FunctionInvocationUnary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2009, 2010, 2011 The University of Utah +// Copyright (c) 2009, 2010, 2011, 2014 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 53397f2b6..828d87b7e 100644 --- a/src/FunctionInvocationUser.cpp +++ b/src/FunctionInvocationUser.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 191d83373..be9cd81c8 100644 --- a/src/Lhs.cpp +++ b/src/Lhs.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 a68d81db4..9c2371e3d 100644 --- a/src/OutputMgr.cpp +++ b/src/OutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/src/OutputMgr.h b/src/OutputMgr.h index 5a4e924a6..8f2158cf3 100644 --- a/src/OutputMgr.h +++ b/src/OutputMgr.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, 2013 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 f2fa2cfab..dbd03fa09 100644 --- a/src/Probabilities.cpp +++ b/src/Probabilities.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 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 1970c6faa..a6c1d1f9a 100644 --- a/src/Probabilities.h +++ b/src/Probabilities.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, 2013, 2014 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 1701c30d3..d185a065b 100644 --- a/src/RandomProgramGenerator.cpp +++ b/src/RandomProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 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 97b3803d0..f447806bc 100644 --- a/src/ReducerOutputMgr.cpp +++ b/src/ReducerOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 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 9dfe682fe..f529bab2d 100644 --- a/src/SafeOpFlags.cpp +++ b/src/SafeOpFlags.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 8cb0250a9..00edbe7d5 100644 --- a/src/SafeOpFlags.h +++ b/src/SafeOpFlags.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, 2014 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 3c1a06045..9b535dbcc 100644 --- a/src/Statement.cpp +++ b/src/Statement.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 4978b0b97..a327efeef 100644 --- a/src/StatementArrayOp.cpp +++ b/src/StatementArrayOp.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 a2761e71f..b763bb47e 100644 --- a/src/StatementAssign.cpp +++ b/src/StatementAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 b0b94a384..38e4e6657 100644 --- a/src/StatementAssign.h +++ b/src/StatementAssign.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2014 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 21c85d8d9..e55ff5245 100644 --- a/src/StatementFor.cpp +++ b/src/StatementFor.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 6397f7ada..44ed637ba 100644 --- a/src/StatementReturn.cpp +++ b/src/StatementReturn.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013 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 fd12c2ba1..f0a9023c1 100644 --- a/src/Type.cpp +++ b/src/Type.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 8a1da41e5..cdb763130 100644 --- a/src/Type.h +++ b/src/Type.h @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 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 e3c400b93..6577e1320 100644 --- a/src/Variable.cpp +++ b/src/Variable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 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 93f61cc58..8b40a827f 100644 --- a/src/Variable.h +++ b/src/Variable.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, 2013 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 bfc775f2c..9ad14e771 100644 --- a/src/VariableSelector.cpp +++ b/src/VariableSelector.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 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 b371bc92b..e17e331ba 100644 --- a/src/VariableSelector.h +++ b/src/VariableSelector.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, 2013 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. diff --git a/tamer/gonzalez.c b/tamer/gonzalez.c index 974794244..02cde7dc7 100644 --- a/tamer/gonzalez.c +++ b/tamer/gonzalez.c @@ -1,3 +1,33 @@ +/* -*- mode: C -*- + * + * Copyright (c) 2013 The University of Utah + * All rights reserved. + * + * This file is part of `csmith', a random generator of C programs. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * * Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + #include #include #include diff --git a/tamer/lev.c b/tamer/lev.c index 68f9cf33d..446e7914c 100644 --- a/tamer/lev.c +++ b/tamer/lev.c @@ -1,3 +1,33 @@ +/* -*- mode: C -*- + * + * Copyright (c) 2013 The University of Utah + * All rights reserved. + * + * This file is part of `csmith', a random generator of C programs. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * * Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + #include #include #include diff --git a/tamer/tamer.pl b/tamer/tamer.pl index 896c21b7e..d96a6b681 100755 --- a/tamer/tamer.pl +++ b/tamer/tamer.pl @@ -1,4 +1,31 @@ #!/usr/bin/perl -w +## +## Copyright (c) 2013 The University of Utah +## All rights reserved. +## +## This file is part of `csmith', a random generator of C programs. +## +## Redistribution and use in source and binary forms, with or without +## modification, are permitted provided that the following conditions are met: +## +## * Redistributions of source code must retain the above copyright notice, +## this list of conditions and the following disclaimer. +## +## * Redistributions in binary form must reproduce the above copyright +## notice, this list of conditions and the following disclaimer in the +## documentation and/or other materials provided with the distribution. +## +## THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +## AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +## IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +## ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE +## LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +## CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +## SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +## INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +## CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +## ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +## POSSIBILITY OF SUCH DAMAGE. use strict; use Text::LevenshteinXS qw(distance);