Notice: Some of the services that support the smooth operation of our websites are still in the process of being restored. As a result, certain features—such as images and committer paperwork—may be temporarily unavailable. Our team is actively working to resolve these issues and restore full functionality as soon as possible.

Thank you for your patience and understanding.

Eclipse CHESS 1.1.0 Release Review

Type
Release
State
Successful
End Date of the Review Period

Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.

Project
Eclipse CHESS
Release

1.1.0

Description

New features and improvements:

  • Cross-level contract refinement.
  • Support for "timed" time model.
  • Improved default user settings.
  • Increased tests coverage.
  • Used xText editors for textual areas.
  • Defined AST for guards/effects on state machines.
  • Improved generation and auto-layout of diagrams.
  • Created default workspace for V&V analysis.
  • Further formal verification of state machine.
  • Improved checker manager.
  • Fixed Maven warnings.
Conforms To UI/UX Guidelines
Not verified
End of Life

No APIs and significant features are intended to be deprecated in a near future.

Communities
  • Wiki prodiving additional resources to follow and contribute to CHESS: https://wiki.eclipse.org/CHESS
  • Consult the CHESS forum and ask questions about the tool: https://www.eclipse.org/forums/index.php/f/529/
  • GitLab for bug reporting and enhancement requests: https://gitlab.eclipse.org/eclipse/chess/chess/-/issues
  • Subscribe to the developers mailing-list to be warned about technical announcements: https://accounts.eclipse.org/mailing-list/chess-dev