Skip to content
This repository was archived by the owner on Feb 1, 2020. It is now read-only.

Commit f73555d

Browse files
coscos
committed
copyright
1 parent 69a7b9e commit f73555d

File tree

24 files changed

+24
-24
lines changed

24 files changed

+24
-24
lines changed

‎LICENSE.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!-- Copyright (c) 2010-2015 K Team. All Rights Reserved. -->
1+
<!-- Copyright (c) 2010-2016 K Team. All Rights Reserved. -->
22
==============================================================================
33
The K Release License
44
==============================================================================

‎k-distribution/INSTALL.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!-- Copyright (c) 2012-2015 K Team. All Rights Reserved. -->
1+
<!-- Copyright (c) 2012-2016 K Team. All Rights Reserved. -->
22
Here are instructions for installing K from the release zip/tgz archive.
33

44
1. Prerequisites:

‎k-distribution/README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!-- Copyright (c) 2010-2015 K Team. All Rights Reserved. -->
1+
<!-- Copyright (c) 2010-2016 K Team. All Rights Reserved. -->
22
K tool, version 3.6
33
-------------------
44

‎k-distribution/samples-kore/kernelc/tests/avl_tree/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test definition="kernelc.k"

‎k-distribution/samples-kore/kernelc/tests/binary_search_tree/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test definition="kernelc.k"

‎k-distribution/samples-kore/kernelc/tests/cd2d/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples-kore/kernelc/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<include file="execution/config.xml" />

‎k-distribution/samples-kore/kernelc/tests/execution/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test definition="kernelc.k"

‎k-distribution/samples-kore/kernelc/tests/list/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples-kore/kernelc/tests/simple/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples-kore/kernelc/tests/sorting/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test definition="kernelc.k"

‎k-distribution/samples-kore/kernelc/tests/tree/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples/agent/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2013-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2013-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples/kernelc/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/samples/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2013-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2013-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<!-- QUINE -->

‎k-distribution/samples/wcet/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33
<tests>
44
<!-- WCET -->
55
<test

‎k-distribution/tests/newparser/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
2-
<!-- Copyright (c) 2012-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2012-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test

‎k-distribution/tests/regression/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55

‎k-distribution/tests/regression/external/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33
<tests>
44
<test
55
definition="external.k"

‎k-distribution/tests/regression/float/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<test definition="test.k" programs="." results="." extension="test">

‎k-distribution/tests/regression/java-rewrite-engine/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<!-- begin Java Rewrite Engine tests -->

‎k-distribution/tests/regression/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2014-2016 K Team. All Rights Reserved. -->
33

44
<tests>
55
<!-- TODO(yilongli): fix tests 11 12 13 25 26 34-->

‎k-distribution/tutorial/1_k/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2013-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2013-2016 K Team. All Rights Reserved. -->
33

44
<!-- Expected to be called from k/1_k, with the command
55

‎k-distribution/tutorial/2_languages/2_kool/2_typed/2_static/tests/config.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="UTF-8"?>
2-
<!-- Copyright (c) 2013-2015 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2013-2016 K Team. All Rights Reserved. -->
33
<tests>
44

55
<test

0 commit comments

Comments
 (0)