Merge branch 'release-3.7' into src. Close #37.

Author: ivanperez-keera

home.md

@@ -1,7 +1,7 @@
 ## News
-**Release 3.6 -- 2021-11-07**
+**Release 3.7 -- 2022-01-07**
 
-We are pleased to announce the release of Copilot 3.6, a stream-based DSL for
+We are pleased to announce the release of Copilot 3.7, 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,12 +10,8 @@ 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 supports three new operators: atan2, floor, and ceiling.
-Additionally, the target directory of the code generated by Copilot can now be
-customized. Release 3.6 also includes a battery of unit tests for the library
-copilot-core. This release introduces other fixes in the code and in the
-documentation, and deprecates definitions that have been superseded or that
-were largely unused.
+This new release fixes 5 bugs, and removes deprecated definitions, and
+deprecates internal types.
 
 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