Merge branch 'release-3.17' into src. Close #52.

Author: ivanperez-keera

home.md

@@ -1,7 +1,7 @@
 ## News
-**Release 3.16 -- 2023-07-07**
+**Release 3.17 -- 2023-11-07**
 
-We are pleased to announce the release of Copilot 3.16, a stream-based DSL for
+We are pleased to announce the release of Copilot 3.17, 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,22 +10,22 @@ 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 release introduces two important changes. The first is a battery of tests
-for the C99 backend. This contribution is a key component towards meeting the
-requirements of NASA's Procedural Requirements for Research and Technology
-Software. The second is a breaking change in copilot-language: a type has moved
-modules.
+This release introduces compatibility with what4 versions up to 1.5.1, and
+replaces several functions in `copilot-core`. The second change is a breaking
+change: the functions replaced have been deprecated and new alternatives
+introduced instead.
 
 Details are available
-[here](https://github.com/Copilot-Language/copilot/milestone/20?closed=1)
+[here](https://github.com/Copilot-Language/copilot/milestone/22?closed=1)
 and
-[here](https://github.com/Copilot-Language/copilot/releases/tag/v3.16).
+[here](https://github.com/Copilot-Language/copilot/releases/tag/v3.17).
 
 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. Users are encouraged to
-participate by opening issues and asking questions via our [github
-repo](https://github.com/copilot-language/copilot).
+formatting the code to meet our new coding standards. Upcoming releases will
+focus on introducing tests for `copilot-theorem` and `copilot-libraries`. 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