Merge branch 'release-3.9' into src. Close #39.

Author: ivanperez-keera

home.md

@@ -1,7 +1,7 @@
 ## News
-**Release 3.8 -- 2022-01-08**
+**Release 3.9 -- 2022-01-08**
 
-We are pleased to announce the release of Copilot 3.8, a stream-based DSL for
+We are pleased to announce the release of Copilot 3.9, a stream-based DSL for
 writing and monitoring embedded C programs, with an emphasis on correctness and
 hard realtime requirements. Copilot is typically used as a high-level runtime
 verification framework, and supports temporal logic (LTL, PTLTL and MTL),
@@ -10,13 +10,19 @@ clocks and voting algorithms.
 Among others, Copilot has been used at the Safety Critical Avionics Systems
 Branch of NASA Langley Research Center for monitoring test flights of drones.
 
-This new release introduces further unit tests, removes deprecated definitions
-and modules. It also marks packages as uncurated to prevent modifications on
-the part of the Hackage maintainers.
-
-Current emphasis is on facilitating the use with other systems, and improving
-the codebase in terms of stability and test coverage. Users are encouraged to
-participate by opening issues and asking questions via our [github
+This new release fixes multiple bugs, removes deprecated elements, hides
+internal parts of the implementation from the public API, implements part of
+our new coding standard, and adds support for GHC 9. As part of this new
+release, we have also put in place a new software engineering process designed
+to meet the requirements to obtain NASA's Class D software classification.
+Details are available
+[here](https://github.com/Copilot-Language/copilot/milestone/13?closed=1).
+
+Current emphasis is on facilitating the use with other systems, improving the
+codebase in terms of stability and test coverage, removing unnecessary
+dependencies, hiding internal definitions, and formatting the code to meet our
+new coding standards. Users are encouraged to participate by opening issues and
+asking questions via our [github
 repo](https://github.com/copilot-language/copilot).
 
 ## Licence