Merge branch 'release-3.20' into src. Close #57.

home.md

@@ -1,7 +1,7 @@
 ## News
-**Release 3.19 -- 2024-03-07**
+**Release 3.20 -- 2024-07-07**
 
-We are pleased to announce the release of Copilot 3.19, a stream-based DSL
+We are pleased to announce the release of Copilot 3.20, 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
@@ -10,21 +10,22 @@ MTL), clocks and voting algorithms.
 Among others, Copilot is being used at the Safety Critical Avionics Systems
 Branch of NASA Langley Research Center for monitoring test flights of drones.
 
-This release drastically increases the test coverage of `copilot-core`. We also
-remove deprecated functions from `copilot-core` that had been renamed in prior
-versions to comply with our style guide.
+This release introduces support to upload the values of fields in structs, and
+add support for GHC 9.8. We also remove deprecated functions from
+`copilot-language` that had been renamed in prior versions for compatibility
+with newer versions of GHC.
 
 Details are available
-[here](https://github.com/Copilot-Language/copilot/milestone/25?closed=1),
+[here](https://github.com/Copilot-Language/copilot/milestone/27?closed=1),
 and
-[here](https://github.com/Copilot-Language/copilot/releases/tag/v3.19).
-
-Current emphasis is on 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. We also plan to add
-extensions to the language to be able to updates arrays and structs. Users are
-encouraged to participate by opening issues and asking questions via our
-[github repo](https://github.com/copilot-language/copilot).
+[here](https://github.com/Copilot-Language/copilot/releases/tag/v3.20).
+
+Current emphasis is on introducing support to update the values of elements in
+arrays, improving the codebase in test coverage, removing unnecessary
+dependencies, hiding internal definitions, and formatting the code to meet our
+new coding standards. We also plan to add extensions to be able to visualize
+streams. Users are encouraged to participate by opening issues and asking
+questions via our [github repo](https://github.com/copilot-language/copilot).
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found