update copyright years

scripts/check-copyrights.sh

@@ -6,8 +6,7 @@
 #
 #     check-copyrights.sh | patch -p0
 
-ROOT=$(cd $(dirname ${BASH_SOURCE[0]})/.. && pwd)
 YEAR=$(date +%Y)
-for FILE in $(find $ROOT/src -name "*.rs"); do
+for FILE in $(find src -name "*.rs"); do
 	sed -E "s/(Copyright \(c\) )[0-9]+(-[0-9]+)?/\12017-$YEAR/g" $FILE | diff -u $FILE -
 done

src/assembly/mod.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Facilities to emit a module as human-readable assembly, or to parse such
 //! assembly back into a module.

src/assembly/reader.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Temporary representation of LLHD IR after parsing.
 

src/assembly/writer.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Emitting LLHD IR assembly.
 

src/bin/llhd-check.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 #[macro_use]
 extern crate clap;

src/bin/llhd-conv/liberty.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Lexer and parser for Liberty files.
 

src/bin/llhd-conv/main.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 #[macro_use]
 extern crate clap;

src/bin/llhd-opt.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 #[macro_use]
 extern crate clap;

src/ir/cfg.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of the control flow in a `Function` or `Process`.
 //!

src/ir/dfg.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of the data flow in a `Function`, `Process`, or `Entity`.
 //!

src/ir/entity.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of LLHD processes.
 

src/ir/function.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of LLHD functions.
 

src/ir/inst.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of LLHD instructions.
 //!

src/ir/layout.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Instruction and BB ordering.
 

src/ir/mod.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of LLHD functions, processes, and entitites.
 //!

src/ir/module.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of linked LLHD units.
 //!

src/ir/prelude.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Re-exports of commonly used IR items.
 

src/ir/process.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of LLHD processes.
 

src/ir/sig.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Representation of the input and output arguments of functions, processes,
 //! and entitites.

src/ir/unit.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Common functionality of `Function`, `Process`, and `Entity`.
 

src/lib.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! The Low Level Hardware Description language. This library provides tools to
 //! create, modify, store, and load LLHD graphs.

src/opt/mod.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Optimization infrastructure.
 //!

src/opt/pass.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 use crate::ir::prelude::*;
 use crate::ir::ModUnitData;

src/pass/cf.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Constant Folding
 

src/pass/cfs.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Control Flow Simplification
 

src/pass/dce.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Dead Code Elimination
 

src/pass/deseq.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Desequentialization
 

src/pass/gcse.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Global Common Subexpression Elimination
 

src/pass/insim.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Instruction Simplification
 

src/pass/licm.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Loop Independent Code Motion
 

src/pass/mod.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Optimization and analysis passes on LLHD IR.
 //!

src/pass/proclower.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Process Lowering
 

src/pass/tcm.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Temporal Code Motion
 

src/pass/vtpp.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Var to Phi Promotion
 

src/table.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Primary and secondary tables.
 //!

src/ty.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Types of values.
 

src/util.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Various utility functions that fit nowhere else.
 

src/value/array.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Array values
 //!

src/value/int.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Integer values
 //!

src/value/mod.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Value computation
 //!

src/value/struct.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Struct values
 //!

src/value/time.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Time values
 //!

src/verifier.rs

@@ -1,4 +1,4 @@
-// Copyright (c) 2017-2019 Fabian Schuiki
+// Copyright (c) 2017-2020 Fabian Schuiki
 
 //! Verification of IR integrity.
 //!