Skip to content

2.8.0-RELEASE

Compare
Choose a tag to compare
@kfhoech kfhoech released this 01 Mar 19:37
· 190 commits to master since this release

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)