Astrée Release 18.04 -------------------- For this release, the notes for Astrée and RuleChecker have been combined into a single document, available at absint.com/releasenotes/astree_rulechecker_release_1804.htm