Merge branch 'release-3.6' into src. Close #35.

Author: ivanperez-keera

home.md

@@ -1,7 +1,7 @@
 ## News
-**Release 3.5 -- 2021-09-07**
+**Release 3.6 -- 2021-11-07**
 
-We are pleased to announce the release of Copilot 3.5, a stream-based DSL for
+We are pleased to announce the release of Copilot 3.6, 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,21 +10,18 @@ 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 a simple but important feature to make Copilot code
-more modular: the name of Copilot's main entry point in the generated C code,
-known as the step function, can now be customized. This will allow
-specifications to be defined in different modules, compiled separately, and
-linked as part of the same C executable. It will also facilitate interoperation
-with other systems that consider 'step' a reserved a global name.
-Additionally, this release introduces other fixes in the code and in the
-documentation, and deprecates definitions that have been superseded.
+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.
 
 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
 repo](https://github.com/copilot-language/copilot).
 
-
 ## Licence
 Copilot is distributed under the BSD-3-Clause licence, which can be found
 [here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).