Skip to content
Compare
Choose a tag to compare

Version 2.9.1

Fixed issues

  • AGREE
    • Example paths should be case sensitive (116)
    • Fix URI paths for examples (117)

Installation Note

Some users have reported a dependency problem with the AADL Simulator feature during installation in that the plugin org.eclipse.emf.mwe.utils could not be found. While the developers have not reproduced this problem, the following is a work-around which should enable the installation of the AGREE and the AADL Simulator:

  1. After you install OSATE 2.10.2, run it and use the “Help” -> “Install New Software…” menu to display the Install dialog.
  2. Click the “Work with” drop-down selection box and select “Eclipse Repository - http://download.eclipse.org/releases/2021-03”
  3. After Eclipse loads the indexes, type “MWE” in the search box.
  4. Check the box next to “MWE SDK” (the version is likely 1.6.1v20210218-2134).
  5. Click the “Next >” button and follow the remaining steps of the installation. The license is the EPL.
  6. Restart Eclipse when prompted.
  7. Install AGREE.
Compare
Choose a tag to compare

Version 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)
Compare
Choose a tag to compare

Version 2.8.0

Notable changes

  • AGREE

    • Support OSATE version 2.10.2
    • Provide "reachable" feature in AGREE (63)
  • TCG

    • Support OSATE version 2.10.2
    • Add TCG obligation display (79)
  • Simulator

    • Support OSATE version 2.10.2

Fixed issues

  • AGREE
    • Java Validator issue with floor() (66)
    • AGREE fail to analyze the Integer Toy example with solver Z3 (76)
    • Issue with AGREE "Generate Simulink Models" Option (77)
Pre-release

This is a pre-release for user evaluation of some enhancements in the way test cases and counterexamples are presented. This pre-release is expected to be removed as these new features become available in usual releases.

This pre-release is based on OSATE 2.10.0. To install, download OSATE 2.10.0 from the OSATE site and install. Then download the ZIP file for this release, decompress it, and use the Eclipse "Help" -> "Install New Software..." dialog to add a software source pointed to the decompressed zip.

Added features:

  • In the test suite view a third column has been added giving the test obligation expression used to generate the test
  • Sorting of counterexample and test case hierarchical structure in natural string ordering
  • Grouping of component inputs, outputs, and state signals in the test case console view
  • Grouping of component inputs, outputs, and state signals in the AGREE Eclipse counterexample view
  • Grouping of component inputs, outputs, and state signals in the TCG Eclipse test case view

These features may/will be adapted, improved, or even removed based on user feedback.

Compare
Choose a tag to compare

Release point to support CASE program phase 3 tool assessment.

c778627
Compare
Choose a tag to compare
Agree support uninterpreted functions (#69)

* support for uninterpreted function

* support uninterpreted functions

* AGREE support for uninterpreted functions

* AGREE support for uninterpreted functions

* AGREE support for uninterpreted functions

* AGREE support for uninterpreted functions

* AGREE support for uninterpreted functions

* AGREE support of uninterpreted functions

* AGREE support of uninterpreted functions

* Update .classpath

Co-authored-by: iamundson <36237616+iamundson@users.noreply.github.com>
untagged-df2ebeb8da214e2c3350

xtext-testing now in mvn-repository, don't need bintray anymore
Compare
Choose a tag to compare

This release in intended to support CASE phase-3 development activities and applications.

Enhancements:

  • Support for OSATE v2.8.0
  • Enables use of IVC for helping find contradictions
  • Manage dependency JARs with Maven

Issues/Problems fixed:

  • Fixed translation error for ExistsExpr
  • Stronger validation checks for Eq statements and inheritance
  • Fix conflicting re-run handlers
Compare
Choose a tag to compare

This patch release fixes two bugs affecting AGREE translation

untagged-fb4838b51997829e77a8

[maven-release-plugin] prepare for next development iteration