2.9.0-RELEASE

Version 2.9.0

• GIT tag: 2.9.0-RELEASE
• Release date: March 31, 2022
• OSATE version: 2.10.2
• Eclipse base version: 2021-03
• Java version: Java 11
• Eclipse Update-Site: https://raw.githubusercontent.com/loonwerks/AGREE-Updates/master/agree_2.9.0

Notable changes

• AGREE
  • Improvements to documentation (28, 49, 51, 86, 87, 107, and 108)
  • Include Example Models as a Part of the Plug-In Install (44)

Fixed issues

• AGREE
  • Include Example Models as a Part of the Plug-In Install (44)
  • bindingName in Array Expressions Must Be Unique (67)
  • NPE in AGREE validator checkNamedElement(NamedElement) (80)
  • IllegalStateException registering rerunHandler (81)
  • Update included Z3 to 4.8.14 (82)
  • Upgrade include Z3 feature to 4.8.14 (83)
  • Handling of arguments of array type incomplete (95)
  • ClassCastException scoping DoubleDotRef (96)
  • Fix ClassCastException scoping DoubeDotRef (100)
  • Issue 95 args of array type (101)
  • AGREE validator overzealous on specification statement id duplication (105)
  • Documentation of AGREE connection statement unclear (107)
  • Clarify how to use AGREE connection statements and add examples (108)
  • Improve issue reporting for duplicate spec stmt ids (109)
• documentation
  • User Guide Updates: assign and connection (28)
  • Include Example Models as a Part of the Plug-In Install (44)
  • AGREE documentation missing arrays (49)
  • Document AADL Properties AGREE Uses (51)
  • Documentation missing description of naming of specification statements (86)
  • Absolute paths in documentation ToC (87)
  • Documentation of AGREE connection statement unclear (107)
  • Clarify how to use AGREE connection statements and add examples (108)