Skip to content

Commit

Permalink
update copyright headers
Browse files Browse the repository at this point in the history
  • Loading branch information
@cp526
cp526 committed Jan 11, 2019
1 parent 454c33a commit 099751e
Show file tree
Hide file tree
Showing 162 changed files with 326 additions and 326 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#=========================================================================================================#

Expand Down
4 changes: 2 additions & 2 deletions myocamlbuild.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions scripts/build_for_coq.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#=======================================================================================#

Expand Down
4 changes: 2 additions & 2 deletions scripts/copy_at.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#===============================================================================#

Expand Down
4 changes: 2 additions & 2 deletions scripts/demo_elf.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#===============================================================================#

Expand Down
4 changes: 2 additions & 2 deletions scripts/demo_litmus.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#===============================================================================#

Expand Down
8 changes: 4 additions & 4 deletions scripts/headache-svn-log.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down Expand Up @@ -151,8 +151,8 @@ let make_header authors =
let rmem_string1 = " rmem executable model\n" in
let rmem_string2 = " =====================\n\nThis file is:\n" in
let rights_string = "All rights reserved.\n" in
let license_string = "The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt.\n" in
let contributors_string = "For author information see README.md. \n" in
let license_string = "It is part of the rmem tool, distributed under the 2-clause BSD licence in \n" in
let contributors_string = "LICENCE.txt. \n" in
Printf.sprintf "\n%s%s\n%s\n%s\n%s%s"
rmem_string1
rmem_string2
Expand Down
4 changes: 2 additions & 2 deletions scripts/highlight.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#===============================================================================#

Expand Down
4 changes: 2 additions & 2 deletions scripts/run_coverage.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#==================================================================================#

Expand Down
4 changes: 2 additions & 2 deletions scripts/serve.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
# #
# All rights reserved. #
# #
# The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. #
# For author information see README.md. #
# It is part of the rmem tool, distributed under the 2-clause BSD licence in #
# LICENCE.txt. #
# #
#===============================================================================#

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/bitwiseCompatibility.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*=======================================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/aarch64/armV8_embed.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/aarch64/armV8_embed_sequential.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/aarch64/armV8_embed_types.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/aarch64/armV8_toFromInterp.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/aarch64/machineDefISAInfoAArch64.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/mips/machineDefISAInfoMIPS.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/mips/mips_embed.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/mips/mips_embed_sequential.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/mips/mips_embed_types.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/mips/mips_toFromInterp.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/power/machineDefISAInfoPPCGen.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/power/power_embed.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
4 changes: 2 additions & 2 deletions src_concurrency_model/isa_stubs/power/power_embed_sequential.lem
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(* *)
(* All rights reserved. *)
(* *)
(* The rmem tool is distributed under the 2-clause BSD license in LICENCE.txt. *)
(* For author information see README.md. *)
(* It is part of the rmem tool, distributed under the 2-clause BSD licence in *)
(* LICENCE.txt. *)
(* *)
(*===============================================================================*)

Expand Down
Loading

0 comments on commit 099751e

Please sign in to comment.