adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

riscv machine: update copyright headers for RISCV64 work

This commit is contained in:
Gerwin Klein 2018-09-05 17:22:18 +10:00
parent 7986766e95
commit 395a1eede5
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spec/machine/RISCV64/MachineOps.thy
View File

@ -1,11 +1,11 @@
(*
* Copyright 2014, General Dynamics C4 Systems
* Copyright 2018, Data61, CSIRO
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(GD_GPL)
* @TAG(DATA61_GPL)
*)
chapter "Machine Operations"

4
spec/machine/RISCV64/Platform.thy
View File

@ -1,11 +1,11 @@
(*
* Copyright 2014, General Dynamics C4 Systems
* Copyright 2018, Data61, CSIRO
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(GD_GPL)
* @TAG(DATA61_GPL)
*)
chapter "Platform Definitions"