Merge branch 'dev-readme-links'. Close #251.

ivanperez-keera · ivanperez-keera · commit 993fa945fac9 · 2021-09-16T15:12:26.000-04:00
Some links to licenses, locations in the repo, travis, etc. are
outdated.  This issue is present both in the code and in READMEs.

This branch corrects those broken links, and adjusts old links with no
current counterpart to point to the appropriate tag that contains the
resource pointed to.

[ci skip]
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2021-09-16
+        * Fix outdated/broken links. (#252)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/copilot-c99/README.md b/copilot-c99/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot-c99.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 Copilot-c99 implements a C99 backend for Copilot, producing high quality code
@@ -30,4 +30,4 @@ the Copilot website:
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/copilot-c99/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-c99/LICENSE).
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2021-09-16
+        * Fix outdated/broken links. (#252)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/copilot-core/README.md b/copilot-core/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot-core.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 The core language, which efficiently represents Copilot expressions.  The core
@@ -30,4 +30,4 @@ the Copilot website:
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/copilot-core/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-core/LICENSE).
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2021-09-16
+        * Fix outdated/broken links. (#252)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/copilot-language/README.md b/copilot-language/README.md
@@ -1,11 +1,11 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 Copilot-language contains the actual embedded domain specific language that
 Copilot provides to its users. It comes with a series of basic operators and
 functionality, typically enough for most applications. Extended functionality
 is provided by the
-[copilot-libraries](https://github.com/Copilot-Language/copilot-libraries)
+[copilot-libraries](https://github.com/Copilot-Language/copilot/tree/master/copilot-libraries)
 module.
 
 Copilot is a runtime verification framework written in Haskell. It allows the
@@ -34,4 +34,4 @@ the Copilot website:
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-language/LICENSE).
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2021-09-16
+        * Fix outdated/broken links. (#252)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/copilot-libraries/README.md b/copilot-libraries/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 User-supplied libraries for Copilot, including linear-temporal logic,
@@ -30,4 +30,4 @@ the Copilot website:
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-libraries/LICENSE).
diff --git a/copilot-libraries/src/Copilot/Library/Clocks.hs b/copilot-libraries/src/Copilot/Library/Clocks.hs
@@ -6,9 +6,9 @@
 -- This library generates new clocks based on a base period and phase.
 --
 -- = Example Usage
--- 
--- Also see @Examples/ClockExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+--
+-- Also see @examples/Clock.hs@ in the
+-- <https://github.com/Copilot-Language/copilot/blob/master/copilot/examples/ Copilot repository>.
 --
 -- @
 --     'clk' ( 'period' 3 ) ( 'phase' 1 )
diff --git a/copilot-libraries/src/Copilot/Library/LTL.hs b/copilot-libraries/src/Copilot/Library/LTL.hs
@@ -14,8 +14,8 @@
 -- holds if @p@ holds at least once every four periods (3 transitions).
 --
 -- /Interface:/ See @Examples/LTLExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
--- 
+-- <https://github.com/Copilot-Language/copilot/blob/v2.2.1/Examples Copilot repository>.
+--
 -- You can embed an LTL specification within a Copilot specification using the
 -- form:
 --
diff --git a/copilot-libraries/src/Copilot/Library/PTLTL.hs b/copilot-libraries/src/Copilot/Library/PTLTL.hs
@@ -6,7 +6,7 @@
 -- Provides past-time linear-temporal logic (ptLTL operators).
 --
 -- /Interface:/ See @Examples/PTLTLExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+-- <https://github.com/Copilot-Language/copilot/blob/v2.2.1/Examples Copilot repository>.
 --
 -- You can embed a ptLTL specification within a Copilot specification using
 -- the form:
diff --git a/copilot-libraries/src/Copilot/Library/Voting.hs b/copilot-libraries/src/Copilot/Library/Voting.hs
@@ -13,8 +13,8 @@
 --
 -- * <ftp://net9.cs.utexas.edu/pub/techreports/tr81-32.pdf Robert S. Boyer and J Strother Moore, \"MJRTY - A Fast Majority Vote Algorithm\", 1981>
 --
--- In addition, <https://github.com/leepike/copilot-discussion/blob/master/tutorial/copilot_tutorial.pdf An Introduction to Copilot> in
--- <https://github.com/leepike/copilot-discussion copilot-discussion> explains
+-- In addition, <https://copilot-language.github.io/downloads/copilot_tutorial.pdf An Introduction to Copilot> and
+-- <https://github.com/Copilot-Language/copilot-discussion copilot-discussion> explain
 -- a form of this code in section 4.
 --
 -- For instance, with four streams passed to 'majority', and the candidate stream
@@ -29,8 +29,8 @@
 -- 1            1            1            1            1            true
 -- @
 --
--- For other examples, see @Examples/VotingExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+-- For other examples, see @examples/Voting.hs@ in the
+-- <https://github.com/Copilot-Language/copilot/blob/master/copilot/examples/ Copilot repository>.
 
 {-# LANGUAGE RebindableSyntax #-}
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2021-09-16
+        * Fix outdated/broken links. (#252)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/copilot-theorem/README.md b/copilot-theorem/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot Theorem
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
 2021-09-16
+        * Fix outdated/broken links. (#252)
         * Update installation instructions in README to
 	  match new repo structure. (#248)
 
diff --git a/copilot/README.md b/copilot/README.md
@@ -1,6 +1,6 @@
 # Copilot: Stream DSL for hard real-time runtime verification
 
-[![Build Status](https://travis-ci.com/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/Copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 [![Version on Hackage](https://img.shields.io/hackage/v/copilot.svg)](https://hackage.haskell.org/package/copilot)
 
 Copilot is a runtime verification framework written in Haskell. It allows the
@@ -76,7 +76,7 @@ have trouble building/installing.
 ## Example
 Here follows a simple example of a heating system. Other examples can be found
 in the [examples
-directory](https://github.com/Copilot-Language/Copilot/tree/master/examples)
+directory](https://github.com/Copilot-Language/copilot/tree/master/copilot/examples)
 of the main repository.
 
 ```haskell
@@ -170,7 +170,7 @@ further development of Copilot.
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot/LICENSE).
 
 
 ## The Copilot Team
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -30,7 +30,7 @@ extra-source-files:
 
 source-repository head
     type:       git
-    location:   https://github.com/Copilot-Language/Copilot.git
+    location:   https://github.com/Copilot-Language/copilot.git
 
 flag examples
     description: Enable examples
